{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:5XUE7XZIHHCLGH2TTVFRV6GMVX","short_pith_number":"pith:5XUE7XZI","canonical_record":{"source":{"id":"2308.10578","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-08-21T09:24:12Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"373a99612422fccb685f002bc5f634ecd0d94500b9e75a2380f76f956ff5355b","abstract_canon_sha256":"ef6ce14afdb4cc9ca9b4c560b693f5ecff2acf435a2da3871036038ec7ff1074"},"schema_version":"1.0"},"canonical_sha256":"ede84fdf2839c4b31f539d4b1af8ccade592802c73d1de587ad572103a190537","source":{"kind":"arxiv","id":"2308.10578","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.10578","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"arxiv_version","alias_value":"2308.10578v1","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.10578","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"pith_short_12","alias_value":"5XUE7XZIHHCL","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"pith_short_16","alias_value":"5XUE7XZIHHCLGH2T","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"pith_short_8","alias_value":"5XUE7XZI","created_at":"2026-07-05T06:43:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:5XUE7XZIHHCLGH2TTVFRV6GMVX","target":"record","payload":{"canonical_record":{"source":{"id":"2308.10578","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-08-21T09:24:12Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"373a99612422fccb685f002bc5f634ecd0d94500b9e75a2380f76f956ff5355b","abstract_canon_sha256":"ef6ce14afdb4cc9ca9b4c560b693f5ecff2acf435a2da3871036038ec7ff1074"},"schema_version":"1.0"},"canonical_sha256":"ede84fdf2839c4b31f539d4b1af8ccade592802c73d1de587ad572103a190537","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:43:11.356058Z","signature_b64":"neKQeW/rWxn4SRLWq2PKgJK8R7UDo9A+ThtXwNuj2HLDSE7AfG9dN71YKFzbcCY/GxOfPSaKb2xg2hSdDsLPDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ede84fdf2839c4b31f539d4b1af8ccade592802c73d1de587ad572103a190537","last_reissued_at":"2026-07-05T06:43:11.355594Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:43:11.355594Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2308.10578","source_version":1,"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-07-05T06:43:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A8gXG/w25N+KcNLreKhLVG0UH+CvbwBXTgE34TYUO9Ss912wuCmsnx8CR6HGx6Ni64VnuNHzJuzxnNgNqR+4DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T22:58:41.366408Z"},"content_sha256":"eed47a9516ad03589bdb46d7844537179dffc97b8fcf5ddbb75ee88a673151ac","schema_version":"1.0","event_id":"sha256:eed47a9516ad03589bdb46d7844537179dffc97b8fcf5ddbb75ee88a673151ac"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:5XUE7XZIHHCLGH2TTVFRV6GMVX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Weakly synchronous systems with three machines are Turing powerful","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.CL","authors_text":"Cinzia Di Giusto (C&A), Davide Ferr\\'e, Etienne Lozes (I3S, LSV), Nicolas Nisse","submitted_at":"2023-08-21T09:24:12Z","abstract_excerpt":"Communicating finite-state machines (CFMs) are a Turing powerful model of asynchronous message-passing distributed systems. In weakly synchronous systems, processes communicate through phases in which messages are first sent and then received, for each process. Such systems enjoy a limited form of synchronization, and for some communication models, this restriction is enough to make the reachability problem decidable. In particular, we explore the intriguing case of p2p (FIFO) communication, for which the reachability problem is known to be undecidable for four processes, but decidable for two"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.10578","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2308.10578/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T06:43:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Dd4DtYPSBJBf1zlRZX9Tu9N1uRW5KFAD7B1bbCC6cGWBxw6h5RbDHDdnu9uaktlsJIMKSd1adTFACRzkwBC6Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T22:58:41.366918Z"},"content_sha256":"c6e931866ba3cd76a299b1f5f567f627aa0dbfa75022e15f413c5f8eb343f83f","schema_version":"1.0","event_id":"sha256:c6e931866ba3cd76a299b1f5f567f627aa0dbfa75022e15f413c5f8eb343f83f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5XUE7XZIHHCLGH2TTVFRV6GMVX/bundle.json","state_url":"https://pith.science/pith/5XUE7XZIHHCLGH2TTVFRV6GMVX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5XUE7XZIHHCLGH2TTVFRV6GMVX/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-08-06T22:58:41Z","links":{"resolver":"https://pith.science/pith/5XUE7XZIHHCLGH2TTVFRV6GMVX","bundle":"https://pith.science/pith/5XUE7XZIHHCLGH2TTVFRV6GMVX/bundle.json","state":"https://pith.science/pith/5XUE7XZIHHCLGH2TTVFRV6GMVX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5XUE7XZIHHCLGH2TTVFRV6GMVX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:5XUE7XZIHHCLGH2TTVFRV6GMVX","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":"ef6ce14afdb4cc9ca9b4c560b693f5ecff2acf435a2da3871036038ec7ff1074","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-08-21T09:24:12Z","title_canon_sha256":"373a99612422fccb685f002bc5f634ecd0d94500b9e75a2380f76f956ff5355b"},"schema_version":"1.0","source":{"id":"2308.10578","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.10578","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"arxiv_version","alias_value":"2308.10578v1","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.10578","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"pith_short_12","alias_value":"5XUE7XZIHHCL","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"pith_short_16","alias_value":"5XUE7XZIHHCLGH2T","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"pith_short_8","alias_value":"5XUE7XZI","created_at":"2026-07-05T06:43:11Z"}],"graph_snapshots":[{"event_id":"sha256:c6e931866ba3cd76a299b1f5f567f627aa0dbfa75022e15f413c5f8eb343f83f","target":"graph","created_at":"2026-07-05T06:43:11Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2308.10578/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Communicating finite-state machines (CFMs) are a Turing powerful model of asynchronous message-passing distributed systems. In weakly synchronous systems, processes communicate through phases in which messages are first sent and then received, for each process. Such systems enjoy a limited form of synchronization, and for some communication models, this restriction is enough to make the reachability problem decidable. In particular, we explore the intriguing case of p2p (FIFO) communication, for which the reachability problem is known to be undecidable for four processes, but decidable for two","authors_text":"Cinzia Di Giusto (C&A), Davide Ferr\\'e, Etienne Lozes (I3S, LSV), Nicolas Nisse","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-08-21T09:24:12Z","title":"Weakly synchronous systems with three machines are Turing powerful"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.10578","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:eed47a9516ad03589bdb46d7844537179dffc97b8fcf5ddbb75ee88a673151ac","target":"record","created_at":"2026-07-05T06:43:11Z","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":"ef6ce14afdb4cc9ca9b4c560b693f5ecff2acf435a2da3871036038ec7ff1074","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-08-21T09:24:12Z","title_canon_sha256":"373a99612422fccb685f002bc5f634ecd0d94500b9e75a2380f76f956ff5355b"},"schema_version":"1.0","source":{"id":"2308.10578","kind":"arxiv","version":1}},"canonical_sha256":"ede84fdf2839c4b31f539d4b1af8ccade592802c73d1de587ad572103a190537","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ede84fdf2839c4b31f539d4b1af8ccade592802c73d1de587ad572103a190537","first_computed_at":"2026-07-05T06:43:11.355594Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:43:11.355594Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"neKQeW/rWxn4SRLWq2PKgJK8R7UDo9A+ThtXwNuj2HLDSE7AfG9dN71YKFzbcCY/GxOfPSaKb2xg2hSdDsLPDg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:43:11.356058Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.10578","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eed47a9516ad03589bdb46d7844537179dffc97b8fcf5ddbb75ee88a673151ac","sha256:c6e931866ba3cd76a299b1f5f567f627aa0dbfa75022e15f413c5f8eb343f83f"],"state_sha256":"596801eba7bf3a8cbe240c6bbfde8b84991e8595af9df8a59cfaf9431448245d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p+88rDBz/oepeqfzqT0en3vO/QMkNfEXlScYlUKKHvJHnfGHs+lJBfb+2jx4ejFtWW8F74YYRKnEU8U+TjGbBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T22:58:41.371400Z","bundle_sha256":"2dcc2eebad282b814eb5c604496b9bb76ba3b1b2c4afcb5f0bf637e740286d87"}}