{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:S26WYKBKYELAD5HA7JYDCJ3UIP","short_pith_number":"pith:S26WYKBK","canonical_record":{"source":{"id":"1703.06578","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-20T02:49:51Z","cross_cats_sorted":["cs.CE","cs.RO"],"title_canon_sha256":"74883f6e455e1105c0bde3be89bf85f5292eee4e5f08f8d06075a310e0a796a8","abstract_canon_sha256":"bd26b67dc71199d466c720594a4f8c3dfa6328c81165642273e17e381684291c"},"schema_version":"1.0"},"canonical_sha256":"96bd6c282ac11601f4e0fa7031277443f52e91eec44518dc0a556d9bbb122ecd","source":{"kind":"arxiv","id":"1703.06578","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.06578","created_at":"2026-05-18T00:48:22Z"},{"alias_kind":"arxiv_version","alias_value":"1703.06578v1","created_at":"2026-05-18T00:48:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.06578","created_at":"2026-05-18T00:48:22Z"},{"alias_kind":"pith_short_12","alias_value":"S26WYKBKYELA","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"S26WYKBKYELAD5HA","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"S26WYKBK","created_at":"2026-05-18T12:31:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:S26WYKBKYELAD5HA7JYDCJ3UIP","target":"record","payload":{"canonical_record":{"source":{"id":"1703.06578","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-20T02:49:51Z","cross_cats_sorted":["cs.CE","cs.RO"],"title_canon_sha256":"74883f6e455e1105c0bde3be89bf85f5292eee4e5f08f8d06075a310e0a796a8","abstract_canon_sha256":"bd26b67dc71199d466c720594a4f8c3dfa6328c81165642273e17e381684291c"},"schema_version":"1.0"},"canonical_sha256":"96bd6c282ac11601f4e0fa7031277443f52e91eec44518dc0a556d9bbb122ecd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:48:22.373253Z","signature_b64":"9z+vTg+KFr/VnW8FzPCilxh2csfJVU2EOhOWcl/FlNpCTTF+V3OVCjTZOyv+Ga3ozOVWT+GuaXCHFjjB+FhmAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"96bd6c282ac11601f4e0fa7031277443f52e91eec44518dc0a556d9bbb122ecd","last_reissued_at":"2026-05-18T00:48:22.372432Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:48:22.372432Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.06578","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:48:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ui6EphhklUaSc24j1Kg9kveA380aadmI8W2s9Hzxn3cUCffETKis3EcNvflGW4gDiNiz/OCFg1VAfrOzzcvWDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T20:42:28.566627Z"},"content_sha256":"cc43b3ac990e836ff7d85f6eaf8b9b8d7e85a59191a4f850f266947279088f8e","schema_version":"1.0","event_id":"sha256:cc43b3ac990e836ff7d85f6eaf8b9b8d7e85a59191a4f850f266947279088f8e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:S26WYKBKYELAD5HA7JYDCJ3UIP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CE","cs.RO"],"primary_cat":"cs.LO","authors_text":"Islamabad, Muhammad Usama Sardar (SEECS, NUST, Osman Hasan (SEECS, Pakistan)","submitted_at":"2017-03-20T02:49:51Z","abstract_excerpt":"Cell injection is a technique in the domain of biological cell micro-manipulation for the delivery of small volumes of samples into the suspended or adherent cells. It has been widely applied in various areas, such as gene injection, in-vitro fertilization (IVF), intracytoplasmic sperm injection (ISCI) and drug development. However, the existing manual and semi-automated cell injection systems require lengthy training and suffer from high probability of contamination and low success rate. In the recently introduced fully automated cell injection systems, the injection force plays a vital role "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.06578","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:48:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Gv7Hdk39ojhYMds++Ou71rCQE/5MMsTDyLm3XnsbNW8xY4GBdQf0qM0VS2iWlDEV6CwwOvxsuQuyiHtc3E3EBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T20:42:28.567264Z"},"content_sha256":"e2f3716310d5a8a7fe293d59ef1e612bb9eb21be48f39c3b8d022749b0a43473","schema_version":"1.0","event_id":"sha256:e2f3716310d5a8a7fe293d59ef1e612bb9eb21be48f39c3b8d022749b0a43473"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S26WYKBKYELAD5HA7JYDCJ3UIP/bundle.json","state_url":"https://pith.science/pith/S26WYKBKYELAD5HA7JYDCJ3UIP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S26WYKBKYELAD5HA7JYDCJ3UIP/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-07T20:42:28Z","links":{"resolver":"https://pith.science/pith/S26WYKBKYELAD5HA7JYDCJ3UIP","bundle":"https://pith.science/pith/S26WYKBKYELAD5HA7JYDCJ3UIP/bundle.json","state":"https://pith.science/pith/S26WYKBKYELAD5HA7JYDCJ3UIP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S26WYKBKYELAD5HA7JYDCJ3UIP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:S26WYKBKYELAD5HA7JYDCJ3UIP","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":"bd26b67dc71199d466c720594a4f8c3dfa6328c81165642273e17e381684291c","cross_cats_sorted":["cs.CE","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-20T02:49:51Z","title_canon_sha256":"74883f6e455e1105c0bde3be89bf85f5292eee4e5f08f8d06075a310e0a796a8"},"schema_version":"1.0","source":{"id":"1703.06578","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.06578","created_at":"2026-05-18T00:48:22Z"},{"alias_kind":"arxiv_version","alias_value":"1703.06578v1","created_at":"2026-05-18T00:48:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.06578","created_at":"2026-05-18T00:48:22Z"},{"alias_kind":"pith_short_12","alias_value":"S26WYKBKYELA","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"S26WYKBKYELAD5HA","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"S26WYKBK","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:e2f3716310d5a8a7fe293d59ef1e612bb9eb21be48f39c3b8d022749b0a43473","target":"graph","created_at":"2026-05-18T00:48:22Z","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":"Cell injection is a technique in the domain of biological cell micro-manipulation for the delivery of small volumes of samples into the suspended or adherent cells. It has been widely applied in various areas, such as gene injection, in-vitro fertilization (IVF), intracytoplasmic sperm injection (ISCI) and drug development. However, the existing manual and semi-automated cell injection systems require lengthy training and suffer from high probability of contamination and low success rate. In the recently introduced fully automated cell injection systems, the injection force plays a vital role ","authors_text":"Islamabad, Muhammad Usama Sardar (SEECS, NUST, Osman Hasan (SEECS, Pakistan)","cross_cats":["cs.CE","cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-20T02:49:51Z","title":"Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.06578","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:cc43b3ac990e836ff7d85f6eaf8b9b8d7e85a59191a4f850f266947279088f8e","target":"record","created_at":"2026-05-18T00:48:22Z","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":"bd26b67dc71199d466c720594a4f8c3dfa6328c81165642273e17e381684291c","cross_cats_sorted":["cs.CE","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-20T02:49:51Z","title_canon_sha256":"74883f6e455e1105c0bde3be89bf85f5292eee4e5f08f8d06075a310e0a796a8"},"schema_version":"1.0","source":{"id":"1703.06578","kind":"arxiv","version":1}},"canonical_sha256":"96bd6c282ac11601f4e0fa7031277443f52e91eec44518dc0a556d9bbb122ecd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"96bd6c282ac11601f4e0fa7031277443f52e91eec44518dc0a556d9bbb122ecd","first_computed_at":"2026-05-18T00:48:22.372432Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:48:22.372432Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9z+vTg+KFr/VnW8FzPCilxh2csfJVU2EOhOWcl/FlNpCTTF+V3OVCjTZOyv+Ga3ozOVWT+GuaXCHFjjB+FhmAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:48:22.373253Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.06578","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cc43b3ac990e836ff7d85f6eaf8b9b8d7e85a59191a4f850f266947279088f8e","sha256:e2f3716310d5a8a7fe293d59ef1e612bb9eb21be48f39c3b8d022749b0a43473"],"state_sha256":"40e0026d87599b9c9188cf2bf0fc49c90189bbbc46e6fd5a17c2a542a39e6f6a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hduM9n06ui9rWD/TN3QKiuViB0DFLEdHNGpNFH/hcCPPizUqHayAQFXN+UrCMkK6evpTw14FndZscg9Hj/s6Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T20:42:28.570701Z","bundle_sha256":"403743442ede28c834da184fc257c0358fcd4fa8f0920cad47d8138cd4f6742d"}}