{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:VV4HYFJQEJH7PSNY5J45IWCJB2","short_pith_number":"pith:VV4HYFJQ","canonical_record":{"source":{"id":"1710.08016","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-10-22T21:03:34Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"81631513c2cf8130f63065d01d7bc508dc6c452a74c8fb6d7d63fb365108135d","abstract_canon_sha256":"ae432545e0f53383d2940ffa156e7f177f990361f33bf1e68e4bf7dc9885f5ac"},"schema_version":"1.0"},"canonical_sha256":"ad787c1530224ff7c9b8ea79d458490ead218fbaae6e3fe9cd4cf6e04d2f02ad","source":{"kind":"arxiv","id":"1710.08016","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.08016","created_at":"2026-05-18T00:16:44Z"},{"alias_kind":"arxiv_version","alias_value":"1710.08016v2","created_at":"2026-05-18T00:16:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.08016","created_at":"2026-05-18T00:16:44Z"},{"alias_kind":"pith_short_12","alias_value":"VV4HYFJQEJH7","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"VV4HYFJQEJH7PSNY","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"VV4HYFJQ","created_at":"2026-05-18T12:31:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:VV4HYFJQEJH7PSNY5J45IWCJB2","target":"record","payload":{"canonical_record":{"source":{"id":"1710.08016","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-10-22T21:03:34Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"81631513c2cf8130f63065d01d7bc508dc6c452a74c8fb6d7d63fb365108135d","abstract_canon_sha256":"ae432545e0f53383d2940ffa156e7f177f990361f33bf1e68e4bf7dc9885f5ac"},"schema_version":"1.0"},"canonical_sha256":"ad787c1530224ff7c9b8ea79d458490ead218fbaae6e3fe9cd4cf6e04d2f02ad","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:44.760965Z","signature_b64":"3bmR20MJICUfrStU0s862Ux0ur5c8JwkYZ4rCNgfVyR+51b40hj57GrK6I4mfOfbIR1jy4H05aOo1slUpduaAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad787c1530224ff7c9b8ea79d458490ead218fbaae6e3fe9cd4cf6e04d2f02ad","last_reissued_at":"2026-05-18T00:16:44.760393Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:44.760393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.08016","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-18T00:16:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R4rCpgOESKGt+fA0EiDbzN7bx7AZDitXpgBQBtWwBpaDWKJDhRLKLzSGpc852Y3bY4G1ZwtjqNfsdRaPlg57CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T05:00:03.749553Z"},"content_sha256":"ea7f5c34acaef8ebb3c6ce490d7b56ada4f05a7ea6758011e1b8d0c99fbc10af","schema_version":"1.0","event_id":"sha256:ea7f5c34acaef8ebb3c6ce490d7b56ada4f05a7ea6758011e1b8d0c99fbc10af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:VV4HYFJQEJH7PSNY5J45IWCJB2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Experimental Biological Protocols with Formal Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.QM"],"primary_cat":"cs.PL","authors_text":"Alessandro Abate, Boyan Yordanov, Luca Cardelli, Luca Laurenti, Marta Kwiatkowska","submitted_at":"2017-10-22T21:03:34Z","abstract_excerpt":"Both experimental and computational biology is becoming increasingly automated. Laboratory experiments are now performed automatically on high-throughput machinery, while computational models are synthesized or inferred automatically from data. However, integration between automated tasks in the process of biological discovery is still lacking, largely due to incompatible or missing formal representations. While theories are expressed formally as computational models, existing languages for encoding and automating experimental protocols often lack formal semantics. This makes it challenging to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.08016","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-18T00:16:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a07bIGLGN9lbzKVkge3Sfd/rTgFQgKfPCLqqcxztH4AeDc3IzXWdFIM7r5JLNkoK4BVzsnLuLNJwptZ+xlTGCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T05:00:03.749908Z"},"content_sha256":"beb1fca088a8994fc6e3507364639e479dd3af2c014b41e3bdd8ba228867af58","schema_version":"1.0","event_id":"sha256:beb1fca088a8994fc6e3507364639e479dd3af2c014b41e3bdd8ba228867af58"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VV4HYFJQEJH7PSNY5J45IWCJB2/bundle.json","state_url":"https://pith.science/pith/VV4HYFJQEJH7PSNY5J45IWCJB2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VV4HYFJQEJH7PSNY5J45IWCJB2/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-02T05:00:03Z","links":{"resolver":"https://pith.science/pith/VV4HYFJQEJH7PSNY5J45IWCJB2","bundle":"https://pith.science/pith/VV4HYFJQEJH7PSNY5J45IWCJB2/bundle.json","state":"https://pith.science/pith/VV4HYFJQEJH7PSNY5J45IWCJB2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VV4HYFJQEJH7PSNY5J45IWCJB2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:VV4HYFJQEJH7PSNY5J45IWCJB2","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":"ae432545e0f53383d2940ffa156e7f177f990361f33bf1e68e4bf7dc9885f5ac","cross_cats_sorted":["q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-10-22T21:03:34Z","title_canon_sha256":"81631513c2cf8130f63065d01d7bc508dc6c452a74c8fb6d7d63fb365108135d"},"schema_version":"1.0","source":{"id":"1710.08016","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.08016","created_at":"2026-05-18T00:16:44Z"},{"alias_kind":"arxiv_version","alias_value":"1710.08016v2","created_at":"2026-05-18T00:16:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.08016","created_at":"2026-05-18T00:16:44Z"},{"alias_kind":"pith_short_12","alias_value":"VV4HYFJQEJH7","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"VV4HYFJQEJH7PSNY","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"VV4HYFJQ","created_at":"2026-05-18T12:31:49Z"}],"graph_snapshots":[{"event_id":"sha256:beb1fca088a8994fc6e3507364639e479dd3af2c014b41e3bdd8ba228867af58","target":"graph","created_at":"2026-05-18T00:16:44Z","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":"Both experimental and computational biology is becoming increasingly automated. Laboratory experiments are now performed automatically on high-throughput machinery, while computational models are synthesized or inferred automatically from data. However, integration between automated tasks in the process of biological discovery is still lacking, largely due to incompatible or missing formal representations. While theories are expressed formally as computational models, existing languages for encoding and automating experimental protocols often lack formal semantics. This makes it challenging to","authors_text":"Alessandro Abate, Boyan Yordanov, Luca Cardelli, Luca Laurenti, Marta Kwiatkowska","cross_cats":["q-bio.QM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-10-22T21:03:34Z","title":"Experimental Biological Protocols with Formal Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.08016","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:ea7f5c34acaef8ebb3c6ce490d7b56ada4f05a7ea6758011e1b8d0c99fbc10af","target":"record","created_at":"2026-05-18T00:16:44Z","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":"ae432545e0f53383d2940ffa156e7f177f990361f33bf1e68e4bf7dc9885f5ac","cross_cats_sorted":["q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-10-22T21:03:34Z","title_canon_sha256":"81631513c2cf8130f63065d01d7bc508dc6c452a74c8fb6d7d63fb365108135d"},"schema_version":"1.0","source":{"id":"1710.08016","kind":"arxiv","version":2}},"canonical_sha256":"ad787c1530224ff7c9b8ea79d458490ead218fbaae6e3fe9cd4cf6e04d2f02ad","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad787c1530224ff7c9b8ea79d458490ead218fbaae6e3fe9cd4cf6e04d2f02ad","first_computed_at":"2026-05-18T00:16:44.760393Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:44.760393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3bmR20MJICUfrStU0s862Ux0ur5c8JwkYZ4rCNgfVyR+51b40hj57GrK6I4mfOfbIR1jy4H05aOo1slUpduaAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:44.760965Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.08016","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ea7f5c34acaef8ebb3c6ce490d7b56ada4f05a7ea6758011e1b8d0c99fbc10af","sha256:beb1fca088a8994fc6e3507364639e479dd3af2c014b41e3bdd8ba228867af58"],"state_sha256":"22ccc91a5f35301317bdc8eb4d5a0f88001d5bafb119bd278200f67876f440a9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sdra4jPlZDXXJl4zTIOD/1h3rkEkaicm5epdQ5UxKVHsNKl1qrTgTVRhQFu6tBmqruPavVOLx72zeAdGlmrsDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T05:00:03.751842Z","bundle_sha256":"cc7f8c98e8c5a12fadcd07d2cc4fddbb6e2c65367cbaaff47218cf3fd366bdc4"}}