{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:O3VTEVYESJCCNJZMBQXDUTUFOY","short_pith_number":"pith:O3VTEVYE","canonical_record":{"source":{"id":"2403.06255","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-03-10T16:40:35Z","cross_cats_sorted":["math.DS","q-bio.MN"],"title_canon_sha256":"236e1c812f80b6d618e4f95c24f1c09b825b6cfccb068f891d36e53f1c82003a","abstract_canon_sha256":"fa293e2223bac21a1e022998b3a55a1d95421b372594621f48f6c7ff8f84e115"},"schema_version":"1.0"},"canonical_sha256":"76eb325704924426a72c0c2e3a4e85762f8b746dcfe300b7082b14dafb6fe8d8","source":{"kind":"arxiv","id":"2403.06255","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.06255","created_at":"2026-07-05T07:54:21Z"},{"alias_kind":"arxiv_version","alias_value":"2403.06255v1","created_at":"2026-07-05T07:54:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.06255","created_at":"2026-07-05T07:54:21Z"},{"alias_kind":"pith_short_12","alias_value":"O3VTEVYESJCC","created_at":"2026-07-05T07:54:21Z"},{"alias_kind":"pith_short_16","alias_value":"O3VTEVYESJCCNJZM","created_at":"2026-07-05T07:54:21Z"},{"alias_kind":"pith_short_8","alias_value":"O3VTEVYE","created_at":"2026-07-05T07:54:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:O3VTEVYESJCCNJZMBQXDUTUFOY","target":"record","payload":{"canonical_record":{"source":{"id":"2403.06255","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-03-10T16:40:35Z","cross_cats_sorted":["math.DS","q-bio.MN"],"title_canon_sha256":"236e1c812f80b6d618e4f95c24f1c09b825b6cfccb068f891d36e53f1c82003a","abstract_canon_sha256":"fa293e2223bac21a1e022998b3a55a1d95421b372594621f48f6c7ff8f84e115"},"schema_version":"1.0"},"canonical_sha256":"76eb325704924426a72c0c2e3a4e85762f8b746dcfe300b7082b14dafb6fe8d8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:54:21.208244Z","signature_b64":"SMXmpzyupY81g2KeqjdYS1tnMXS1M6AHfvm9e+0zJvgwkUj9awtEEEKayKkXVab4PdcY8WBMH908oU+54motAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"76eb325704924426a72c0c2e3a4e85762f8b746dcfe300b7082b14dafb6fe8d8","last_reissued_at":"2026-07-05T07:54:21.207770Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:54:21.207770Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.06255","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-07-05T07:54:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9gZ7z1LEgsIZCVi2nOKOI9zJU1/2njVidT1PmFFyHLNkpWy32pyW0HrcImpdUDUpJoYCv/KQ6X3pXwnPsnU/DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T14:58:54.084133Z"},"content_sha256":"1bff4b4de6bbd8f9bdac4bcad2223b5965a9bfc5f7aeb9f7dfa73c708ea1398e","schema_version":"1.0","event_id":"sha256:1bff4b4de6bbd8f9bdac4bcad2223b5965a9bfc5f7aeb9f7dfa73c708ea1398e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:O3VTEVYESJCCNJZMBQXDUTUFOY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.DS","q-bio.MN"],"primary_cat":"cs.LO","authors_text":"Belaid Benhamou, Lo\\\"ic Paulev\\'e, Van-Giang Trinh","submitted_at":"2024-03-10T16:40:35Z","abstract_excerpt":"The tool mpbn offers a Python programming interface for an easy interactive editing of Boolean networks and the efficient computation of elementary properties of their dynamics, including fixed points, trap spaces, and reachability properties under the Most Permissive update mode. Relying on Answer-Set Programming logical framework, we show that mpbn is scalable to models with several thousands of nodes and is one of the best-performing tool for computing minimal and maximal trap spaces of Boolean networks, a key feature for understanding and controling their stable behaviors. The tool is avai"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.06255","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2403.06255/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T07:54:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9gQ2Tq65lsIIYdoeXJNLjLqDoUpLO3j2AoUoXO3VQPklSHkBZQctLz2nEzwIX/MMEwZWDqD7EyMBz7YtvngYDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T14:58:54.084676Z"},"content_sha256":"ccf325c2307e1cfc329e804a2f0cfa21bebf78fe990de750af1046cfa1a715b4","schema_version":"1.0","event_id":"sha256:ccf325c2307e1cfc329e804a2f0cfa21bebf78fe990de750af1046cfa1a715b4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O3VTEVYESJCCNJZMBQXDUTUFOY/bundle.json","state_url":"https://pith.science/pith/O3VTEVYESJCCNJZMBQXDUTUFOY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O3VTEVYESJCCNJZMBQXDUTUFOY/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-08-08T14:58:54Z","links":{"resolver":"https://pith.science/pith/O3VTEVYESJCCNJZMBQXDUTUFOY","bundle":"https://pith.science/pith/O3VTEVYESJCCNJZMBQXDUTUFOY/bundle.json","state":"https://pith.science/pith/O3VTEVYESJCCNJZMBQXDUTUFOY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O3VTEVYESJCCNJZMBQXDUTUFOY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:O3VTEVYESJCCNJZMBQXDUTUFOY","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":"fa293e2223bac21a1e022998b3a55a1d95421b372594621f48f6c7ff8f84e115","cross_cats_sorted":["math.DS","q-bio.MN"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-03-10T16:40:35Z","title_canon_sha256":"236e1c812f80b6d618e4f95c24f1c09b825b6cfccb068f891d36e53f1c82003a"},"schema_version":"1.0","source":{"id":"2403.06255","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.06255","created_at":"2026-07-05T07:54:21Z"},{"alias_kind":"arxiv_version","alias_value":"2403.06255v1","created_at":"2026-07-05T07:54:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.06255","created_at":"2026-07-05T07:54:21Z"},{"alias_kind":"pith_short_12","alias_value":"O3VTEVYESJCC","created_at":"2026-07-05T07:54:21Z"},{"alias_kind":"pith_short_16","alias_value":"O3VTEVYESJCCNJZM","created_at":"2026-07-05T07:54:21Z"},{"alias_kind":"pith_short_8","alias_value":"O3VTEVYE","created_at":"2026-07-05T07:54:21Z"}],"graph_snapshots":[{"event_id":"sha256:ccf325c2307e1cfc329e804a2f0cfa21bebf78fe990de750af1046cfa1a715b4","target":"graph","created_at":"2026-07-05T07:54:21Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2403.06255/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The tool mpbn offers a Python programming interface for an easy interactive editing of Boolean networks and the efficient computation of elementary properties of their dynamics, including fixed points, trap spaces, and reachability properties under the Most Permissive update mode. Relying on Answer-Set Programming logical framework, we show that mpbn is scalable to models with several thousands of nodes and is one of the best-performing tool for computing minimal and maximal trap spaces of Boolean networks, a key feature for understanding and controling their stable behaviors. The tool is avai","authors_text":"Belaid Benhamou, Lo\\\"ic Paulev\\'e, Van-Giang Trinh","cross_cats":["math.DS","q-bio.MN"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-03-10T16:40:35Z","title":"mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.06255","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:1bff4b4de6bbd8f9bdac4bcad2223b5965a9bfc5f7aeb9f7dfa73c708ea1398e","target":"record","created_at":"2026-07-05T07:54:21Z","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":"fa293e2223bac21a1e022998b3a55a1d95421b372594621f48f6c7ff8f84e115","cross_cats_sorted":["math.DS","q-bio.MN"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-03-10T16:40:35Z","title_canon_sha256":"236e1c812f80b6d618e4f95c24f1c09b825b6cfccb068f891d36e53f1c82003a"},"schema_version":"1.0","source":{"id":"2403.06255","kind":"arxiv","version":1}},"canonical_sha256":"76eb325704924426a72c0c2e3a4e85762f8b746dcfe300b7082b14dafb6fe8d8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"76eb325704924426a72c0c2e3a4e85762f8b746dcfe300b7082b14dafb6fe8d8","first_computed_at":"2026-07-05T07:54:21.207770Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:54:21.207770Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SMXmpzyupY81g2KeqjdYS1tnMXS1M6AHfvm9e+0zJvgwkUj9awtEEEKayKkXVab4PdcY8WBMH908oU+54motAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:54:21.208244Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.06255","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1bff4b4de6bbd8f9bdac4bcad2223b5965a9bfc5f7aeb9f7dfa73c708ea1398e","sha256:ccf325c2307e1cfc329e804a2f0cfa21bebf78fe990de750af1046cfa1a715b4"],"state_sha256":"a57f76717b06aa6b5af978cd678e8dfecb76cd3f6a502337b4558891ec54c472"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RXzS59s7K+DeZdR/J5xZMsPiPrB5aMOj7cei90q0gkwJzQbogQgPeKGVEyU5tTHs8MBZWOFcNkSJwXVvNp8zDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T14:58:54.088955Z","bundle_sha256":"aba3fec8dccefcdaa287b448b8eea5598dcf5c5e49e06fd0d5c3cd281ace374a"}}