{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:2EX3ZNJELL3U3AE4ZLZNY6AJT4","short_pith_number":"pith:2EX3ZNJE","canonical_record":{"source":{"id":"1705.02609","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-05-07T12:45:27Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"e070fba8e7133acca16d640c3f42d837722f39c35dc57a95344ea5a7763e7ccb","abstract_canon_sha256":"088802572abf10536aeb074e257955bfaa6f9cd0d8ebf0f00b456172003d7b03"},"schema_version":"1.0"},"canonical_sha256":"d12fbcb5245af74d809ccaf2dc78099f0f10c5970598de229cdb7201cb289d6c","source":{"kind":"arxiv","id":"1705.02609","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.02609","created_at":"2026-05-18T00:35:51Z"},{"alias_kind":"arxiv_version","alias_value":"1705.02609v2","created_at":"2026-05-18T00:35:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.02609","created_at":"2026-05-18T00:35:51Z"},{"alias_kind":"pith_short_12","alias_value":"2EX3ZNJELL3U","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"2EX3ZNJELL3U3AE4","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"2EX3ZNJE","created_at":"2026-05-18T12:30:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:2EX3ZNJELL3U3AE4ZLZNY6AJT4","target":"record","payload":{"canonical_record":{"source":{"id":"1705.02609","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-05-07T12:45:27Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"e070fba8e7133acca16d640c3f42d837722f39c35dc57a95344ea5a7763e7ccb","abstract_canon_sha256":"088802572abf10536aeb074e257955bfaa6f9cd0d8ebf0f00b456172003d7b03"},"schema_version":"1.0"},"canonical_sha256":"d12fbcb5245af74d809ccaf2dc78099f0f10c5970598de229cdb7201cb289d6c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:51.299162Z","signature_b64":"7VE5GAu8+W3nJYaJfeKTmQ9wPv9i6FAzXmEI0RZUWl+hxzk3WnmR1J7ekmhuN0kgIS8QJXyHThIGZt/WjA2yAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d12fbcb5245af74d809ccaf2dc78099f0f10c5970598de229cdb7201cb289d6c","last_reissued_at":"2026-05-18T00:35:51.298580Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:51.298580Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.02609","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-05-18T00:35:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mqVqtKlf8sltWf7OtY2UuagIdXyd0bM7w+IcRqzKgyCphbMSl3J0qec8jixSSrUASbvdZK18hLI19+DiFebECg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T11:39:01.058474Z"},"content_sha256":"deb3880ed686f224e89f63c4010949f6f6439cdf6844aefa6bb2c04601d4b21f","schema_version":"1.0","event_id":"sha256:deb3880ed686f224e89f63c4010949f6f6439cdf6844aefa6bb2c04601d4b21f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:2EX3ZNJELL3U3AE4ZLZNY6AJT4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Emptiness Problems for Distributed Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.FL","authors_text":"Antti Kuusisto, Fabian Reiter","submitted_at":"2017-05-07T12:45:27Z","abstract_excerpt":"We investigate the decidability of the emptiness problem for three classes of distributed automata. These devices operate on finite directed graphs, acting as networks of identical finite-state machines that communicate in an infinite sequence of synchronous rounds. The problem is shown to be decidable in LogSpace for a class of forgetful automata, where the nodes see the messages received from their neighbors but cannot remember their own state. When restricted to the appropriate families of graphs, these forgetful automata are equivalent to classical finite word automata, but strictly more e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.02609","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":""},"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:35:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5qqILnj+K56OWk/tYzfV4ilO/fHWOnlPYobfdRl/vt1c19CIY2JOvA3KZE1a+HPVJm6UXd0oiLpI8ftLzchJAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T11:39:01.059151Z"},"content_sha256":"082a35a4df94d7a73176e3727bbd6d6c787581a7efd639dfd86615d267249b8a","schema_version":"1.0","event_id":"sha256:082a35a4df94d7a73176e3727bbd6d6c787581a7efd639dfd86615d267249b8a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2EX3ZNJELL3U3AE4ZLZNY6AJT4/bundle.json","state_url":"https://pith.science/pith/2EX3ZNJELL3U3AE4ZLZNY6AJT4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2EX3ZNJELL3U3AE4ZLZNY6AJT4/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-26T11:39:01Z","links":{"resolver":"https://pith.science/pith/2EX3ZNJELL3U3AE4ZLZNY6AJT4","bundle":"https://pith.science/pith/2EX3ZNJELL3U3AE4ZLZNY6AJT4/bundle.json","state":"https://pith.science/pith/2EX3ZNJELL3U3AE4ZLZNY6AJT4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2EX3ZNJELL3U3AE4ZLZNY6AJT4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:2EX3ZNJELL3U3AE4ZLZNY6AJT4","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":"088802572abf10536aeb074e257955bfaa6f9cd0d8ebf0f00b456172003d7b03","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-05-07T12:45:27Z","title_canon_sha256":"e070fba8e7133acca16d640c3f42d837722f39c35dc57a95344ea5a7763e7ccb"},"schema_version":"1.0","source":{"id":"1705.02609","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.02609","created_at":"2026-05-18T00:35:51Z"},{"alias_kind":"arxiv_version","alias_value":"1705.02609v2","created_at":"2026-05-18T00:35:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.02609","created_at":"2026-05-18T00:35:51Z"},{"alias_kind":"pith_short_12","alias_value":"2EX3ZNJELL3U","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"2EX3ZNJELL3U3AE4","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"2EX3ZNJE","created_at":"2026-05-18T12:30:55Z"}],"graph_snapshots":[{"event_id":"sha256:082a35a4df94d7a73176e3727bbd6d6c787581a7efd639dfd86615d267249b8a","target":"graph","created_at":"2026-05-18T00:35:51Z","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 the decidability of the emptiness problem for three classes of distributed automata. These devices operate on finite directed graphs, acting as networks of identical finite-state machines that communicate in an infinite sequence of synchronous rounds. The problem is shown to be decidable in LogSpace for a class of forgetful automata, where the nodes see the messages received from their neighbors but cannot remember their own state. When restricted to the appropriate families of graphs, these forgetful automata are equivalent to classical finite word automata, but strictly more e","authors_text":"Antti Kuusisto, Fabian Reiter","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-05-07T12:45:27Z","title":"Emptiness Problems for Distributed Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.02609","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:deb3880ed686f224e89f63c4010949f6f6439cdf6844aefa6bb2c04601d4b21f","target":"record","created_at":"2026-05-18T00:35:51Z","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":"088802572abf10536aeb074e257955bfaa6f9cd0d8ebf0f00b456172003d7b03","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-05-07T12:45:27Z","title_canon_sha256":"e070fba8e7133acca16d640c3f42d837722f39c35dc57a95344ea5a7763e7ccb"},"schema_version":"1.0","source":{"id":"1705.02609","kind":"arxiv","version":2}},"canonical_sha256":"d12fbcb5245af74d809ccaf2dc78099f0f10c5970598de229cdb7201cb289d6c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d12fbcb5245af74d809ccaf2dc78099f0f10c5970598de229cdb7201cb289d6c","first_computed_at":"2026-05-18T00:35:51.298580Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:35:51.298580Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7VE5GAu8+W3nJYaJfeKTmQ9wPv9i6FAzXmEI0RZUWl+hxzk3WnmR1J7ekmhuN0kgIS8QJXyHThIGZt/WjA2yAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:35:51.299162Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.02609","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:deb3880ed686f224e89f63c4010949f6f6439cdf6844aefa6bb2c04601d4b21f","sha256:082a35a4df94d7a73176e3727bbd6d6c787581a7efd639dfd86615d267249b8a"],"state_sha256":"32896e9680176317964b83d75e6223c4847a83e08022cb0c077b8f5ceefa6c6c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LbTVqlJIA9MNZAQ5vrM5qe40uYaNs7Guvv8YHbfgkL7gg5b5fKFvn/2xk68tW/p8ZXtz0jyS6rvkWzkkuUC+Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T11:39:01.062484Z","bundle_sha256":"142ff46d84677598216c2aee4301a65ae1431d8cd42d4de6ed87cf13e55c088a"}}