{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:HSTDHSAYYUCMQHIFXFAPKHYFCK","short_pith_number":"pith:HSTDHSAY","canonical_record":{"source":{"id":"2505.21672","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-05-27T18:50:19Z","cross_cats_sorted":[],"title_canon_sha256":"66c8ee1498f67618055eda68aae95b0fa4444331c0da74288bda2a9825728361","abstract_canon_sha256":"665cc859baa1e72d9c0abdf00aee6ded4612ff94525233f449733fde6f3c3151"},"schema_version":"1.0"},"canonical_sha256":"3ca633c818c504c81d05b940f51f05128738740e289d27e2b17288ebd384b1f3","source":{"kind":"arxiv","id":"2505.21672","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.21672","created_at":"2026-07-05T11:11:01Z"},{"alias_kind":"arxiv_version","alias_value":"2505.21672v1","created_at":"2026-07-05T11:11:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.21672","created_at":"2026-07-05T11:11:01Z"},{"alias_kind":"pith_short_12","alias_value":"HSTDHSAYYUCM","created_at":"2026-07-05T11:11:01Z"},{"alias_kind":"pith_short_16","alias_value":"HSTDHSAYYUCMQHIF","created_at":"2026-07-05T11:11:01Z"},{"alias_kind":"pith_short_8","alias_value":"HSTDHSAY","created_at":"2026-07-05T11:11:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:HSTDHSAYYUCMQHIFXFAPKHYFCK","target":"record","payload":{"canonical_record":{"source":{"id":"2505.21672","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-05-27T18:50:19Z","cross_cats_sorted":[],"title_canon_sha256":"66c8ee1498f67618055eda68aae95b0fa4444331c0da74288bda2a9825728361","abstract_canon_sha256":"665cc859baa1e72d9c0abdf00aee6ded4612ff94525233f449733fde6f3c3151"},"schema_version":"1.0"},"canonical_sha256":"3ca633c818c504c81d05b940f51f05128738740e289d27e2b17288ebd384b1f3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:11:01.905175Z","signature_b64":"P2LNyaxfBZtErp6Q+wnH6kabsc+O1RYkymJtxxeJcGbYaHkJrx4COTanaMakYdOg01bDt9okCbBSciE5ryAJDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3ca633c818c504c81d05b940f51f05128738740e289d27e2b17288ebd384b1f3","last_reissued_at":"2026-07-05T11:11:01.904725Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:11:01.904725Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.21672","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-05T11:11:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VUFdQr7uv07avmv7jxJ2kYe9AZPqIoETwtze12F2aQOxVHUmWDdVr+hcHrcOsjb8yFpj2JeoXJKIaGfXHNNpDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T04:07:32.084945Z"},"content_sha256":"e8c015e7b36a737c193c592ceda8776a77fdf96cee6ddb6e78b9a40c3eb8d032","schema_version":"1.0","event_id":"sha256:e8c015e7b36a737c193c592ceda8776a77fdf96cee6ddb6e78b9a40c3eb8d032"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:HSTDHSAYYUCMQHIFXFAPKHYFCK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Nir Piterman, Yehia Abd Alrahman","submitted_at":"2025-05-27T18:50:19Z","abstract_excerpt":"We consider the problem of distributing a centralised transition system to a set of asynchronous agents recognising the same language. Existing solutions are either manual or involve a huge explosion in the number of states from the centralised system. The difficulty arises from the need to keep a rigid communication scheme, specifying a fixed mapping from events to those who can participate in them. Thus, individual agents need to memorise seen events and their order to dynamically compare their knowledge with others when communicating. To bypass this, we rely on reconfigurable communication:"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.21672","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/2505.21672/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-05T11:11:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sT9Jz0UtDGRE5QPUKAHCdHnYi9Uo+4oBiuMpUJv12R6S/ipSG1Wa2AjcNGfwH9tWpxr4aSmlEWvtOPBqcvwzDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T04:07:32.085704Z"},"content_sha256":"4ef9074250a80b4cb8a5f8d6b773f7c2092eb301060038e22d15db3053132d07","schema_version":"1.0","event_id":"sha256:4ef9074250a80b4cb8a5f8d6b773f7c2092eb301060038e22d15db3053132d07"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HSTDHSAYYUCMQHIFXFAPKHYFCK/bundle.json","state_url":"https://pith.science/pith/HSTDHSAYYUCMQHIFXFAPKHYFCK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HSTDHSAYYUCMQHIFXFAPKHYFCK/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-08T04:07:32Z","links":{"resolver":"https://pith.science/pith/HSTDHSAYYUCMQHIFXFAPKHYFCK","bundle":"https://pith.science/pith/HSTDHSAYYUCMQHIFXFAPKHYFCK/bundle.json","state":"https://pith.science/pith/HSTDHSAYYUCMQHIFXFAPKHYFCK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HSTDHSAYYUCMQHIFXFAPKHYFCK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HSTDHSAYYUCMQHIFXFAPKHYFCK","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":"665cc859baa1e72d9c0abdf00aee6ded4612ff94525233f449733fde6f3c3151","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-05-27T18:50:19Z","title_canon_sha256":"66c8ee1498f67618055eda68aae95b0fa4444331c0da74288bda2a9825728361"},"schema_version":"1.0","source":{"id":"2505.21672","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.21672","created_at":"2026-07-05T11:11:01Z"},{"alias_kind":"arxiv_version","alias_value":"2505.21672v1","created_at":"2026-07-05T11:11:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.21672","created_at":"2026-07-05T11:11:01Z"},{"alias_kind":"pith_short_12","alias_value":"HSTDHSAYYUCM","created_at":"2026-07-05T11:11:01Z"},{"alias_kind":"pith_short_16","alias_value":"HSTDHSAYYUCMQHIF","created_at":"2026-07-05T11:11:01Z"},{"alias_kind":"pith_short_8","alias_value":"HSTDHSAY","created_at":"2026-07-05T11:11:01Z"}],"graph_snapshots":[{"event_id":"sha256:4ef9074250a80b4cb8a5f8d6b773f7c2092eb301060038e22d15db3053132d07","target":"graph","created_at":"2026-07-05T11:11:01Z","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/2505.21672/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We consider the problem of distributing a centralised transition system to a set of asynchronous agents recognising the same language. Existing solutions are either manual or involve a huge explosion in the number of states from the centralised system. The difficulty arises from the need to keep a rigid communication scheme, specifying a fixed mapping from events to those who can participate in them. Thus, individual agents need to memorise seen events and their order to dynamically compare their knowledge with others when communicating. To bypass this, we rely on reconfigurable communication:","authors_text":"Nir Piterman, Yehia Abd Alrahman","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-05-27T18:50:19Z","title":"On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.21672","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:e8c015e7b36a737c193c592ceda8776a77fdf96cee6ddb6e78b9a40c3eb8d032","target":"record","created_at":"2026-07-05T11:11:01Z","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":"665cc859baa1e72d9c0abdf00aee6ded4612ff94525233f449733fde6f3c3151","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-05-27T18:50:19Z","title_canon_sha256":"66c8ee1498f67618055eda68aae95b0fa4444331c0da74288bda2a9825728361"},"schema_version":"1.0","source":{"id":"2505.21672","kind":"arxiv","version":1}},"canonical_sha256":"3ca633c818c504c81d05b940f51f05128738740e289d27e2b17288ebd384b1f3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3ca633c818c504c81d05b940f51f05128738740e289d27e2b17288ebd384b1f3","first_computed_at":"2026-07-05T11:11:01.904725Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:11:01.904725Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"P2LNyaxfBZtErp6Q+wnH6kabsc+O1RYkymJtxxeJcGbYaHkJrx4COTanaMakYdOg01bDt9okCbBSciE5ryAJDw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:11:01.905175Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.21672","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e8c015e7b36a737c193c592ceda8776a77fdf96cee6ddb6e78b9a40c3eb8d032","sha256:4ef9074250a80b4cb8a5f8d6b773f7c2092eb301060038e22d15db3053132d07"],"state_sha256":"89905d55e7a390f9169041892bf53fb667adb12eac39f8c28794468b54237a66"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ebnC8LlKdjZ6WanhxhdUifP3yLsMazbBNRouy+TfBGqsiw1ilxbCZiqUddex8qhEj8cv2ElFlpH9hw//o/amCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T04:07:32.090807Z","bundle_sha256":"9f3b47dd1f6101907c6aab133ffa4bb353add5127dad291cea4d5cedd89e164c"}}