{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:7UVT7CC22OFMLAKKBLXZAM7EUJ","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":"8e4fdab85ff94860f3b633df37b39290e5466f93eaa4859a71ce498e2fe06681","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-05-10T15:56:59Z","title_canon_sha256":"fb50455b31d482897079316af53f94066274ff7ee7719c4c5d706b3b2df10f03"},"schema_version":"1.0","source":{"id":"1705.03834","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.03834","created_at":"2026-05-18T00:16:36Z"},{"alias_kind":"arxiv_version","alias_value":"1705.03834v2","created_at":"2026-05-18T00:16:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.03834","created_at":"2026-05-18T00:16:36Z"},{"alias_kind":"pith_short_12","alias_value":"7UVT7CC22OFM","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"7UVT7CC22OFMLAKK","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"7UVT7CC2","created_at":"2026-05-18T12:31:05Z"}],"graph_snapshots":[{"event_id":"sha256:8f4247fada3cd7e9db62a67418ddb10d786ac0ebfff0140a846ff0cdd8c8012d","target":"graph","created_at":"2026-05-18T00:16: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":"Consider a small group of mobile agents whose goal is to locate a certain cell in a two-dimensional infinite grid. The agents operate in an asynchronous environment, where in each discrete time step, an arbitrary subset of the agents execute one atomic look-compute-move cycle. The protocol controlling each agent is determined by a (possibly distinct) finite automaton. The only means of communication is to sense the states of the agents sharing the same grid cell. Whenever an agent moves, the destination cell of the movement is chosen by the agent's automaton from the set of neighboring grid ce","authors_text":"Jara Uitto, Roger Wattenhofer, Sebastian Brandt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-05-10T15:56:59Z","title":"Tight Bounds for Asynchronous Collaborative Grid Exploration"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.03834","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:3b222e6b5672777a97ffb8302282df186bf122e6ce967e20f9924072bb012e26","target":"record","created_at":"2026-05-18T00:16: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":"8e4fdab85ff94860f3b633df37b39290e5466f93eaa4859a71ce498e2fe06681","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-05-10T15:56:59Z","title_canon_sha256":"fb50455b31d482897079316af53f94066274ff7ee7719c4c5d706b3b2df10f03"},"schema_version":"1.0","source":{"id":"1705.03834","kind":"arxiv","version":2}},"canonical_sha256":"fd2b3f885ad38ac5814a0aef9033e4a268047d387bde39873104e2a903218e4b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fd2b3f885ad38ac5814a0aef9033e4a268047d387bde39873104e2a903218e4b","first_computed_at":"2026-05-18T00:16:36.997426Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:36.997426Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6YKPBYYG40QDXfDj4ALV4z1GFdNd57q+7O/sEo4lFfCEuOrkNPguwuMwVdbrB3iJnm3LsI5/4YjrUyLNU2IgCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:36.997976Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.03834","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3b222e6b5672777a97ffb8302282df186bf122e6ce967e20f9924072bb012e26","sha256:8f4247fada3cd7e9db62a67418ddb10d786ac0ebfff0140a846ff0cdd8c8012d"],"state_sha256":"cde2073427b30b0d33c68341253c75546e93b7b8b9bc82c2c5a1ea791de19720"}