{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:S2M6CE4TG47QQVL6FB63DOST5H","short_pith_number":"pith:S2M6CE4T","canonical_record":{"source":{"id":"1506.07861","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-24T10:44:38Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"8cb7e0342a49eaf045096132fc407fcfb373aabc9254fe9f56ae625eb4b0fea0","abstract_canon_sha256":"07c23aa3ff19b2aa1a4f34893cb3b98b15eb0f7b2589e6d1c0c586a1d2a655c2"},"schema_version":"1.0"},"canonical_sha256":"9699e11393373f08557e287db1ba53e9ffe63a2a501b33c927fa4d153eed8348","source":{"kind":"arxiv","id":"1506.07861","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.07861","created_at":"2026-05-18T01:33:31Z"},{"alias_kind":"arxiv_version","alias_value":"1506.07861v2","created_at":"2026-05-18T01:33:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.07861","created_at":"2026-05-18T01:33:31Z"},{"alias_kind":"pith_short_12","alias_value":"S2M6CE4TG47Q","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_16","alias_value":"S2M6CE4TG47QQVL6","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_8","alias_value":"S2M6CE4T","created_at":"2026-05-18T12:29:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:S2M6CE4TG47QQVL6FB63DOST5H","target":"record","payload":{"canonical_record":{"source":{"id":"1506.07861","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-24T10:44:38Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"8cb7e0342a49eaf045096132fc407fcfb373aabc9254fe9f56ae625eb4b0fea0","abstract_canon_sha256":"07c23aa3ff19b2aa1a4f34893cb3b98b15eb0f7b2589e6d1c0c586a1d2a655c2"},"schema_version":"1.0"},"canonical_sha256":"9699e11393373f08557e287db1ba53e9ffe63a2a501b33c927fa4d153eed8348","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:33:31.972245Z","signature_b64":"9Dxm7/g99A1XmjYjgjbLY62WF6G7Mm3azmk9Vbqy0wSdCXa+WWcojk3d9X2S3l2vd6aBNYcfiQDkEj/np5ekCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9699e11393373f08557e287db1ba53e9ffe63a2a501b33c927fa4d153eed8348","last_reissued_at":"2026-05-18T01:33:31.971473Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:33:31.971473Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.07861","source_version":2,"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:33:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lc2aXbx8MUmt2LoyMUyF9SQ6ozzNIKxeHjmm3N5sAPQjHNO+zuY9rYRHz/VDlKyN8O10RemqrahjWWhtZn1sAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:19:13.486759Z"},"content_sha256":"5343dc1cfae9766bda0d5c6955cb5743df54341b796d76cab0d64bce76641f33","schema_version":"1.0","event_id":"sha256:5343dc1cfae9766bda0d5c6955cb5743df54341b796d76cab0d64bce76641f33"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:S2M6CE4TG47QQVL6FB63DOST5H","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.QM"],"primary_cat":"cs.LO","authors_text":"Luca Cardelli, Luca Laurenti, Marta Kwiatkowska","submitted_at":"2015-06-24T10:44:38Z","abstract_excerpt":"Stochastic evolution of Chemical Reactions Networks (CRNs) over time is usually analysed through solving the Chemical Master Equation (CME) or performing extensive simulations. Analysing stochasticity is often needed, particularly when some molecules occur in low numbers. Unfortunately, both approaches become infeasible if the system is complex and/or it cannot be ensured that initial populations are small. We develop a probabilistic logic for CRNs that enables stochastic analysis of the evolution of populations of molecular species. We present an approximate model checking algorithm based on "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.07861","kind":"arxiv","version":2},"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:33:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q8SfDI3nrToEP1i0OAlyvRuaQlwn5yyVQgLeP/stzfBtixuheGXglmv9a8kuFDIQRw/boc+lF+vwWhw91NRVAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:19:13.487428Z"},"content_sha256":"0d5ac97b71be229f5250529d70af0333ee7c9090b6232601d4f047b5376d484f","schema_version":"1.0","event_id":"sha256:0d5ac97b71be229f5250529d70af0333ee7c9090b6232601d4f047b5376d484f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S2M6CE4TG47QQVL6FB63DOST5H/bundle.json","state_url":"https://pith.science/pith/S2M6CE4TG47QQVL6FB63DOST5H/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S2M6CE4TG47QQVL6FB63DOST5H/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-26T20:19:13Z","links":{"resolver":"https://pith.science/pith/S2M6CE4TG47QQVL6FB63DOST5H","bundle":"https://pith.science/pith/S2M6CE4TG47QQVL6FB63DOST5H/bundle.json","state":"https://pith.science/pith/S2M6CE4TG47QQVL6FB63DOST5H/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S2M6CE4TG47QQVL6FB63DOST5H/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:S2M6CE4TG47QQVL6FB63DOST5H","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":"07c23aa3ff19b2aa1a4f34893cb3b98b15eb0f7b2589e6d1c0c586a1d2a655c2","cross_cats_sorted":["q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-24T10:44:38Z","title_canon_sha256":"8cb7e0342a49eaf045096132fc407fcfb373aabc9254fe9f56ae625eb4b0fea0"},"schema_version":"1.0","source":{"id":"1506.07861","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.07861","created_at":"2026-05-18T01:33:31Z"},{"alias_kind":"arxiv_version","alias_value":"1506.07861v2","created_at":"2026-05-18T01:33:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.07861","created_at":"2026-05-18T01:33:31Z"},{"alias_kind":"pith_short_12","alias_value":"S2M6CE4TG47Q","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_16","alias_value":"S2M6CE4TG47QQVL6","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_8","alias_value":"S2M6CE4T","created_at":"2026-05-18T12:29:39Z"}],"graph_snapshots":[{"event_id":"sha256:0d5ac97b71be229f5250529d70af0333ee7c9090b6232601d4f047b5376d484f","target":"graph","created_at":"2026-05-18T01:33:31Z","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":"Stochastic evolution of Chemical Reactions Networks (CRNs) over time is usually analysed through solving the Chemical Master Equation (CME) or performing extensive simulations. Analysing stochasticity is often needed, particularly when some molecules occur in low numbers. Unfortunately, both approaches become infeasible if the system is complex and/or it cannot be ensured that initial populations are small. We develop a probabilistic logic for CRNs that enables stochastic analysis of the evolution of populations of molecular species. We present an approximate model checking algorithm based on ","authors_text":"Luca Cardelli, Luca Laurenti, Marta Kwiatkowska","cross_cats":["q-bio.QM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-24T10:44:38Z","title":"Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.07861","kind":"arxiv","version":2},"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:5343dc1cfae9766bda0d5c6955cb5743df54341b796d76cab0d64bce76641f33","target":"record","created_at":"2026-05-18T01:33:31Z","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":"07c23aa3ff19b2aa1a4f34893cb3b98b15eb0f7b2589e6d1c0c586a1d2a655c2","cross_cats_sorted":["q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-24T10:44:38Z","title_canon_sha256":"8cb7e0342a49eaf045096132fc407fcfb373aabc9254fe9f56ae625eb4b0fea0"},"schema_version":"1.0","source":{"id":"1506.07861","kind":"arxiv","version":2}},"canonical_sha256":"9699e11393373f08557e287db1ba53e9ffe63a2a501b33c927fa4d153eed8348","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9699e11393373f08557e287db1ba53e9ffe63a2a501b33c927fa4d153eed8348","first_computed_at":"2026-05-18T01:33:31.971473Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:33:31.971473Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9Dxm7/g99A1XmjYjgjbLY62WF6G7Mm3azmk9Vbqy0wSdCXa+WWcojk3d9X2S3l2vd6aBNYcfiQDkEj/np5ekCw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:33:31.972245Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.07861","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5343dc1cfae9766bda0d5c6955cb5743df54341b796d76cab0d64bce76641f33","sha256:0d5ac97b71be229f5250529d70af0333ee7c9090b6232601d4f047b5376d484f"],"state_sha256":"621c7bb3c90e3fcffe55d691b9338d7602e36804e6563cbc3ee8afbeb2a2d953"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b+YuD8W3UVTC/b07iuHNAhFfLS5WxSaRAG1u7UQWHxJ8O9kMePNiiZ1x2EpMdpZBO80BjQAVJyt3zXvO5jhNDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T20:19:13.490732Z","bundle_sha256":"b2e0553bcd3c9d32c8da8bdf9ced5b3a44f22bd641b85b51952ad4ddf6589288"}}