{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:5VDFRDRWDYL43BM6WHO6IPOXCP","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":"b3d34f744d960c476245b09e347544c962ca70e7e95b2079c0d12c356ae69162","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2023-09-12T16:59:40Z","title_canon_sha256":"c4713c926103916939cf398c65f7867b96d59443afa2ddbc794c38fad5157b9d"},"schema_version":"1.0","source":{"id":"2309.06397","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.06397","created_at":"2026-05-22T02:04:34Z"},{"alias_kind":"arxiv_version","alias_value":"2309.06397v5","created_at":"2026-05-22T02:04:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.06397","created_at":"2026-05-22T02:04:34Z"},{"alias_kind":"pith_short_12","alias_value":"5VDFRDRWDYL4","created_at":"2026-05-22T02:04:34Z"},{"alias_kind":"pith_short_16","alias_value":"5VDFRDRWDYL43BM6","created_at":"2026-05-22T02:04:34Z"},{"alias_kind":"pith_short_8","alias_value":"5VDFRDRW","created_at":"2026-05-22T02:04:34Z"}],"graph_snapshots":[{"event_id":"sha256:adcecdba30114a11a7017f9711dfc042a0f82625a09748bb85fe118c829418bb","target":"graph","created_at":"2026-05-22T02:04:34Z","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/2309.06397/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Every Model of High-Level Computation (MHC) has an underlying composition mechanism for combining simple computing devices into more complex ones. Composition can be done by (explicitly or implicitly) defining control flow, data flow or any combination thereof. Control flow specifies the order in which individual computations are activated, whereas data flow defines how data is exchanged among them. Unfortunately, traditional MHCs either mix data and control or only consider one dimension explicitly, which makes it difficult to reason about data flow and control flow separately. Reasoning abou","authors_text":"Damian Arellanes","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2023-09-12T16:59:40Z","title":"Compositional Separation of Control Flow and Data Flow"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.06397","kind":"arxiv","version":5},"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:567d45b0c1a8de5110f4653cc5e5c7af65c215d27d041fbd881c503002d5746e","target":"record","created_at":"2026-05-22T02:04:34Z","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":"b3d34f744d960c476245b09e347544c962ca70e7e95b2079c0d12c356ae69162","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2023-09-12T16:59:40Z","title_canon_sha256":"c4713c926103916939cf398c65f7867b96d59443afa2ddbc794c38fad5157b9d"},"schema_version":"1.0","source":{"id":"2309.06397","kind":"arxiv","version":5}},"canonical_sha256":"ed46588e361e17cd859eb1dde43dd713f9d696c1445f2f5419276b7039d1652d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ed46588e361e17cd859eb1dde43dd713f9d696c1445f2f5419276b7039d1652d","first_computed_at":"2026-05-22T02:04:34.816340Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-22T02:04:34.816340Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"m6zYwUAMD+wK0APo94am9SYTFQm8lDg1ieG3gEyz69Je1Hi7xak8olE0A6CnjODRn/Er5Xm2BogfZkLktx+PAw==","signature_status":"signed_v1","signed_at":"2026-05-22T02:04:34.817410Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.06397","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:567d45b0c1a8de5110f4653cc5e5c7af65c215d27d041fbd881c503002d5746e","sha256:adcecdba30114a11a7017f9711dfc042a0f82625a09748bb85fe118c829418bb"],"state_sha256":"2442fc53dae6b98ddc097746bf11c3cc28df1cf1e96fe6b9663c1ceb26d6d7e6"}