{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:QRQA2XB4G3G73ISS5MLP6Y7W3A","short_pith_number":"pith:QRQA2XB4","canonical_record":{"source":{"id":"1804.05414","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OH","submitted_at":"2018-04-15T19:37:49Z","cross_cats_sorted":[],"title_canon_sha256":"924d6fb91aca6d533457f26da64c70c7e910b44234ea905fb393347791d07585","abstract_canon_sha256":"65f63576373fb4175457db0eac7f7318024f7080045c78063eb14dfdfbb3613a"},"schema_version":"1.0"},"canonical_sha256":"84600d5c3c36cdfda252eb16ff63f6d82716b2920df1fcc7249757d781a0f4c1","source":{"kind":"arxiv","id":"1804.05414","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.05414","created_at":"2026-05-18T00:18:28Z"},{"alias_kind":"arxiv_version","alias_value":"1804.05414v1","created_at":"2026-05-18T00:18:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.05414","created_at":"2026-05-18T00:18:28Z"},{"alias_kind":"pith_short_12","alias_value":"QRQA2XB4G3G7","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"QRQA2XB4G3G73ISS","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"QRQA2XB4","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:QRQA2XB4G3G73ISS5MLP6Y7W3A","target":"record","payload":{"canonical_record":{"source":{"id":"1804.05414","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OH","submitted_at":"2018-04-15T19:37:49Z","cross_cats_sorted":[],"title_canon_sha256":"924d6fb91aca6d533457f26da64c70c7e910b44234ea905fb393347791d07585","abstract_canon_sha256":"65f63576373fb4175457db0eac7f7318024f7080045c78063eb14dfdfbb3613a"},"schema_version":"1.0"},"canonical_sha256":"84600d5c3c36cdfda252eb16ff63f6d82716b2920df1fcc7249757d781a0f4c1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:28.199022Z","signature_b64":"WcieD039YetgDEVPtlCSV15XMMjrKi4+dGU7yfAh724mJqpfBoPvU0Gx/qqW1ayY8XG3e3e26a8RhNAMd7KgCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"84600d5c3c36cdfda252eb16ff63f6d82716b2920df1fcc7249757d781a0f4c1","last_reissued_at":"2026-05-18T00:18:28.198687Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:28.198687Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.05414","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:18:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KHh6icRsg0rIb1GoyOUqXnQXCIV0fou7DQ+xmrF5bhS3ErRw4Kjo9UQnQxbY69F7VlPXIRnUV6ToKlOZBaPtBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T13:09:37.811223Z"},"content_sha256":"a7e33d92074c8203aad3532aae2003968ef837d460e6d1458ae13d2ce73085f0","schema_version":"1.0","event_id":"sha256:a7e33d92074c8203aad3532aae2003968ef837d460e6d1458ae13d2ce73085f0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:QRQA2XB4G3G73ISS5MLP6Y7W3A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SMT Solving for Vesicle Traffic Systems in Cells","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.OH","authors_text":"Ankit Shukla, Ashutosh Gupta, Mandyam Srivas, Mukund Thattai","submitted_at":"2018-04-15T19:37:49Z","abstract_excerpt":"In biology, there are several questions that translate to combinatorial search. For example, vesicle traffic systems that move cargo within eukaryotic cells have been proposed to exhibit several graph properties such as three connectivity. These properties are consequences of underlying biophysical constraints. A natural question for biologists is: what are the possible networks for various combinations of those properties? In this paper, we present novel SMT based encodings of the properties over vesicle traffic systems and a tool that searches for the networks that satisfies the properties u"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.05414","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:18:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yr6lcaljiYpDlCMwZZn63MxhW2AeH6B30vTus42P88BFBpqRlKOW1izh1I87E68zqsWKK6hDQzCWver0uxPIDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T13:09:37.811598Z"},"content_sha256":"5fa47f00198c436b948d859e28f8d1e9b6077820a187832320819d3f915ebbb5","schema_version":"1.0","event_id":"sha256:5fa47f00198c436b948d859e28f8d1e9b6077820a187832320819d3f915ebbb5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QRQA2XB4G3G73ISS5MLP6Y7W3A/bundle.json","state_url":"https://pith.science/pith/QRQA2XB4G3G73ISS5MLP6Y7W3A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QRQA2XB4G3G73ISS5MLP6Y7W3A/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-22T13:09:37Z","links":{"resolver":"https://pith.science/pith/QRQA2XB4G3G73ISS5MLP6Y7W3A","bundle":"https://pith.science/pith/QRQA2XB4G3G73ISS5MLP6Y7W3A/bundle.json","state":"https://pith.science/pith/QRQA2XB4G3G73ISS5MLP6Y7W3A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QRQA2XB4G3G73ISS5MLP6Y7W3A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:QRQA2XB4G3G73ISS5MLP6Y7W3A","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":"65f63576373fb4175457db0eac7f7318024f7080045c78063eb14dfdfbb3613a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OH","submitted_at":"2018-04-15T19:37:49Z","title_canon_sha256":"924d6fb91aca6d533457f26da64c70c7e910b44234ea905fb393347791d07585"},"schema_version":"1.0","source":{"id":"1804.05414","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.05414","created_at":"2026-05-18T00:18:28Z"},{"alias_kind":"arxiv_version","alias_value":"1804.05414v1","created_at":"2026-05-18T00:18:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.05414","created_at":"2026-05-18T00:18:28Z"},{"alias_kind":"pith_short_12","alias_value":"QRQA2XB4G3G7","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"QRQA2XB4G3G73ISS","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"QRQA2XB4","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:5fa47f00198c436b948d859e28f8d1e9b6077820a187832320819d3f915ebbb5","target":"graph","created_at":"2026-05-18T00:18:28Z","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":"In biology, there are several questions that translate to combinatorial search. For example, vesicle traffic systems that move cargo within eukaryotic cells have been proposed to exhibit several graph properties such as three connectivity. These properties are consequences of underlying biophysical constraints. A natural question for biologists is: what are the possible networks for various combinations of those properties? In this paper, we present novel SMT based encodings of the properties over vesicle traffic systems and a tool that searches for the networks that satisfies the properties u","authors_text":"Ankit Shukla, Ashutosh Gupta, Mandyam Srivas, Mukund Thattai","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OH","submitted_at":"2018-04-15T19:37:49Z","title":"SMT Solving for Vesicle Traffic Systems in Cells"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.05414","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:a7e33d92074c8203aad3532aae2003968ef837d460e6d1458ae13d2ce73085f0","target":"record","created_at":"2026-05-18T00:18:28Z","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":"65f63576373fb4175457db0eac7f7318024f7080045c78063eb14dfdfbb3613a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OH","submitted_at":"2018-04-15T19:37:49Z","title_canon_sha256":"924d6fb91aca6d533457f26da64c70c7e910b44234ea905fb393347791d07585"},"schema_version":"1.0","source":{"id":"1804.05414","kind":"arxiv","version":1}},"canonical_sha256":"84600d5c3c36cdfda252eb16ff63f6d82716b2920df1fcc7249757d781a0f4c1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"84600d5c3c36cdfda252eb16ff63f6d82716b2920df1fcc7249757d781a0f4c1","first_computed_at":"2026-05-18T00:18:28.198687Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:28.198687Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WcieD039YetgDEVPtlCSV15XMMjrKi4+dGU7yfAh724mJqpfBoPvU0Gx/qqW1ayY8XG3e3e26a8RhNAMd7KgCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:28.199022Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.05414","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a7e33d92074c8203aad3532aae2003968ef837d460e6d1458ae13d2ce73085f0","sha256:5fa47f00198c436b948d859e28f8d1e9b6077820a187832320819d3f915ebbb5"],"state_sha256":"5553f115b95d42c6424241753ac2fb8c99e31cff0cfbf925790862b1335b189f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5PxpxeA1/y5J00NUp9uXKYm6lXQk8m/+SdzSCJje2qON5wb46ZGc8MGogH4yjmMW4cu8XNFs7nuYrKaIUQEbCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T13:09:37.813563Z","bundle_sha256":"8f2da12ff7d18df36765f59715e7d9f3ef2c7ba574bbebbb945273d77a5e33d2"}}