{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:NEXRK4I4B6XVZTUNVPN3SJM4GW","short_pith_number":"pith:NEXRK4I4","canonical_record":{"source":{"id":"1811.02478","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.OT","submitted_at":"2018-10-30T11:29:45Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"2da6120ed2c893f27b4686c68982e1d5e2931f76bb573dad511fe0b48ff0903e","abstract_canon_sha256":"9fe65f084743d13bb7668c7b4bd3a12cdd1806ccda3ce56b234becbcdb92bcbe"},"schema_version":"1.0"},"canonical_sha256":"692f15711c0faf5cce8dabdbb9259c359b51d922a21f68853d73a3e2d796eeca","source":{"kind":"arxiv","id":"1811.02478","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.02478","created_at":"2026-05-17T23:51:05Z"},{"alias_kind":"arxiv_version","alias_value":"1811.02478v3","created_at":"2026-05-17T23:51:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.02478","created_at":"2026-05-17T23:51:05Z"},{"alias_kind":"pith_short_12","alias_value":"NEXRK4I4B6XV","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NEXRK4I4B6XVZTUN","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NEXRK4I4","created_at":"2026-05-18T12:32:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:NEXRK4I4B6XVZTUNVPN3SJM4GW","target":"record","payload":{"canonical_record":{"source":{"id":"1811.02478","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.OT","submitted_at":"2018-10-30T11:29:45Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"2da6120ed2c893f27b4686c68982e1d5e2931f76bb573dad511fe0b48ff0903e","abstract_canon_sha256":"9fe65f084743d13bb7668c7b4bd3a12cdd1806ccda3ce56b234becbcdb92bcbe"},"schema_version":"1.0"},"canonical_sha256":"692f15711c0faf5cce8dabdbb9259c359b51d922a21f68853d73a3e2d796eeca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:05.333230Z","signature_b64":"aXf4EEf7ZBGB5qvZtTDhEkhigiPMFOUyxJRSoI/ISOVyADO6QzEAxKGS4HKBgZgaz886JrM2XL8r4LjrGA1zCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"692f15711c0faf5cce8dabdbb9259c359b51d922a21f68853d73a3e2d796eeca","last_reissued_at":"2026-05-17T23:51:05.332670Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:05.332670Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.02478","source_version":3,"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:51:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N156vuFSN2PTu6n1Yz5r39sZAmsoTasE9Vz4eLLwe1XjNKGAIQxS9axLYscBtuIOpc5OhsS4prcxZ3Vq4JaECg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-22T13:40:23.048382Z"},"content_sha256":"ed1de52c12ec9af55afbde7f71f65c714fd44ddeea1f34d8621a5ed3ed576a37","schema_version":"1.0","event_id":"sha256:ed1de52c12ec9af55afbde7f71f65c714fd44ddeea1f34d8621a5ed3ed576a37"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:NEXRK4I4B6XVZTUNVPN3SJM4GW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proofs of life: molecular-biology reasoning simulates cell behaviors from first principles","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"q-bio.OT","authors_text":"Emmanuel Pietriga, Ren\\'e Vestergaard","submitted_at":"2018-10-30T11:29:45Z","abstract_excerpt":"We axiomatize the molecular-biology reasoning style, show compliance of the standard reference: Ptashne, A Genetic Switch, and present proof-theory-induced technologies to help infer phenotypes and to predict life cycles from genotypes. The key is to note that `reductionist discipline' entails constructive reasoning: any proof of a compound property can be decomposed to proofs of constituent properties. Proof theory makes explicit the inner structure of the axiomatized reasoning style and allows the permissible dynamics to be presented as a mode of computation that can be executed and analyzed"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.02478","kind":"arxiv","version":3},"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:51:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FjEHgcrTPwp/sgxFu4s/R6sNlOIUwdVJ8XWsBIymV55aTVI6AbWIv6QaFpYQz5VNoaR2l77DRUTk9JALx08WDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-22T13:40:23.048725Z"},"content_sha256":"862ce434822bb4f98e1f5ae8c33e44bfd66c290b6acc831a44c831bc5f8e10b1","schema_version":"1.0","event_id":"sha256:862ce434822bb4f98e1f5ae8c33e44bfd66c290b6acc831a44c831bc5f8e10b1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NEXRK4I4B6XVZTUNVPN3SJM4GW/bundle.json","state_url":"https://pith.science/pith/NEXRK4I4B6XVZTUNVPN3SJM4GW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NEXRK4I4B6XVZTUNVPN3SJM4GW/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-07-22T13:40:23Z","links":{"resolver":"https://pith.science/pith/NEXRK4I4B6XVZTUNVPN3SJM4GW","bundle":"https://pith.science/pith/NEXRK4I4B6XVZTUNVPN3SJM4GW/bundle.json","state":"https://pith.science/pith/NEXRK4I4B6XVZTUNVPN3SJM4GW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NEXRK4I4B6XVZTUNVPN3SJM4GW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:NEXRK4I4B6XVZTUNVPN3SJM4GW","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":"9fe65f084743d13bb7668c7b4bd3a12cdd1806ccda3ce56b234becbcdb92bcbe","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.OT","submitted_at":"2018-10-30T11:29:45Z","title_canon_sha256":"2da6120ed2c893f27b4686c68982e1d5e2931f76bb573dad511fe0b48ff0903e"},"schema_version":"1.0","source":{"id":"1811.02478","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.02478","created_at":"2026-05-17T23:51:05Z"},{"alias_kind":"arxiv_version","alias_value":"1811.02478v3","created_at":"2026-05-17T23:51:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.02478","created_at":"2026-05-17T23:51:05Z"},{"alias_kind":"pith_short_12","alias_value":"NEXRK4I4B6XV","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NEXRK4I4B6XVZTUN","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NEXRK4I4","created_at":"2026-05-18T12:32:40Z"}],"graph_snapshots":[{"event_id":"sha256:862ce434822bb4f98e1f5ae8c33e44bfd66c290b6acc831a44c831bc5f8e10b1","target":"graph","created_at":"2026-05-17T23:51:05Z","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":"We axiomatize the molecular-biology reasoning style, show compliance of the standard reference: Ptashne, A Genetic Switch, and present proof-theory-induced technologies to help infer phenotypes and to predict life cycles from genotypes. The key is to note that `reductionist discipline' entails constructive reasoning: any proof of a compound property can be decomposed to proofs of constituent properties. Proof theory makes explicit the inner structure of the axiomatized reasoning style and allows the permissible dynamics to be presented as a mode of computation that can be executed and analyzed","authors_text":"Emmanuel Pietriga, Ren\\'e Vestergaard","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.OT","submitted_at":"2018-10-30T11:29:45Z","title":"Proofs of life: molecular-biology reasoning simulates cell behaviors from first principles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.02478","kind":"arxiv","version":3},"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:ed1de52c12ec9af55afbde7f71f65c714fd44ddeea1f34d8621a5ed3ed576a37","target":"record","created_at":"2026-05-17T23:51:05Z","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":"9fe65f084743d13bb7668c7b4bd3a12cdd1806ccda3ce56b234becbcdb92bcbe","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.OT","submitted_at":"2018-10-30T11:29:45Z","title_canon_sha256":"2da6120ed2c893f27b4686c68982e1d5e2931f76bb573dad511fe0b48ff0903e"},"schema_version":"1.0","source":{"id":"1811.02478","kind":"arxiv","version":3}},"canonical_sha256":"692f15711c0faf5cce8dabdbb9259c359b51d922a21f68853d73a3e2d796eeca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"692f15711c0faf5cce8dabdbb9259c359b51d922a21f68853d73a3e2d796eeca","first_computed_at":"2026-05-17T23:51:05.332670Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:05.332670Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aXf4EEf7ZBGB5qvZtTDhEkhigiPMFOUyxJRSoI/ISOVyADO6QzEAxKGS4HKBgZgaz886JrM2XL8r4LjrGA1zCQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:05.333230Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.02478","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ed1de52c12ec9af55afbde7f71f65c714fd44ddeea1f34d8621a5ed3ed576a37","sha256:862ce434822bb4f98e1f5ae8c33e44bfd66c290b6acc831a44c831bc5f8e10b1"],"state_sha256":"2ab0b68dfcbbcfa66b40294220c71c47b79f9a9f48cbea413c622315d6f15c12"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/B7Q0l27lsWMQj1R69WvCD8vPfP9apYPz7h+G872/N9ZC185s4Qsds+biDaeD59WUyo6abP9JSQ9gJc2RG52DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-22T13:40:23.050865Z","bundle_sha256":"c0773711b354f7f68e177d31b1d6af1f170774058e1027fff90f6b70016f9067"}}