{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:KFIQZLFODNYBHJE26CDKG4CWCJ","merge_version":"pith-open-graph-merge-v1","event_count":4,"valid_event_count":4,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"90c85c2504b47bf1f1ceb0c9f86e6b39ea9138539321e92e7a3054307bc0cd6d","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-05-20T16:03:31Z","title_canon_sha256":"0ed78a930f407acbe9da16f81ace8c8d0270f08d26db8bc6c9b9d09f1781f918"},"schema_version":"1.0","source":{"id":"2605.21337","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.21337","created_at":"2026-05-21T02:05:29Z"},{"alias_kind":"arxiv_version","alias_value":"2605.21337v1","created_at":"2026-05-21T02:05:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.21337","created_at":"2026-05-21T02:05:29Z"},{"alias_kind":"pith_short_12","alias_value":"KFIQZLFODNYB","created_at":"2026-05-21T02:05:29Z"},{"alias_kind":"pith_short_16","alias_value":"KFIQZLFODNYBHJE2","created_at":"2026-05-21T02:05:29Z"},{"alias_kind":"pith_short_8","alias_value":"KFIQZLFO","created_at":"2026-05-21T02:05:29Z"}],"graph_snapshots":[{"event_id":"sha256:7b3f50e4ea54263db32722295c5e34c261a111fdc5d81106ce2043b8173e1210","target":"graph","created_at":"2026-05-21T02:05:29Z","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/2605.21337/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Completeness proofs in categorical semantics usually proceed by building a syntactic category whose composition is given by substitution. For untyped effectful Call-by-Value languages, this runs into a basic obstacle: there is no canonical notion of simultaneous substitution of computations, since evaluation order is semantically meaningful. We address this by taking single computation substitutions, that is, binding steps, as primitive, and representing computation substitution by finite sequential lists composed by concatenation. We formalize this idea in a one-object Freyd-multicategorical ","authors_text":"Ariel Grunfeld, Liron Cohen","cross_cats":["math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-05-20T16:03:31Z","title":"Multicategorical Semantics for Untyped Effects"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.21337","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:44dca894a438339a275c3adde5d696f222837ea009281178c387aae4eb249a85","target":"record","created_at":"2026-05-21T02:05:29Z","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":"90c85c2504b47bf1f1ceb0c9f86e6b39ea9138539321e92e7a3054307bc0cd6d","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-05-20T16:03:31Z","title_canon_sha256":"0ed78a930f407acbe9da16f81ace8c8d0270f08d26db8bc6c9b9d09f1781f918"},"schema_version":"1.0","source":{"id":"2605.21337","kind":"arxiv","version":1}},"canonical_sha256":"51510cacae1b7013a49af086a37056127b5c2ce69f06c6d0bb34f070eea0da23","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"51510cacae1b7013a49af086a37056127b5c2ce69f06c6d0bb34f070eea0da23","first_computed_at":"2026-05-21T02:05:29.799662Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-21T02:05:29.799662Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/9KlOPrjyO8i2n2E3iA+j/SB+OUR20fcAngnvoybAwoXuIhfWoqs/N2mI7KSLG+6gyW7mSsJzzULcWXfBOLvAg==","signature_status":"signed_v1","signed_at":"2026-05-21T02:05:29.800376Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.21337","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:82282ee4bc23e3069aa75bc43a05732c57516ab6ee62aa0481439961a3ffd5f8","sha256:ce7f3c4417fc60f17e71d2da4c96c44b510deea6a4476a5e11db392e5bf49b10"]}],"invalid_events":[],"applied_event_ids":["sha256:44dca894a438339a275c3adde5d696f222837ea009281178c387aae4eb249a85","sha256:7b3f50e4ea54263db32722295c5e34c261a111fdc5d81106ce2043b8173e1210"],"state_sha256":"4f4b2268de6f790c6223475b23dac871a974801421c83da8c8d6cf596d1d73c5"}