{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:6TQAD7NRPAHRWJJUAYOV2FEHVA","short_pith_number":"pith:6TQAD7NR","canonical_record":{"source":{"id":"1001.0253","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2010-01-01T19:28:55Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"7bccf561e985f3c7d1b08cd36edfb116350e2a8afd8cb82ea0fd4bb2f3bf4cc0","abstract_canon_sha256":"186dcd5eaea7bc59d68dcfa610dcda7b64a52eacde713525af45b9f468aeea28"},"schema_version":"1.0"},"canonical_sha256":"f4e001fdb1780f1b2534061d5d1487a83fdbea4b9e94f7f53003bcddae655283","source":{"kind":"arxiv","id":"1001.0253","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1001.0253","created_at":"2026-05-18T04:14:53Z"},{"alias_kind":"arxiv_version","alias_value":"1001.0253v4","created_at":"2026-05-18T04:14:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1001.0253","created_at":"2026-05-18T04:14:53Z"},{"alias_kind":"pith_short_12","alias_value":"6TQAD7NRPAHR","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_16","alias_value":"6TQAD7NRPAHRWJJU","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_8","alias_value":"6TQAD7NR","created_at":"2026-05-18T12:26:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:6TQAD7NRPAHRWJJUAYOV2FEHVA","target":"record","payload":{"canonical_record":{"source":{"id":"1001.0253","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2010-01-01T19:28:55Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"7bccf561e985f3c7d1b08cd36edfb116350e2a8afd8cb82ea0fd4bb2f3bf4cc0","abstract_canon_sha256":"186dcd5eaea7bc59d68dcfa610dcda7b64a52eacde713525af45b9f468aeea28"},"schema_version":"1.0"},"canonical_sha256":"f4e001fdb1780f1b2534061d5d1487a83fdbea4b9e94f7f53003bcddae655283","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:14:53.587549Z","signature_b64":"RioIOTYN9inTdRU7VH9zmLMwOItvllYclo1AwSFZjUbn1a6eRIm+QCu8nynjgjIL0LiQkXwd3veJJpXUHKBxBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f4e001fdb1780f1b2534061d5d1487a83fdbea4b9e94f7f53003bcddae655283","last_reissued_at":"2026-05-18T04:14:53.587024Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:14:53.587024Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1001.0253","source_version":4,"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-18T04:14:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zFz8J65Cwt905uYuqNT5/sZTk5MfL3aREitNRXsAMQOxCOuKEd6UduHov4BrQXEuwrF+kbba+PMRkYSHSEaJCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T00:36:29.740504Z"},"content_sha256":"febf6fe8c0a43fb674d2b342bd6673456e78b7246eb1b7cb9d4305721da8181d","schema_version":"1.0","event_id":"sha256:febf6fe8c0a43fb674d2b342bd6673456e78b7246eb1b7cb9d4305721da8181d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:6TQAD7NRPAHRWJJUAYOV2FEHVA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Revisiting the Rice Theorem of Cellular Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.DM","authors_text":"Ga\\'etan Richard, Pierre Guillon","submitted_at":"2010-01-01T19:28:55Z","abstract_excerpt":"A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neighbors. It induces a dynamical system on the set of configurations, i.e. the infinite sequences of cell states. The limit set of the cellular automaton is the set of configurations which can be reached arbitrarily late in the evolution.\n  In this paper, we prove that all properties of limit sets of cellular automata with binary-state cells are undecidable, except surjectivity. This is a refinement of the classical \"Rice Theorem\" "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1001.0253","kind":"arxiv","version":4},"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-18T04:14:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dkXnJA98NAitdwIEAUtaz7e2NVNjSk4B5MS3uXjEujnJtYFG+Zsud6kpW8Z+GU7Owt689QyvORxGTYahGXisBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T00:36:29.740845Z"},"content_sha256":"89836aaa88da68aedff5579b7538612c14942d0807324c69d92786e7f1de693c","schema_version":"1.0","event_id":"sha256:89836aaa88da68aedff5579b7538612c14942d0807324c69d92786e7f1de693c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6TQAD7NRPAHRWJJUAYOV2FEHVA/bundle.json","state_url":"https://pith.science/pith/6TQAD7NRPAHRWJJUAYOV2FEHVA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6TQAD7NRPAHRWJJUAYOV2FEHVA/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-03T00:36:29Z","links":{"resolver":"https://pith.science/pith/6TQAD7NRPAHRWJJUAYOV2FEHVA","bundle":"https://pith.science/pith/6TQAD7NRPAHRWJJUAYOV2FEHVA/bundle.json","state":"https://pith.science/pith/6TQAD7NRPAHRWJJUAYOV2FEHVA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6TQAD7NRPAHRWJJUAYOV2FEHVA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:6TQAD7NRPAHRWJJUAYOV2FEHVA","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":"186dcd5eaea7bc59d68dcfa610dcda7b64a52eacde713525af45b9f468aeea28","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2010-01-01T19:28:55Z","title_canon_sha256":"7bccf561e985f3c7d1b08cd36edfb116350e2a8afd8cb82ea0fd4bb2f3bf4cc0"},"schema_version":"1.0","source":{"id":"1001.0253","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1001.0253","created_at":"2026-05-18T04:14:53Z"},{"alias_kind":"arxiv_version","alias_value":"1001.0253v4","created_at":"2026-05-18T04:14:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1001.0253","created_at":"2026-05-18T04:14:53Z"},{"alias_kind":"pith_short_12","alias_value":"6TQAD7NRPAHR","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_16","alias_value":"6TQAD7NRPAHRWJJU","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_8","alias_value":"6TQAD7NR","created_at":"2026-05-18T12:26:04Z"}],"graph_snapshots":[{"event_id":"sha256:89836aaa88da68aedff5579b7538612c14942d0807324c69d92786e7f1de693c","target":"graph","created_at":"2026-05-18T04:14:53Z","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":"A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neighbors. It induces a dynamical system on the set of configurations, i.e. the infinite sequences of cell states. The limit set of the cellular automaton is the set of configurations which can be reached arbitrarily late in the evolution.\n  In this paper, we prove that all properties of limit sets of cellular automata with binary-state cells are undecidable, except surjectivity. This is a refinement of the classical \"Rice Theorem\" ","authors_text":"Ga\\'etan Richard, Pierre Guillon","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2010-01-01T19:28:55Z","title":"Revisiting the Rice Theorem of Cellular Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1001.0253","kind":"arxiv","version":4},"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:febf6fe8c0a43fb674d2b342bd6673456e78b7246eb1b7cb9d4305721da8181d","target":"record","created_at":"2026-05-18T04:14:53Z","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":"186dcd5eaea7bc59d68dcfa610dcda7b64a52eacde713525af45b9f468aeea28","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2010-01-01T19:28:55Z","title_canon_sha256":"7bccf561e985f3c7d1b08cd36edfb116350e2a8afd8cb82ea0fd4bb2f3bf4cc0"},"schema_version":"1.0","source":{"id":"1001.0253","kind":"arxiv","version":4}},"canonical_sha256":"f4e001fdb1780f1b2534061d5d1487a83fdbea4b9e94f7f53003bcddae655283","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f4e001fdb1780f1b2534061d5d1487a83fdbea4b9e94f7f53003bcddae655283","first_computed_at":"2026-05-18T04:14:53.587024Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:14:53.587024Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RioIOTYN9inTdRU7VH9zmLMwOItvllYclo1AwSFZjUbn1a6eRIm+QCu8nynjgjIL0LiQkXwd3veJJpXUHKBxBA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:14:53.587549Z","signed_message":"canonical_sha256_bytes"},"source_id":"1001.0253","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:febf6fe8c0a43fb674d2b342bd6673456e78b7246eb1b7cb9d4305721da8181d","sha256:89836aaa88da68aedff5579b7538612c14942d0807324c69d92786e7f1de693c"],"state_sha256":"4189d760827cde45ebc9fa022f6a56a8053f42f7b8ac176dd2f98bd49ada9b93"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s3jWj/bGm5ufmBCacHO0tfD/UmV3/tGihzt7tkPdb86DB2yLafZBAoxc92+DdDsJNj439+wuNUF/xICLqjyPAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T00:36:29.742759Z","bundle_sha256":"10e4ac7ec3c5ef68ee42fd79d096867b9a8c162caaf5a8867f996271d0a0e58c"}}