{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:YB43SAHWQX7UQZZIUBGPASK4AY","short_pith_number":"pith:YB43SAHW","canonical_record":{"source":{"id":"1903.07750","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2019-03-18T22:52:01Z","cross_cats_sorted":[],"title_canon_sha256":"4237ba2a9ab1ae71acfcb3dc54de7fca456c316d5018c12067ab5ee43bcf2625","abstract_canon_sha256":"357a61466d4972602a8cbe26d2d813f628931d0dbde34dbf0689a09f3aab802c"},"schema_version":"1.0"},"canonical_sha256":"c079b900f685ff486728a04cf0495c063097d2110fb90435027afef2baf485bc","source":{"kind":"arxiv","id":"1903.07750","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.07750","created_at":"2026-05-17T23:50:54Z"},{"alias_kind":"arxiv_version","alias_value":"1903.07750v1","created_at":"2026-05-17T23:50:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.07750","created_at":"2026-05-17T23:50:54Z"},{"alias_kind":"pith_short_12","alias_value":"YB43SAHWQX7U","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"YB43SAHWQX7UQZZI","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"YB43SAHW","created_at":"2026-05-18T12:33:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:YB43SAHWQX7UQZZIUBGPASK4AY","target":"record","payload":{"canonical_record":{"source":{"id":"1903.07750","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2019-03-18T22:52:01Z","cross_cats_sorted":[],"title_canon_sha256":"4237ba2a9ab1ae71acfcb3dc54de7fca456c316d5018c12067ab5ee43bcf2625","abstract_canon_sha256":"357a61466d4972602a8cbe26d2d813f628931d0dbde34dbf0689a09f3aab802c"},"schema_version":"1.0"},"canonical_sha256":"c079b900f685ff486728a04cf0495c063097d2110fb90435027afef2baf485bc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:50:54.118613Z","signature_b64":"YqAqeJpKLZX9hfAgLhSrcC7bsoHa7POTPlrxhvX4hggXwKmh+A4NHJUDl/CF/YGpUVzsNEqR/XwbgRYU2y1dDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c079b900f685ff486728a04cf0495c063097d2110fb90435027afef2baf485bc","last_reissued_at":"2026-05-17T23:50:54.117925Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:50:54.117925Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.07750","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-17T23:50:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nbR1+2ziFiIDM4ympT+CG9pTs41q2S0S3jmHiD8VQONrLCmtOGcKYgZJu8zlfFR3K7cYzn8Egm6Cn2s5z/KUDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T07:08:35.181707Z"},"content_sha256":"ce300edfcc0f88f8af76d3d805076f934c3fe32f5f3d74a0cf22453fee1c1133","schema_version":"1.0","event_id":"sha256:ce300edfcc0f88f8af76d3d805076f934c3fe32f5f3d74a0cf22453fee1c1133"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:YB43SAHWQX7UQZZIUBGPASK4AY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PyBioNetFit and the Biological Property Specification Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"q-bio.QM","authors_text":"Alexander Ionkov, Andrew Hu, Eshan D. Mitra, Herbert M. Sauro, Joshua Colvin, Richard G. Posner, Ryan Suderman, William S. Hlavacek","submitted_at":"2019-03-18T22:52:01Z","abstract_excerpt":"In systems biology modeling, important steps include model parameterization, uncertainty quantification, and evaluation of agreement with experimental observations. To help modelers perform these steps, we developed the software PyBioNetFit. PyBioNetFit is designed for parameterization, and also supports uncertainty quantification, checking models against known system properties, and solving design problems. PyBioNetFit introduces the Biological Property Specification Language (BPSL) for the formal declaration of system properties. BPSL allows qualitative data to be used alone or in combinatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.07750","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-17T23:50:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LuvrcIixtSgJXF+GbR2gH9IUX9+o4JFW4QHfxMRSO9hAUxATwncilyxQuWOj0utm5bMEefqN7tf34HOMSWrVAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T07:08:35.182191Z"},"content_sha256":"faff99e1d4d9abc78d82ec7562536ceeda5a5513ae0ab2cc6597233b07897bb2","schema_version":"1.0","event_id":"sha256:faff99e1d4d9abc78d82ec7562536ceeda5a5513ae0ab2cc6597233b07897bb2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YB43SAHWQX7UQZZIUBGPASK4AY/bundle.json","state_url":"https://pith.science/pith/YB43SAHWQX7UQZZIUBGPASK4AY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YB43SAHWQX7UQZZIUBGPASK4AY/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-26T07:08:35Z","links":{"resolver":"https://pith.science/pith/YB43SAHWQX7UQZZIUBGPASK4AY","bundle":"https://pith.science/pith/YB43SAHWQX7UQZZIUBGPASK4AY/bundle.json","state":"https://pith.science/pith/YB43SAHWQX7UQZZIUBGPASK4AY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YB43SAHWQX7UQZZIUBGPASK4AY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:YB43SAHWQX7UQZZIUBGPASK4AY","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":"357a61466d4972602a8cbe26d2d813f628931d0dbde34dbf0689a09f3aab802c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2019-03-18T22:52:01Z","title_canon_sha256":"4237ba2a9ab1ae71acfcb3dc54de7fca456c316d5018c12067ab5ee43bcf2625"},"schema_version":"1.0","source":{"id":"1903.07750","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.07750","created_at":"2026-05-17T23:50:54Z"},{"alias_kind":"arxiv_version","alias_value":"1903.07750v1","created_at":"2026-05-17T23:50:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.07750","created_at":"2026-05-17T23:50:54Z"},{"alias_kind":"pith_short_12","alias_value":"YB43SAHWQX7U","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"YB43SAHWQX7UQZZI","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"YB43SAHW","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:faff99e1d4d9abc78d82ec7562536ceeda5a5513ae0ab2cc6597233b07897bb2","target":"graph","created_at":"2026-05-17T23:50:54Z","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 systems biology modeling, important steps include model parameterization, uncertainty quantification, and evaluation of agreement with experimental observations. To help modelers perform these steps, we developed the software PyBioNetFit. PyBioNetFit is designed for parameterization, and also supports uncertainty quantification, checking models against known system properties, and solving design problems. PyBioNetFit introduces the Biological Property Specification Language (BPSL) for the formal declaration of system properties. BPSL allows qualitative data to be used alone or in combinatio","authors_text":"Alexander Ionkov, Andrew Hu, Eshan D. Mitra, Herbert M. Sauro, Joshua Colvin, Richard G. Posner, Ryan Suderman, William S. Hlavacek","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2019-03-18T22:52:01Z","title":"PyBioNetFit and the Biological Property Specification Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.07750","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:ce300edfcc0f88f8af76d3d805076f934c3fe32f5f3d74a0cf22453fee1c1133","target":"record","created_at":"2026-05-17T23:50:54Z","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":"357a61466d4972602a8cbe26d2d813f628931d0dbde34dbf0689a09f3aab802c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2019-03-18T22:52:01Z","title_canon_sha256":"4237ba2a9ab1ae71acfcb3dc54de7fca456c316d5018c12067ab5ee43bcf2625"},"schema_version":"1.0","source":{"id":"1903.07750","kind":"arxiv","version":1}},"canonical_sha256":"c079b900f685ff486728a04cf0495c063097d2110fb90435027afef2baf485bc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c079b900f685ff486728a04cf0495c063097d2110fb90435027afef2baf485bc","first_computed_at":"2026-05-17T23:50:54.117925Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:50:54.117925Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YqAqeJpKLZX9hfAgLhSrcC7bsoHa7POTPlrxhvX4hggXwKmh+A4NHJUDl/CF/YGpUVzsNEqR/XwbgRYU2y1dDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:50:54.118613Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.07750","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ce300edfcc0f88f8af76d3d805076f934c3fe32f5f3d74a0cf22453fee1c1133","sha256:faff99e1d4d9abc78d82ec7562536ceeda5a5513ae0ab2cc6597233b07897bb2"],"state_sha256":"fe5ecbff43d7d518c6b7839b5ea982645e4e402f568579fc45d6e3271190638b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hO0SoDspzFJoaoGjs8QEeomw96SWl2cK+j0vJTvnpIJURCaz9+PwRi/ncGVP53LQT7OsbOA9z1UmW6DcAEi7Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T07:08:35.184959Z","bundle_sha256":"5106d34574d7feb0e130f27d2146483b3928df83446ff186526366416214676d"}}