{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:GUAETZSQY3A34Q6QXVE3IZGMZK","short_pith_number":"pith:GUAETZSQ","canonical_record":{"source":{"id":"1208.0771","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"nlin.CG","submitted_at":"2012-08-03T15:17:46Z","cross_cats_sorted":[],"title_canon_sha256":"e6532e0418cce31ad36abc453d8e856120b8351af3f03b73d47446a7c2707ab3","abstract_canon_sha256":"51359c7fbdc3f2563cbb38caf686c9579995fe04a52dad4cd451daa82e1fa848"},"schema_version":"1.0"},"canonical_sha256":"350049e650c6c1be43d0bd49b464ccca82030ef701ef21023b6b4579396031e9","source":{"kind":"arxiv","id":"1208.0771","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.0771","created_at":"2026-05-18T03:49:22Z"},{"alias_kind":"arxiv_version","alias_value":"1208.0771v1","created_at":"2026-05-18T03:49:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.0771","created_at":"2026-05-18T03:49:22Z"},{"alias_kind":"pith_short_12","alias_value":"GUAETZSQY3A3","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"GUAETZSQY3A34Q6Q","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"GUAETZSQ","created_at":"2026-05-18T12:27:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:GUAETZSQY3A34Q6QXVE3IZGMZK","target":"record","payload":{"canonical_record":{"source":{"id":"1208.0771","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"nlin.CG","submitted_at":"2012-08-03T15:17:46Z","cross_cats_sorted":[],"title_canon_sha256":"e6532e0418cce31ad36abc453d8e856120b8351af3f03b73d47446a7c2707ab3","abstract_canon_sha256":"51359c7fbdc3f2563cbb38caf686c9579995fe04a52dad4cd451daa82e1fa848"},"schema_version":"1.0"},"canonical_sha256":"350049e650c6c1be43d0bd49b464ccca82030ef701ef21023b6b4579396031e9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:49:22.853140Z","signature_b64":"mlcItG2tRRxSFSlGg56XjgWFVJO4PKsW8ipHGVxqXNTYs/PC2gjd8b244/0RdTMedbCO9DmYRJCjh7TiY/08Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"350049e650c6c1be43d0bd49b464ccca82030ef701ef21023b6b4579396031e9","last_reissued_at":"2026-05-18T03:49:22.852435Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:49:22.852435Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1208.0771","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-18T03:49:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lVk0Rt+F8QHPDCHl9RHwU3LivhUGKzv/4HRMgEJDbjQ1EF4LAxOWvWZXsYLnnev+MzFlSwx9dHOi7KhAFeaIBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T16:50:23.748642Z"},"content_sha256":"e1c3471cd0694b065e0d606cd445d1a2a33e05f2fc6d3a5d1862332538d50e7a","schema_version":"1.0","event_id":"sha256:e1c3471cd0694b065e0d606cd445d1a2a33e05f2fc6d3a5d1862332538d50e7a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:GUAETZSQY3A34Q6QXVE3IZGMZK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Classification of two-dimensional binary cellular automata with respect to surjectivity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"nlin.CG","authors_text":"Andrew Skelton, Henryk Fuk\\'s","submitted_at":"2012-08-03T15:17:46Z","abstract_excerpt":"While the surjectivity of the global map in two-dimensional cellular automata (2D CA) is undecidable in general, in specific cases one can often decide if the rule is surjective or not. We attempt to classify as many 2D CA as possible by using a sequence of tests based on the balance theorem, injectivity of the restriction to finite configurations, as well as permutivity. We introduce the notion of slice permutivity which is shown to imply surjectivity in 2D CA. The tests are applied to 2D binary CA with neighbourhoods consisting of up to five sites, considering all possible contiguous shapes "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.0771","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-18T03:49:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iEqL8xpuhfRGU7UJ1ceshOEtAdK4UoaC56pyXetLcrO9l0fPDdmk18sEouFjTZ83lx7j6PAOGUNiwReUH2K7Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T16:50:23.748976Z"},"content_sha256":"833efe96f0796615c37e86637ec103e12e431db5865351141f8bc57c7db5726d","schema_version":"1.0","event_id":"sha256:833efe96f0796615c37e86637ec103e12e431db5865351141f8bc57c7db5726d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GUAETZSQY3A34Q6QXVE3IZGMZK/bundle.json","state_url":"https://pith.science/pith/GUAETZSQY3A34Q6QXVE3IZGMZK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GUAETZSQY3A34Q6QXVE3IZGMZK/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-01T16:50:23Z","links":{"resolver":"https://pith.science/pith/GUAETZSQY3A34Q6QXVE3IZGMZK","bundle":"https://pith.science/pith/GUAETZSQY3A34Q6QXVE3IZGMZK/bundle.json","state":"https://pith.science/pith/GUAETZSQY3A34Q6QXVE3IZGMZK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GUAETZSQY3A34Q6QXVE3IZGMZK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:GUAETZSQY3A34Q6QXVE3IZGMZK","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":"51359c7fbdc3f2563cbb38caf686c9579995fe04a52dad4cd451daa82e1fa848","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"nlin.CG","submitted_at":"2012-08-03T15:17:46Z","title_canon_sha256":"e6532e0418cce31ad36abc453d8e856120b8351af3f03b73d47446a7c2707ab3"},"schema_version":"1.0","source":{"id":"1208.0771","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.0771","created_at":"2026-05-18T03:49:22Z"},{"alias_kind":"arxiv_version","alias_value":"1208.0771v1","created_at":"2026-05-18T03:49:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.0771","created_at":"2026-05-18T03:49:22Z"},{"alias_kind":"pith_short_12","alias_value":"GUAETZSQY3A3","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"GUAETZSQY3A34Q6Q","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"GUAETZSQ","created_at":"2026-05-18T12:27:06Z"}],"graph_snapshots":[{"event_id":"sha256:833efe96f0796615c37e86637ec103e12e431db5865351141f8bc57c7db5726d","target":"graph","created_at":"2026-05-18T03:49:22Z","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":"While the surjectivity of the global map in two-dimensional cellular automata (2D CA) is undecidable in general, in specific cases one can often decide if the rule is surjective or not. We attempt to classify as many 2D CA as possible by using a sequence of tests based on the balance theorem, injectivity of the restriction to finite configurations, as well as permutivity. We introduce the notion of slice permutivity which is shown to imply surjectivity in 2D CA. The tests are applied to 2D binary CA with neighbourhoods consisting of up to five sites, considering all possible contiguous shapes ","authors_text":"Andrew Skelton, Henryk Fuk\\'s","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"nlin.CG","submitted_at":"2012-08-03T15:17:46Z","title":"Classification of two-dimensional binary cellular automata with respect to surjectivity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.0771","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:e1c3471cd0694b065e0d606cd445d1a2a33e05f2fc6d3a5d1862332538d50e7a","target":"record","created_at":"2026-05-18T03:49:22Z","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":"51359c7fbdc3f2563cbb38caf686c9579995fe04a52dad4cd451daa82e1fa848","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"nlin.CG","submitted_at":"2012-08-03T15:17:46Z","title_canon_sha256":"e6532e0418cce31ad36abc453d8e856120b8351af3f03b73d47446a7c2707ab3"},"schema_version":"1.0","source":{"id":"1208.0771","kind":"arxiv","version":1}},"canonical_sha256":"350049e650c6c1be43d0bd49b464ccca82030ef701ef21023b6b4579396031e9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"350049e650c6c1be43d0bd49b464ccca82030ef701ef21023b6b4579396031e9","first_computed_at":"2026-05-18T03:49:22.852435Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:49:22.852435Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mlcItG2tRRxSFSlGg56XjgWFVJO4PKsW8ipHGVxqXNTYs/PC2gjd8b244/0RdTMedbCO9DmYRJCjh7TiY/08Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:49:22.853140Z","signed_message":"canonical_sha256_bytes"},"source_id":"1208.0771","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e1c3471cd0694b065e0d606cd445d1a2a33e05f2fc6d3a5d1862332538d50e7a","sha256:833efe96f0796615c37e86637ec103e12e431db5865351141f8bc57c7db5726d"],"state_sha256":"48de90997f5eeee7df1bf41a9327433224d1931fcc834405eec578114fbc221e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O/yGcSzkiVaPUGHPwCas3LkbkhyyeZxyXuoipQxsHIqxHNtDPdg6CWxBj78v38FxLNvKaEqU/ocwI4hjpUtXDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T16:50:23.750959Z","bundle_sha256":"10e12bf06ea69c04a6b9379f405fd938291029d5b2b9dabcc3955723c119fa90"}}