{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:HSUOFVGBNLDK65HJ7XAGECLX6Y","short_pith_number":"pith:HSUOFVGB","canonical_record":{"source":{"id":"1606.03138","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2016-06-09T22:51:35Z","cross_cats_sorted":[],"title_canon_sha256":"d22b808c325cc4c1ee0a0d77c7bdde42f4e7176eeae79143fa118191ef728dd3","abstract_canon_sha256":"d6d02309e1d60d8dfaa724bb52eccd9cc85a9d8ea434381407801485b5b303c2"},"schema_version":"1.0"},"canonical_sha256":"3ca8e2d4c16ac6af74e9fdc0620977f60cbbd84f14023d3de1d4b103bc1aeafd","source":{"kind":"arxiv","id":"1606.03138","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.03138","created_at":"2026-05-18T01:12:37Z"},{"alias_kind":"arxiv_version","alias_value":"1606.03138v1","created_at":"2026-05-18T01:12:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.03138","created_at":"2026-05-18T01:12:37Z"},{"alias_kind":"pith_short_12","alias_value":"HSUOFVGBNLDK","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"HSUOFVGBNLDK65HJ","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"HSUOFVGB","created_at":"2026-05-18T12:30:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:HSUOFVGBNLDK65HJ7XAGECLX6Y","target":"record","payload":{"canonical_record":{"source":{"id":"1606.03138","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2016-06-09T22:51:35Z","cross_cats_sorted":[],"title_canon_sha256":"d22b808c325cc4c1ee0a0d77c7bdde42f4e7176eeae79143fa118191ef728dd3","abstract_canon_sha256":"d6d02309e1d60d8dfaa724bb52eccd9cc85a9d8ea434381407801485b5b303c2"},"schema_version":"1.0"},"canonical_sha256":"3ca8e2d4c16ac6af74e9fdc0620977f60cbbd84f14023d3de1d4b103bc1aeafd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:37.508042Z","signature_b64":"7Fwbua84f06nT2nylHPYkBslMBjdFf8DGQo3b/lu0X5vuGG3fNfyrSlKexR2V8Zy3xSpVIA7+ZH2yc9GP0X4CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3ca8e2d4c16ac6af74e9fdc0620977f60cbbd84f14023d3de1d4b103bc1aeafd","last_reissued_at":"2026-05-18T01:12:37.507651Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:37.507651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.03138","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-18T01:12:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J8b1AHg51VNijlkA+w3eNNSi+ZTgDKrxaEPibj17ugaMQuEFjZbiFYSp6zEmzO/1F/0xv81KdhHSPnRTnEkUAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T00:29:21.255601Z"},"content_sha256":"aa79ac1a24f3ab5e4382c43d1f45102d77782c5f3fe7e84c4b9ceb68257df3f0","schema_version":"1.0","event_id":"sha256:aa79ac1a24f3ab5e4382c43d1f45102d77782c5f3fe7e84c4b9ceb68257df3f0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:HSUOFVGBNLDK65HJ7XAGECLX6Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal Modeling and Analysis of Pancreatic Cancer Microenvironment","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"q-bio.QM","authors_text":"Bing Liu, Edmund M. Clarke, James R. Faeder, Michael Lotze, Natasa Miskov-Zivanov, Qinsi Wang","submitted_at":"2016-06-09T22:51:35Z","abstract_excerpt":"The focus of pancreatic cancer research has been shifted from pancreatic cancer cells towards their microenvironment, involving pancreatic stellate cells that interact with cancer cells and influence tumor progression. To quantitatively understand the pancreatic cancer microenvironment, we construct a computational model for intracellular signaling networks of cancer cells and stellate cells as well as their intercellular communication. We extend the rule-based BioNetGen language to depict intra- and inter-cellular dynamics using discrete and continuous variables respectively. Our framework al"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.03138","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-18T01:12:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z2C5kPNCTR7YzLvlWgkxyiSDZKiwULv3w1179bW+hZtpqPnW/6u90/fcWHuaAHoplP1+GAAWr9TnsWVRj6csDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T00:29:21.256175Z"},"content_sha256":"5696bdf736055d199923f35efa9c86e2938617adba23b48a1691d75f461daec4","schema_version":"1.0","event_id":"sha256:5696bdf736055d199923f35efa9c86e2938617adba23b48a1691d75f461daec4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HSUOFVGBNLDK65HJ7XAGECLX6Y/bundle.json","state_url":"https://pith.science/pith/HSUOFVGBNLDK65HJ7XAGECLX6Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HSUOFVGBNLDK65HJ7XAGECLX6Y/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-31T00:29:21Z","links":{"resolver":"https://pith.science/pith/HSUOFVGBNLDK65HJ7XAGECLX6Y","bundle":"https://pith.science/pith/HSUOFVGBNLDK65HJ7XAGECLX6Y/bundle.json","state":"https://pith.science/pith/HSUOFVGBNLDK65HJ7XAGECLX6Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HSUOFVGBNLDK65HJ7XAGECLX6Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:HSUOFVGBNLDK65HJ7XAGECLX6Y","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":"d6d02309e1d60d8dfaa724bb52eccd9cc85a9d8ea434381407801485b5b303c2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2016-06-09T22:51:35Z","title_canon_sha256":"d22b808c325cc4c1ee0a0d77c7bdde42f4e7176eeae79143fa118191ef728dd3"},"schema_version":"1.0","source":{"id":"1606.03138","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.03138","created_at":"2026-05-18T01:12:37Z"},{"alias_kind":"arxiv_version","alias_value":"1606.03138v1","created_at":"2026-05-18T01:12:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.03138","created_at":"2026-05-18T01:12:37Z"},{"alias_kind":"pith_short_12","alias_value":"HSUOFVGBNLDK","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"HSUOFVGBNLDK65HJ","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"HSUOFVGB","created_at":"2026-05-18T12:30:22Z"}],"graph_snapshots":[{"event_id":"sha256:5696bdf736055d199923f35efa9c86e2938617adba23b48a1691d75f461daec4","target":"graph","created_at":"2026-05-18T01:12:37Z","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":"The focus of pancreatic cancer research has been shifted from pancreatic cancer cells towards their microenvironment, involving pancreatic stellate cells that interact with cancer cells and influence tumor progression. To quantitatively understand the pancreatic cancer microenvironment, we construct a computational model for intracellular signaling networks of cancer cells and stellate cells as well as their intercellular communication. We extend the rule-based BioNetGen language to depict intra- and inter-cellular dynamics using discrete and continuous variables respectively. Our framework al","authors_text":"Bing Liu, Edmund M. Clarke, James R. Faeder, Michael Lotze, Natasa Miskov-Zivanov, Qinsi Wang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2016-06-09T22:51:35Z","title":"Formal Modeling and Analysis of Pancreatic Cancer Microenvironment"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.03138","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:aa79ac1a24f3ab5e4382c43d1f45102d77782c5f3fe7e84c4b9ceb68257df3f0","target":"record","created_at":"2026-05-18T01:12:37Z","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":"d6d02309e1d60d8dfaa724bb52eccd9cc85a9d8ea434381407801485b5b303c2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2016-06-09T22:51:35Z","title_canon_sha256":"d22b808c325cc4c1ee0a0d77c7bdde42f4e7176eeae79143fa118191ef728dd3"},"schema_version":"1.0","source":{"id":"1606.03138","kind":"arxiv","version":1}},"canonical_sha256":"3ca8e2d4c16ac6af74e9fdc0620977f60cbbd84f14023d3de1d4b103bc1aeafd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3ca8e2d4c16ac6af74e9fdc0620977f60cbbd84f14023d3de1d4b103bc1aeafd","first_computed_at":"2026-05-18T01:12:37.507651Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:37.507651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7Fwbua84f06nT2nylHPYkBslMBjdFf8DGQo3b/lu0X5vuGG3fNfyrSlKexR2V8Zy3xSpVIA7+ZH2yc9GP0X4CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:37.508042Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.03138","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aa79ac1a24f3ab5e4382c43d1f45102d77782c5f3fe7e84c4b9ceb68257df3f0","sha256:5696bdf736055d199923f35efa9c86e2938617adba23b48a1691d75f461daec4"],"state_sha256":"e5c603677bec096b3dd8401460321305d1c88cfc9ceea67fc34b52b130c60957"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k1cGCvUmr3FJvfeA5cW1RWCOUsTcCLkoGczEclGFHvxTLq5QXTCc/St+aDkiJ1RGuWeXmfOYCnu4L3lQXvGYBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T00:29:21.259127Z","bundle_sha256":"57d56c64466d329c45b8fcbecf60875d335d3b8eca30cdbd2acd4182ce90ef2c"}}