{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:NSTDOCP52QB5HITOWMTJ2OMDMU","short_pith_number":"pith:NSTDOCP5","canonical_record":{"source":{"id":"2211.12603","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DC","submitted_at":"2022-11-22T22:03:07Z","cross_cats_sorted":["cs.DM","cs.ET","nlin.AO","q-bio.MN"],"title_canon_sha256":"6f8b714a91626023c7d963d6bf33e8538babe51c02547240c955d9bacc0e5872","abstract_canon_sha256":"dbd0cef117d4fd18fdab9da0f5e5f1670abb854c2ec7ff168754b34268ceada3"},"schema_version":"1.0"},"canonical_sha256":"6ca63709fdd403d3a26eb3269d3983650f720917d328f12052e3742397cddf14","source":{"kind":"arxiv","id":"2211.12603","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.12603","created_at":"2026-07-05T10:20:34Z"},{"alias_kind":"arxiv_version","alias_value":"2211.12603v2","created_at":"2026-07-05T10:20:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.12603","created_at":"2026-07-05T10:20:34Z"},{"alias_kind":"pith_short_12","alias_value":"NSTDOCP52QB5","created_at":"2026-07-05T10:20:34Z"},{"alias_kind":"pith_short_16","alias_value":"NSTDOCP52QB5HITO","created_at":"2026-07-05T10:20:34Z"},{"alias_kind":"pith_short_8","alias_value":"NSTDOCP5","created_at":"2026-07-05T10:20:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:NSTDOCP52QB5HITOWMTJ2OMDMU","target":"record","payload":{"canonical_record":{"source":{"id":"2211.12603","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DC","submitted_at":"2022-11-22T22:03:07Z","cross_cats_sorted":["cs.DM","cs.ET","nlin.AO","q-bio.MN"],"title_canon_sha256":"6f8b714a91626023c7d963d6bf33e8538babe51c02547240c955d9bacc0e5872","abstract_canon_sha256":"dbd0cef117d4fd18fdab9da0f5e5f1670abb854c2ec7ff168754b34268ceada3"},"schema_version":"1.0"},"canonical_sha256":"6ca63709fdd403d3a26eb3269d3983650f720917d328f12052e3742397cddf14","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:20:34.297173Z","signature_b64":"JiH1X+2DQjJ+TBr2mvyxE+gZnXP2F2HzrzNKG9QwOf7yteWFSR8Sa7HaddQsFRB6KtiV902DyQl0GdWMzTW0Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6ca63709fdd403d3a26eb3269d3983650f720917d328f12052e3742397cddf14","last_reissued_at":"2026-07-05T10:20:34.296749Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:20:34.296749Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2211.12603","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-07-05T10:20:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rFedtfpv8MIc1PCxBwwUIZhnsskZbWfRBKpj1pGKKP/ZiAg5eRlz3p87TJ6R0JOrYsKi0DVeyggjCY3KlfPaBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T06:01:30.484995Z"},"content_sha256":"d787f7ad71605396802c4060a6928f160a76fe4727ff45efc523b5e068bb879a","schema_version":"1.0","event_id":"sha256:d787f7ad71605396802c4060a6928f160a76fe4727ff45efc523b5e068bb879a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:NSTDOCP52QB5HITOWMTJ2OMDMU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reachability in Restricted Chemical Reaction Networks","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.DM","cs.ET","nlin.AO","q-bio.MN"],"primary_cat":"cs.DC","authors_text":"Andrew Rodriguez, Bin Fu, Elise Grizzell, Marco Rodriguez, Robert M. Alaniz, Robert Schweller, Timothy Gomez, Tim Wylie","submitted_at":"2022-11-22T22:03:07Z","abstract_excerpt":"The popularity of molecular computation has given rise to several models of abstraction, one of the more recent ones being Chemical Reaction Networks (CRNs). These are equivalent to other popular computational models, such as Vector Addition Systems and Petri-Nets, and restricted versions are equivalent to Population Protocols. This paper continues the work on core \\emph{reachability} questions related to Chemical Reaction Networks; given two configurations, can one reach the other according to the system's rules? With no restrictions, reachability was recently shown to be Ackermann-complete, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.12603","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2211.12603/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-05T10:20:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yqDYr4nWi0URJehtJ7RN2Wy/z7h97tSOftF5mTUuMSLiGnkp1BYP1VzGPcN62f19/HG+Fr+mHTwhC/SMVoezDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T06:01:30.485402Z"},"content_sha256":"3c8a16f3744b1bddeb56fd07d4d8046f26812ff3136f25ee0f0074c5ffdb2358","schema_version":"1.0","event_id":"sha256:3c8a16f3744b1bddeb56fd07d4d8046f26812ff3136f25ee0f0074c5ffdb2358"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NSTDOCP52QB5HITOWMTJ2OMDMU/bundle.json","state_url":"https://pith.science/pith/NSTDOCP52QB5HITOWMTJ2OMDMU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NSTDOCP52QB5HITOWMTJ2OMDMU/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-09T06:01:30Z","links":{"resolver":"https://pith.science/pith/NSTDOCP52QB5HITOWMTJ2OMDMU","bundle":"https://pith.science/pith/NSTDOCP52QB5HITOWMTJ2OMDMU/bundle.json","state":"https://pith.science/pith/NSTDOCP52QB5HITOWMTJ2OMDMU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NSTDOCP52QB5HITOWMTJ2OMDMU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:NSTDOCP52QB5HITOWMTJ2OMDMU","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":"dbd0cef117d4fd18fdab9da0f5e5f1670abb854c2ec7ff168754b34268ceada3","cross_cats_sorted":["cs.DM","cs.ET","nlin.AO","q-bio.MN"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DC","submitted_at":"2022-11-22T22:03:07Z","title_canon_sha256":"6f8b714a91626023c7d963d6bf33e8538babe51c02547240c955d9bacc0e5872"},"schema_version":"1.0","source":{"id":"2211.12603","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.12603","created_at":"2026-07-05T10:20:34Z"},{"alias_kind":"arxiv_version","alias_value":"2211.12603v2","created_at":"2026-07-05T10:20:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.12603","created_at":"2026-07-05T10:20:34Z"},{"alias_kind":"pith_short_12","alias_value":"NSTDOCP52QB5","created_at":"2026-07-05T10:20:34Z"},{"alias_kind":"pith_short_16","alias_value":"NSTDOCP52QB5HITO","created_at":"2026-07-05T10:20:34Z"},{"alias_kind":"pith_short_8","alias_value":"NSTDOCP5","created_at":"2026-07-05T10:20:34Z"}],"graph_snapshots":[{"event_id":"sha256:3c8a16f3744b1bddeb56fd07d4d8046f26812ff3136f25ee0f0074c5ffdb2358","target":"graph","created_at":"2026-07-05T10:20:34Z","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/2211.12603/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The popularity of molecular computation has given rise to several models of abstraction, one of the more recent ones being Chemical Reaction Networks (CRNs). These are equivalent to other popular computational models, such as Vector Addition Systems and Petri-Nets, and restricted versions are equivalent to Population Protocols. This paper continues the work on core \\emph{reachability} questions related to Chemical Reaction Networks; given two configurations, can one reach the other according to the system's rules? With no restrictions, reachability was recently shown to be Ackermann-complete, ","authors_text":"Andrew Rodriguez, Bin Fu, Elise Grizzell, Marco Rodriguez, Robert M. Alaniz, Robert Schweller, Timothy Gomez, Tim Wylie","cross_cats":["cs.DM","cs.ET","nlin.AO","q-bio.MN"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DC","submitted_at":"2022-11-22T22:03:07Z","title":"Reachability in Restricted Chemical Reaction Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.12603","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:d787f7ad71605396802c4060a6928f160a76fe4727ff45efc523b5e068bb879a","target":"record","created_at":"2026-07-05T10:20:34Z","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":"dbd0cef117d4fd18fdab9da0f5e5f1670abb854c2ec7ff168754b34268ceada3","cross_cats_sorted":["cs.DM","cs.ET","nlin.AO","q-bio.MN"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DC","submitted_at":"2022-11-22T22:03:07Z","title_canon_sha256":"6f8b714a91626023c7d963d6bf33e8538babe51c02547240c955d9bacc0e5872"},"schema_version":"1.0","source":{"id":"2211.12603","kind":"arxiv","version":2}},"canonical_sha256":"6ca63709fdd403d3a26eb3269d3983650f720917d328f12052e3742397cddf14","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6ca63709fdd403d3a26eb3269d3983650f720917d328f12052e3742397cddf14","first_computed_at":"2026-07-05T10:20:34.296749Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:20:34.296749Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JiH1X+2DQjJ+TBr2mvyxE+gZnXP2F2HzrzNKG9QwOf7yteWFSR8Sa7HaddQsFRB6KtiV902DyQl0GdWMzTW0Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:20:34.297173Z","signed_message":"canonical_sha256_bytes"},"source_id":"2211.12603","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d787f7ad71605396802c4060a6928f160a76fe4727ff45efc523b5e068bb879a","sha256:3c8a16f3744b1bddeb56fd07d4d8046f26812ff3136f25ee0f0074c5ffdb2358"],"state_sha256":"abe3dd0c5e9887a14e0b2335bc61d09da98bf4098b2a1b71f20e5dff12c9cc56"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5LKSRU1gzVc3LKHK6gO+XOUBTcK+eTgtXgOSGtB9zg9GBTXQe8Wgqctp2JK9L10WzOj4gp/RIJM8URKrv/DxDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T06:01:30.487980Z","bundle_sha256":"30e69d5a09eeead4cfca432e47a0c3eeb8978b2c1d217b077ad7b92e35322017"}}