{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:VRKHWCUJBW5XHKBNYIWTH57VMW","short_pith_number":"pith:VRKHWCUJ","canonical_record":{"source":{"id":"1412.3377","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-12-10T17:30:22Z","cross_cats_sorted":[],"title_canon_sha256":"0ce2b623725fd85f9792898ff7b614a0adbdcee630e03d2941f4e6ec1c709f66","abstract_canon_sha256":"9cbb6a9f808f0de591b5062a0eed42c5a67727d45220b4f3388710433a6831cd"},"schema_version":"1.0"},"canonical_sha256":"ac547b0a890dbb73a82dc22d33f7f56597d691096d3d51aadc31619426993ca3","source":{"kind":"arxiv","id":"1412.3377","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.3377","created_at":"2026-05-18T02:31:36Z"},{"alias_kind":"arxiv_version","alias_value":"1412.3377v1","created_at":"2026-05-18T02:31:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.3377","created_at":"2026-05-18T02:31:36Z"},{"alias_kind":"pith_short_12","alias_value":"VRKHWCUJBW5X","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"VRKHWCUJBW5XHKBN","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"VRKHWCUJ","created_at":"2026-05-18T12:28:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:VRKHWCUJBW5XHKBNYIWTH57VMW","target":"record","payload":{"canonical_record":{"source":{"id":"1412.3377","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-12-10T17:30:22Z","cross_cats_sorted":[],"title_canon_sha256":"0ce2b623725fd85f9792898ff7b614a0adbdcee630e03d2941f4e6ec1c709f66","abstract_canon_sha256":"9cbb6a9f808f0de591b5062a0eed42c5a67727d45220b4f3388710433a6831cd"},"schema_version":"1.0"},"canonical_sha256":"ac547b0a890dbb73a82dc22d33f7f56597d691096d3d51aadc31619426993ca3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:31:36.808281Z","signature_b64":"m0LbdhcT0IRGCiAFswbyvFYHxWXfPuAXstgblF+geBvolN56qrxfiKMQT80IOH0udKTp9N41bvF4NXLLK0hvAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ac547b0a890dbb73a82dc22d33f7f56597d691096d3d51aadc31619426993ca3","last_reissued_at":"2026-05-18T02:31:36.807659Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:31:36.807659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.3377","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-18T02:31:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QInmLwI5Kzm8xlMql+isgsV9RZFniMK2i08p+fepTM69FoCcE0TLGtZbYet7vX0Ld+zIxRaBlOswC7dxhMxIDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T17:28:10.609445Z"},"content_sha256":"6afdee08055e29fce21f7e802efdb999a5ad56f4f4a1c2d3de18467f7d4b068a","schema_version":"1.0","event_id":"sha256:6afdee08055e29fce21f7e802efdb999a5ad56f4f4a1c2d3de18467f7d4b068a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:VRKHWCUJBW5XHKBNYIWTH57VMW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Uniformity is weaker than semi-uniformity for some membrane systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Damien Woods, Niall Murphy","submitted_at":"2014-12-10T17:30:22Z","abstract_excerpt":"We investigate computing models that are presented as families of finite computing devices with a uniformity condition on the entire family. Examples of such models include Boolean circuits, membrane systems, DNA computers, chemical reaction networks and tile assembly systems, and there are many others. However, in such models there are actually two distinct kinds of uniformity condition. The first is the most common and well-understood, where each input length is mapped to a single computing device (e.g. a Boolean circuit) that computes on the finite set of inputs of that length. The second, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.3377","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-18T02:31:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3OljYQmH7oJvpfnvNVNCvvE5aaDk9Mo6+096yAW98zNOB8dgFtrEnxyUHJjLoe0YH0Jy2se+gB+Jg0N9xUCvBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T17:28:10.609794Z"},"content_sha256":"ec7a67982f0ef1e4e7c232cbb98acda3e356a40471385a90ea4ffb51bf22345a","schema_version":"1.0","event_id":"sha256:ec7a67982f0ef1e4e7c232cbb98acda3e356a40471385a90ea4ffb51bf22345a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VRKHWCUJBW5XHKBNYIWTH57VMW/bundle.json","state_url":"https://pith.science/pith/VRKHWCUJBW5XHKBNYIWTH57VMW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VRKHWCUJBW5XHKBNYIWTH57VMW/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-05-31T17:28:10Z","links":{"resolver":"https://pith.science/pith/VRKHWCUJBW5XHKBNYIWTH57VMW","bundle":"https://pith.science/pith/VRKHWCUJBW5XHKBNYIWTH57VMW/bundle.json","state":"https://pith.science/pith/VRKHWCUJBW5XHKBNYIWTH57VMW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VRKHWCUJBW5XHKBNYIWTH57VMW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:VRKHWCUJBW5XHKBNYIWTH57VMW","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":"9cbb6a9f808f0de591b5062a0eed42c5a67727d45220b4f3388710433a6831cd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-12-10T17:30:22Z","title_canon_sha256":"0ce2b623725fd85f9792898ff7b614a0adbdcee630e03d2941f4e6ec1c709f66"},"schema_version":"1.0","source":{"id":"1412.3377","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.3377","created_at":"2026-05-18T02:31:36Z"},{"alias_kind":"arxiv_version","alias_value":"1412.3377v1","created_at":"2026-05-18T02:31:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.3377","created_at":"2026-05-18T02:31:36Z"},{"alias_kind":"pith_short_12","alias_value":"VRKHWCUJBW5X","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"VRKHWCUJBW5XHKBN","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"VRKHWCUJ","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:ec7a67982f0ef1e4e7c232cbb98acda3e356a40471385a90ea4ffb51bf22345a","target":"graph","created_at":"2026-05-18T02:31:36Z","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 investigate computing models that are presented as families of finite computing devices with a uniformity condition on the entire family. Examples of such models include Boolean circuits, membrane systems, DNA computers, chemical reaction networks and tile assembly systems, and there are many others. However, in such models there are actually two distinct kinds of uniformity condition. The first is the most common and well-understood, where each input length is mapped to a single computing device (e.g. a Boolean circuit) that computes on the finite set of inputs of that length. The second, ","authors_text":"Damien Woods, Niall Murphy","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-12-10T17:30:22Z","title":"Uniformity is weaker than semi-uniformity for some membrane systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.3377","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:6afdee08055e29fce21f7e802efdb999a5ad56f4f4a1c2d3de18467f7d4b068a","target":"record","created_at":"2026-05-18T02:31:36Z","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":"9cbb6a9f808f0de591b5062a0eed42c5a67727d45220b4f3388710433a6831cd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-12-10T17:30:22Z","title_canon_sha256":"0ce2b623725fd85f9792898ff7b614a0adbdcee630e03d2941f4e6ec1c709f66"},"schema_version":"1.0","source":{"id":"1412.3377","kind":"arxiv","version":1}},"canonical_sha256":"ac547b0a890dbb73a82dc22d33f7f56597d691096d3d51aadc31619426993ca3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ac547b0a890dbb73a82dc22d33f7f56597d691096d3d51aadc31619426993ca3","first_computed_at":"2026-05-18T02:31:36.807659Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:31:36.807659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"m0LbdhcT0IRGCiAFswbyvFYHxWXfPuAXstgblF+geBvolN56qrxfiKMQT80IOH0udKTp9N41bvF4NXLLK0hvAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:31:36.808281Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.3377","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6afdee08055e29fce21f7e802efdb999a5ad56f4f4a1c2d3de18467f7d4b068a","sha256:ec7a67982f0ef1e4e7c232cbb98acda3e356a40471385a90ea4ffb51bf22345a"],"state_sha256":"9c6ac8769dc5a5787c526c44ff6e9eb2c65ea7211574faa95307f6601576e12f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IGXteItUTpWQzIBT7fxvAhAnC8qQSX/CFyF5Mh/CX2DosPZjZl1TtN9IXuFvnb3F4iklahtUWIFZGUUbC6evCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T17:28:10.612000Z","bundle_sha256":"b791e147a20802d89dd1e50b4c7b547fe4412f9069de5b0a5aa63ca058a3a0b8"}}