{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:QUKNYIK5SVWZ72FTINDNG5HDFL","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":"41279cfa716c29c3435a48b64ceba208947292bfd773b642550ff8b89ed14f93","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2024-05-20T15:32:47Z","title_canon_sha256":"5dff43044a4d4598170a7dd9c94b900440d41de8428ce165315a01b96982198f"},"schema_version":"1.0","source":{"id":"2405.12117","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.12117","created_at":"2026-07-05T08:21:00Z"},{"alias_kind":"arxiv_version","alias_value":"2405.12117v1","created_at":"2026-07-05T08:21:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.12117","created_at":"2026-07-05T08:21:00Z"},{"alias_kind":"pith_short_12","alias_value":"QUKNYIK5SVWZ","created_at":"2026-07-05T08:21:00Z"},{"alias_kind":"pith_short_16","alias_value":"QUKNYIK5SVWZ72FT","created_at":"2026-07-05T08:21:00Z"},{"alias_kind":"pith_short_8","alias_value":"QUKNYIK5","created_at":"2026-07-05T08:21:00Z"}],"graph_snapshots":[{"event_id":"sha256:20eabf2ab0238a828719be2d442bd013a2fb44e8edd97e43603d643607783969","target":"graph","created_at":"2026-07-05T08:21:00Z","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/2405.12117/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Discrete-event (DE) systems are concurrent programs where components communicate via tagged events, where tags are drawn from a totally ordered set. Reactors are an emerging model of computation based on DE and realized in the open-source coordination language Lingua Franca. Distributed DE (DDE) systems are DE systems where the components (reactors) communicate over networks. The prior art has required that for DDE systems with cycles, each cycle must contain at least one logical delay, where the tag of events is incremented. Such delays, however, are not required by the elegant fixed-point se","authors_text":"Anirudh Rengarajan, Byeonggil Jun, Edward A. Lee, Erling Jellum, Hokeun Kim, Marten Lohstroh, Peter Donovan, Shaokai Lin","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2024-05-20T15:32:47Z","title":"Strongly-Consistent Distributed Discrete-event Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.12117","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:7533d13a56b69c3ca864345ea431e21ac9bb190e24e05cf3cf914fa3d632fd68","target":"record","created_at":"2026-07-05T08:21:00Z","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":"41279cfa716c29c3435a48b64ceba208947292bfd773b642550ff8b89ed14f93","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2024-05-20T15:32:47Z","title_canon_sha256":"5dff43044a4d4598170a7dd9c94b900440d41de8428ce165315a01b96982198f"},"schema_version":"1.0","source":{"id":"2405.12117","kind":"arxiv","version":1}},"canonical_sha256":"8514dc215d956d9fe8b34346d374e32ad920803a8c494c8ab3ce4567da241803","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8514dc215d956d9fe8b34346d374e32ad920803a8c494c8ab3ce4567da241803","first_computed_at":"2026-07-05T08:21:00.267609Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:21:00.267609Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SiLCLvQFNTPy1ts0vlPZp7sHMg+9aAzAVczJlS/KsbQ5vbRyGuKhZShbl7ECxAJm2Xx2cWRlThLuaRRhRDJHDA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:21:00.268026Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.12117","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7533d13a56b69c3ca864345ea431e21ac9bb190e24e05cf3cf914fa3d632fd68","sha256:20eabf2ab0238a828719be2d442bd013a2fb44e8edd97e43603d643607783969"],"state_sha256":"9f2020d6c2e3a041b69ca59e8791fe32a1f5549c48c3f5852b7225162b2bc553"}