{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:FDD3MZTAPFYDRYHW54TSJAZQCL","short_pith_number":"pith:FDD3MZTA","canonical_record":{"source":{"id":"1506.05887","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2015-06-19T06:37:46Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4ae6126bafb37d9b6b42249b590895250940aedb0eb81d1591e71a5a9d8f4065","abstract_canon_sha256":"539ef26df2ebacd16aeb50ea20557da9b9384f31c941381f239563f958c43323"},"schema_version":"1.0"},"canonical_sha256":"28c7b66660797038e0f6ef2724833012c6597411ba34e268f6def479afaa8c3f","source":{"kind":"arxiv","id":"1506.05887","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.05887","created_at":"2026-05-18T01:42:46Z"},{"alias_kind":"arxiv_version","alias_value":"1506.05887v1","created_at":"2026-05-18T01:42:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.05887","created_at":"2026-05-18T01:42:46Z"},{"alias_kind":"pith_short_12","alias_value":"FDD3MZTAPFYD","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"FDD3MZTAPFYDRYHW","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"FDD3MZTA","created_at":"2026-05-18T12:29:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:FDD3MZTAPFYDRYHW54TSJAZQCL","target":"record","payload":{"canonical_record":{"source":{"id":"1506.05887","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2015-06-19T06:37:46Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4ae6126bafb37d9b6b42249b590895250940aedb0eb81d1591e71a5a9d8f4065","abstract_canon_sha256":"539ef26df2ebacd16aeb50ea20557da9b9384f31c941381f239563f958c43323"},"schema_version":"1.0"},"canonical_sha256":"28c7b66660797038e0f6ef2724833012c6597411ba34e268f6def479afaa8c3f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:42:46.985186Z","signature_b64":"sAtZic2PZyVwrZ7s09LUxt01ZAo5uACz9AgHgNzemcX8WhtRXvBMBG5EV8st8aJxlezWcsgKT6cFjQerljGkAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"28c7b66660797038e0f6ef2724833012c6597411ba34e268f6def479afaa8c3f","last_reissued_at":"2026-05-18T01:42:46.984534Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:42:46.984534Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.05887","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:42:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tD8Arcsw0flcPl/GNJpPUxQ13OBXuwGQ12vdLrNJ3yKbtY8ocwCFjHtZJKNyY5D/SnMnxEFslSmoN1c+gepCBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T03:21:05.668474Z"},"content_sha256":"188bb91b0ebe548581775ac7bbd2f1ac885f4717860a67736e1cd66e721a41ff","schema_version":"1.0","event_id":"sha256:188bb91b0ebe548581775ac7bbd2f1ac885f4717860a67736e1cd66e721a41ff"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:FDD3MZTAPFYDRYHW54TSJAZQCL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Genetically Modified Hoare Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CE","authors_text":"Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier Roux, Zohra Khalis","submitted_at":"2015-06-19T06:37:46Z","abstract_excerpt":"An important problem when modeling gene networks lies in the identification of parameters, even if we consider a purely discrete framework as the one of Ren\\'e Thomas. Here we are interested in the exhaustive search of all parameter values that are consistent with observed behaviors of the gene network. We present in this article a new approach based on Hoare Logic and on a weakest precondition calculus to generate constraints on possible parameter values. Observed behaviors play the role of \"programs\" for the classical Hoare logic, and computed weakest preconditions represent the sets of all "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.05887","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:42:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d2HnuRN+YIhlK4Tt4EvxJyKN8eNgNFmmpetmTc6QRFzvtY9NN2jy+HEKeujncHrspi99iAZVw6+Fa8h6eGlGBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T03:21:05.669172Z"},"content_sha256":"ab1a4e3300330ce93328f7a2a5d8b551e3213a9568c7b9404dd1e6353da95c13","schema_version":"1.0","event_id":"sha256:ab1a4e3300330ce93328f7a2a5d8b551e3213a9568c7b9404dd1e6353da95c13"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FDD3MZTAPFYDRYHW54TSJAZQCL/bundle.json","state_url":"https://pith.science/pith/FDD3MZTAPFYDRYHW54TSJAZQCL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FDD3MZTAPFYDRYHW54TSJAZQCL/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-12T03:21:05Z","links":{"resolver":"https://pith.science/pith/FDD3MZTAPFYDRYHW54TSJAZQCL","bundle":"https://pith.science/pith/FDD3MZTAPFYDRYHW54TSJAZQCL/bundle.json","state":"https://pith.science/pith/FDD3MZTAPFYDRYHW54TSJAZQCL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FDD3MZTAPFYDRYHW54TSJAZQCL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:FDD3MZTAPFYDRYHW54TSJAZQCL","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":"539ef26df2ebacd16aeb50ea20557da9b9384f31c941381f239563f958c43323","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2015-06-19T06:37:46Z","title_canon_sha256":"4ae6126bafb37d9b6b42249b590895250940aedb0eb81d1591e71a5a9d8f4065"},"schema_version":"1.0","source":{"id":"1506.05887","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.05887","created_at":"2026-05-18T01:42:46Z"},{"alias_kind":"arxiv_version","alias_value":"1506.05887v1","created_at":"2026-05-18T01:42:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.05887","created_at":"2026-05-18T01:42:46Z"},{"alias_kind":"pith_short_12","alias_value":"FDD3MZTAPFYD","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"FDD3MZTAPFYDRYHW","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"FDD3MZTA","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:ab1a4e3300330ce93328f7a2a5d8b551e3213a9568c7b9404dd1e6353da95c13","target":"graph","created_at":"2026-05-18T01:42:46Z","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":"An important problem when modeling gene networks lies in the identification of parameters, even if we consider a purely discrete framework as the one of Ren\\'e Thomas. Here we are interested in the exhaustive search of all parameter values that are consistent with observed behaviors of the gene network. We present in this article a new approach based on Hoare Logic and on a weakest precondition calculus to generate constraints on possible parameter values. Observed behaviors play the role of \"programs\" for the classical Hoare logic, and computed weakest preconditions represent the sets of all ","authors_text":"Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier Roux, Zohra Khalis","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2015-06-19T06:37:46Z","title":"A Genetically Modified Hoare Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.05887","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:188bb91b0ebe548581775ac7bbd2f1ac885f4717860a67736e1cd66e721a41ff","target":"record","created_at":"2026-05-18T01:42:46Z","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":"539ef26df2ebacd16aeb50ea20557da9b9384f31c941381f239563f958c43323","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2015-06-19T06:37:46Z","title_canon_sha256":"4ae6126bafb37d9b6b42249b590895250940aedb0eb81d1591e71a5a9d8f4065"},"schema_version":"1.0","source":{"id":"1506.05887","kind":"arxiv","version":1}},"canonical_sha256":"28c7b66660797038e0f6ef2724833012c6597411ba34e268f6def479afaa8c3f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"28c7b66660797038e0f6ef2724833012c6597411ba34e268f6def479afaa8c3f","first_computed_at":"2026-05-18T01:42:46.984534Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:42:46.984534Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sAtZic2PZyVwrZ7s09LUxt01ZAo5uACz9AgHgNzemcX8WhtRXvBMBG5EV8st8aJxlezWcsgKT6cFjQerljGkAw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:42:46.985186Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.05887","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:188bb91b0ebe548581775ac7bbd2f1ac885f4717860a67736e1cd66e721a41ff","sha256:ab1a4e3300330ce93328f7a2a5d8b551e3213a9568c7b9404dd1e6353da95c13"],"state_sha256":"dfe135a922fe793c9e8962b0516443c799f32106e39ca1aaea7d248dd5beba17"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v4rhTABQX14MeAZigMgidHdQ4qgkcb44Bo7rAEOZkDexj1TZ0yDgaPJJBtfo4MWVxHMYtud/36N4TVAZWSmtAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T03:21:05.673479Z","bundle_sha256":"00ea6b501797f58380a03330e5f80075dc1c940238f05afd21ea6f2bef95b27c"}}