{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:TACPDJIV6XJN73VCJ4Q5IYG5RN","short_pith_number":"pith:TACPDJIV","canonical_record":{"source":{"id":"1803.06157","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2018-03-16T10:35:03Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4a4d80e09aec78d94258256b6aa627993e49e52fb8c6637581ac859b07013381","abstract_canon_sha256":"dc36d52520e9b745b34974d9dac0177fca1530e4a193428e034f17f77a862cb6"},"schema_version":"1.0"},"canonical_sha256":"9804f1a515f5d2dfeea24f21d460dd8b721e9143fda8d67a4cc6e91631ad3ec6","source":{"kind":"arxiv","id":"1803.06157","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.06157","created_at":"2026-05-18T00:20:50Z"},{"alias_kind":"arxiv_version","alias_value":"1803.06157v1","created_at":"2026-05-18T00:20:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.06157","created_at":"2026-05-18T00:20:50Z"},{"alias_kind":"pith_short_12","alias_value":"TACPDJIV6XJN","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"TACPDJIV6XJN73VC","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"TACPDJIV","created_at":"2026-05-18T12:32:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:TACPDJIV6XJN73VCJ4Q5IYG5RN","target":"record","payload":{"canonical_record":{"source":{"id":"1803.06157","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2018-03-16T10:35:03Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4a4d80e09aec78d94258256b6aa627993e49e52fb8c6637581ac859b07013381","abstract_canon_sha256":"dc36d52520e9b745b34974d9dac0177fca1530e4a193428e034f17f77a862cb6"},"schema_version":"1.0"},"canonical_sha256":"9804f1a515f5d2dfeea24f21d460dd8b721e9143fda8d67a4cc6e91631ad3ec6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:20:50.412504Z","signature_b64":"tuI8NdxiX5m+jmHgW+x0xTvYlDRewHtc81yss8OQruLzHQ+mrhH7Soi8gs6CDTvxoCNt30G21Kkjn8Jlk1OkAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9804f1a515f5d2dfeea24f21d460dd8b721e9143fda8d67a4cc6e91631ad3ec6","last_reissued_at":"2026-05-18T00:20:50.412038Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:20:50.412038Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.06157","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-18T00:20:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8EpK9TxNR+jLTd4EUI/u4VvP6wRiJDn8sbQ0OnDFkG0o46xw5rQOOzVCHVAT0cYQoPmB3YheiOIVywb2nWJQAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:51:39.003487Z"},"content_sha256":"3debc7228dc61ef4ed3fcf673b3818b11c5c2ae29d2dc9e3d60b69969b835e62","schema_version":"1.0","event_id":"sha256:3debc7228dc61ef4ed3fcf673b3818b11c5c2ae29d2dc9e3d60b69969b835e62"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:TACPDJIV6XJN73VCJ4Q5IYG5RN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DM","authors_text":"David \\v{S}afr\\'anek, Juraj Kol\\v{c}\\'ak, Lo\\\"ic Paulev\\'e, Stefan Haar","submitted_at":"2018-03-16T10:35:03Z","abstract_excerpt":"The modelling of discrete regulatory networks combines a graph specifying the pairwise influences between the variables of the system, and a parametrisation from which can be derived a discrete transition system. Given the influence graph only, the exploration of admissible parametrisations and the behaviours they enable is computationally demanding due to the combinatorial explosions of both parametrisation and reachable state space.\n  This article introduces an abstraction of the parametrisation space and its refinement to account for the existence of given transitions, and for constraints o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.06157","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-18T00:20:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+o0rCvaREtuClEeB5hGP1HBOf7ryxZ2OMy1U3sB5u5mO7dTssl8MEQxZiTbfUo2Te7hhyfU1qiuQ/Q5r19SpAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:51:39.003827Z"},"content_sha256":"cc58acbd9455bc434841bb5357af9e69528ba8764978d103fdbb3a27157d8e92","schema_version":"1.0","event_id":"sha256:cc58acbd9455bc434841bb5357af9e69528ba8764978d103fdbb3a27157d8e92"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TACPDJIV6XJN73VCJ4Q5IYG5RN/bundle.json","state_url":"https://pith.science/pith/TACPDJIV6XJN73VCJ4Q5IYG5RN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TACPDJIV6XJN73VCJ4Q5IYG5RN/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-02T21:51:39Z","links":{"resolver":"https://pith.science/pith/TACPDJIV6XJN73VCJ4Q5IYG5RN","bundle":"https://pith.science/pith/TACPDJIV6XJN73VCJ4Q5IYG5RN/bundle.json","state":"https://pith.science/pith/TACPDJIV6XJN73VCJ4Q5IYG5RN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TACPDJIV6XJN73VCJ4Q5IYG5RN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:TACPDJIV6XJN73VCJ4Q5IYG5RN","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":"dc36d52520e9b745b34974d9dac0177fca1530e4a193428e034f17f77a862cb6","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2018-03-16T10:35:03Z","title_canon_sha256":"4a4d80e09aec78d94258256b6aa627993e49e52fb8c6637581ac859b07013381"},"schema_version":"1.0","source":{"id":"1803.06157","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.06157","created_at":"2026-05-18T00:20:50Z"},{"alias_kind":"arxiv_version","alias_value":"1803.06157v1","created_at":"2026-05-18T00:20:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.06157","created_at":"2026-05-18T00:20:50Z"},{"alias_kind":"pith_short_12","alias_value":"TACPDJIV6XJN","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"TACPDJIV6XJN73VC","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"TACPDJIV","created_at":"2026-05-18T12:32:53Z"}],"graph_snapshots":[{"event_id":"sha256:cc58acbd9455bc434841bb5357af9e69528ba8764978d103fdbb3a27157d8e92","target":"graph","created_at":"2026-05-18T00:20:50Z","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":"The modelling of discrete regulatory networks combines a graph specifying the pairwise influences between the variables of the system, and a parametrisation from which can be derived a discrete transition system. Given the influence graph only, the exploration of admissible parametrisations and the behaviours they enable is computationally demanding due to the combinatorial explosions of both parametrisation and reachable state space.\n  This article introduces an abstraction of the parametrisation space and its refinement to account for the existence of given transitions, and for constraints o","authors_text":"David \\v{S}afr\\'anek, Juraj Kol\\v{c}\\'ak, Lo\\\"ic Paulev\\'e, Stefan Haar","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2018-03-16T10:35:03Z","title":"Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.06157","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:3debc7228dc61ef4ed3fcf673b3818b11c5c2ae29d2dc9e3d60b69969b835e62","target":"record","created_at":"2026-05-18T00:20:50Z","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":"dc36d52520e9b745b34974d9dac0177fca1530e4a193428e034f17f77a862cb6","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2018-03-16T10:35:03Z","title_canon_sha256":"4a4d80e09aec78d94258256b6aa627993e49e52fb8c6637581ac859b07013381"},"schema_version":"1.0","source":{"id":"1803.06157","kind":"arxiv","version":1}},"canonical_sha256":"9804f1a515f5d2dfeea24f21d460dd8b721e9143fda8d67a4cc6e91631ad3ec6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9804f1a515f5d2dfeea24f21d460dd8b721e9143fda8d67a4cc6e91631ad3ec6","first_computed_at":"2026-05-18T00:20:50.412038Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:20:50.412038Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tuI8NdxiX5m+jmHgW+x0xTvYlDRewHtc81yss8OQruLzHQ+mrhH7Soi8gs6CDTvxoCNt30G21Kkjn8Jlk1OkAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:20:50.412504Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.06157","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3debc7228dc61ef4ed3fcf673b3818b11c5c2ae29d2dc9e3d60b69969b835e62","sha256:cc58acbd9455bc434841bb5357af9e69528ba8764978d103fdbb3a27157d8e92"],"state_sha256":"b765afb4499408ff63e5aabe0d3ae4a8d15f3d8c6bc649e20d760c31dcb07f24"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hF7iCBY0uTVg3OCHlGCu4EjeLas0r1Dl+ZEJo7/4sMTg+vJltGdLAeizj41gTkOTZSnRAmQKjpxPKhjHLRYMBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T21:51:39.005652Z","bundle_sha256":"8744b3cf21196f87657cfc27aa591f6aef84a3e777af821b850385d5c01562b7"}}