{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:FPGMGY2IJV4ANOOPMIDXP4XORY","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":"3cc42bb2e9b613a056db670110595183145ffa1e12b0b330913c033f729a9a62","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-02-11T11:10:39Z","title_canon_sha256":"145828ad2c3c51f41ee57d45d393b0b45233b49bc7c9dee04c9187ff2a9ca771"},"schema_version":"1.0","source":{"id":"1402.2446","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.2446","created_at":"2026-05-18T02:51:33Z"},{"alias_kind":"arxiv_version","alias_value":"1402.2446v2","created_at":"2026-05-18T02:51:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.2446","created_at":"2026-05-18T02:51:33Z"},{"alias_kind":"pith_short_12","alias_value":"FPGMGY2IJV4A","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FPGMGY2IJV4ANOOP","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FPGMGY2I","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:5a4f009ea2c57bf0232486d554e60b1cd11158fa403b887b1f7867040a7ba4f0","target":"graph","created_at":"2026-05-18T02:51:33Z","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":"The Iterated Immediate Snapshot model (IIS), due to its elegant geometrical representation, has become standard for applying topological reasoning to distributed computing. Its modular structure makes it easier to analyze than the more realistic (non-iterated) read-write Atomic-Snapshot memory model (AS). It is known that AS and IIS are equivalent with respect to \\emph{wait-free task} computability: a distributed task is solvable in AS if and only if it solvable in IIS. We observe, however, that this equivalence is not sufficient in order to explore solvability of tasks in \\emph{sub-models} of","authors_text":"Eli Gafni, Petr Kuznetsov, Zohir Bouzid","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-02-11T11:10:39Z","title":"Strong Equivalence Relations for Iterated Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.2446","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:d7b041b9852640a1bff54629c9bf596641ff8c31824ed7400c4d7b90ade5cbdf","target":"record","created_at":"2026-05-18T02:51:33Z","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":"3cc42bb2e9b613a056db670110595183145ffa1e12b0b330913c033f729a9a62","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-02-11T11:10:39Z","title_canon_sha256":"145828ad2c3c51f41ee57d45d393b0b45233b49bc7c9dee04c9187ff2a9ca771"},"schema_version":"1.0","source":{"id":"1402.2446","kind":"arxiv","version":2}},"canonical_sha256":"2bccc363484d7806b9cf620777f2ee8e3c515f62643cf2a1bd18d8aa6fc18996","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2bccc363484d7806b9cf620777f2ee8e3c515f62643cf2a1bd18d8aa6fc18996","first_computed_at":"2026-05-18T02:51:33.446557Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:51:33.446557Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ua1PV57RdZI9qO8WnNy6U0gaZVT3BZ0g5QOzwRWQXRGlTfQoH0xoPs97JSk+jJs23jr1VXKDfBf3aJAhUti8Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:51:33.447102Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.2446","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d7b041b9852640a1bff54629c9bf596641ff8c31824ed7400c4d7b90ade5cbdf","sha256:5a4f009ea2c57bf0232486d554e60b1cd11158fa403b887b1f7867040a7ba4f0"],"state_sha256":"98bed0b825447f7617e4883e90ccbb64485a84be108f0e96c1e5b6a533e60c87"}