{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:5WULZ6W6GJKNSARQLTVFOPA2EL","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":"383fd56f53264791b7c51d862936f81417c5142470483130a24353adb9fb18e2","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-10-16T11:49:48Z","title_canon_sha256":"bca6bc95fa36e851f58017d827538edddba374e3ebcc4b2fbd20c216412211bc"},"schema_version":"1.0","source":{"id":"1710.05633","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.05633","created_at":"2026-05-18T00:32:48Z"},{"alias_kind":"arxiv_version","alias_value":"1710.05633v1","created_at":"2026-05-18T00:32:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.05633","created_at":"2026-05-18T00:32:48Z"},{"alias_kind":"pith_short_12","alias_value":"5WULZ6W6GJKN","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_16","alias_value":"5WULZ6W6GJKNSARQ","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_8","alias_value":"5WULZ6W6","created_at":"2026-05-18T12:31:03Z"}],"graph_snapshots":[{"event_id":"sha256:2ec203a88918cc4a9642d15d1b2cb29a8723316ffce66e3a1a86d8368b5f4b8e","target":"graph","created_at":"2026-05-18T00:32:48Z","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 study the problem of determining whether a given temporal specification can be implemented by a symmetric system, i.e., a system composed from identical components. Symmetry is an important goal in the design of distributed systems, because systems that are composed from identical components are easier to build and maintain. We show that for the class of rotation-symmetric architectures, i.e., multi-process architectures where all processes have access to all system inputs, but see different rotations of the inputs, the symmetric synthesis problem is EXPTIME-complete in the number of proces","authors_text":"Bernd Finkbeiner, Ruediger Ehlers","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-10-16T11:49:48Z","title":"Symmetric Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.05633","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:38a6ab2dd39ed12470b08001d1d155c5a5f850e5b4679b27b75184ea9eb7fbc4","target":"record","created_at":"2026-05-18T00:32:48Z","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":"383fd56f53264791b7c51d862936f81417c5142470483130a24353adb9fb18e2","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-10-16T11:49:48Z","title_canon_sha256":"bca6bc95fa36e851f58017d827538edddba374e3ebcc4b2fbd20c216412211bc"},"schema_version":"1.0","source":{"id":"1710.05633","kind":"arxiv","version":1}},"canonical_sha256":"eda8bcfade3254d902305cea573c1a22cc34ed41aa53692c1b2a39115de0a650","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"eda8bcfade3254d902305cea573c1a22cc34ed41aa53692c1b2a39115de0a650","first_computed_at":"2026-05-18T00:32:48.714906Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:32:48.714906Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6ntLzy4CimnSAPZaoWDj0qR5PNAMEQnAz2VRVOF6iL7BWdv9uJJzGIUuTgDkr6/N2Ff5srAOZs/47/QXHU0/Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:32:48.715695Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.05633","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:38a6ab2dd39ed12470b08001d1d155c5a5f850e5b4679b27b75184ea9eb7fbc4","sha256:2ec203a88918cc4a9642d15d1b2cb29a8723316ffce66e3a1a86d8368b5f4b8e"],"state_sha256":"cd5eee14a8a1a26a4c05197bc36971e3ddcae755ea5d9ead25d5968a8d7f9322"}