{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:KFIQZLFODNYBHJE26CDKG4CWCJ","short_pith_number":"pith:KFIQZLFO","canonical_record":{"source":{"id":"2605.21337","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-05-20T16:03:31Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"0ed78a930f407acbe9da16f81ace8c8d0270f08d26db8bc6c9b9d09f1781f918","abstract_canon_sha256":"90c85c2504b47bf1f1ceb0c9f86e6b39ea9138539321e92e7a3054307bc0cd6d"},"schema_version":"1.0"},"canonical_sha256":"51510cacae1b7013a49af086a37056127b5c2ce69f06c6d0bb34f070eea0da23","source":{"kind":"arxiv","id":"2605.21337","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:KFIQZLFODNYBHJE26CDKG4CWCJ","target":"record","payload":{"canonical_record":{"source":{"id":"2605.21337","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-05-20T16:03:31Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"0ed78a930f407acbe9da16f81ace8c8d0270f08d26db8bc6c9b9d09f1781f918","abstract_canon_sha256":"90c85c2504b47bf1f1ceb0c9f86e6b39ea9138539321e92e7a3054307bc0cd6d"},"schema_version":"1.0"},"canonical_sha256":"51510cacae1b7013a49af086a37056127b5c2ce69f06c6d0bb34f070eea0da23","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-21T02:05:29.800376Z","signature_b64":"/9KlOPrjyO8i2n2E3iA+j/SB+OUR20fcAngnvoybAwoXuIhfWoqs/N2mI7KSLG+6gyW7mSsJzzULcWXfBOLvAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"51510cacae1b7013a49af086a37056127b5c2ce69f06c6d0bb34f070eea0da23","last_reissued_at":"2026-05-21T02:05:29.799662Z","signature_status":"signed_v1","first_computed_at":"2026-05-21T02:05:29.799662Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.21337","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-05-21T02:05:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M5qy0Yoiwqls/HeS3AL5hQlXBk+cdY9UXS7P+fnMd9EDSqJJiYD2cdwsVZGPfG9Md+n28KiaAnct6HXWe/oFCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:21:26.397117Z"},"content_sha256":"44dca894a438339a275c3adde5d696f222837ea009281178c387aae4eb249a85","schema_version":"1.0","event_id":"sha256:44dca894a438339a275c3adde5d696f222837ea009281178c387aae4eb249a85"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:KFIQZLFODNYBHJE26CDKG4CWCJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Multicategorical Semantics for Untyped Effects","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"cs.PL","authors_text":"Ariel Grunfeld, Liron Cohen","submitted_at":"2026-05-20T16:03:31Z","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 "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.21337","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/2605.21337/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-05-21T02:05:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mJ7YB735KnU8mu3Z/VGTU5juh30uAs2DVX3HBVwOpGPqMFM6NAlpOCbGOPIc7Ygg5uGoRji74FpolrWV1a7MCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:21:26.397507Z"},"content_sha256":"7b3f50e4ea54263db32722295c5e34c261a111fdc5d81106ce2043b8173e1210","schema_version":"1.0","event_id":"sha256:7b3f50e4ea54263db32722295c5e34c261a111fdc5d81106ce2043b8173e1210"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:KFIQZLFODNYBHJE26CDKG4CWCJ","target":"integrity","payload":{"note":"URL 'http://pages' returned status transport error (transport error: [Errno -3] Temporary failure in name resolution) at last check.","snippet":null,"arxiv_id":"2605.21337","detector":"external_links","evidence":{"url":"http://pages","final_url":null,"host_kind":"website","status_code":0,"status_text":"transport error: [Errno -3] Temporary failure in name resolution","verdict_class":"incontrovertible","checked_at_unix":1779406479.2139761},"severity":"advisory","ref_index":null,"audited_at":"2026-05-21T23:34:39.215878Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"http://pages","finding_type":"dead_url","evidence_hash":"12b4e7ad4259a62a7b1addde416a258147cde8d5b6d1ace04009e730535d3588","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6091,"payload_sha256":"8b1f7893c2a2523e11066878e9bf05c65a2324e81f7aed8ac97bb4beffe3ab0c","signature_b64":"C7NItfGjg4OZnK3CBkH7qKVi4A74bgAglTUh0Zo1+zg/IwNFDbdiJ9ubPuYcnKIK7b1GT/aWo494H4g8hHy/Ag==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-21T23:35:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JVhgW02Xwwv2wfrnb2n1+tJP0HfEwvMcrJOIPVVtRJCUA+c4lmgAi57Adwmlms825MoZANYGmRx2nQQdcoxIDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:21:26.398354Z"},"content_sha256":"82282ee4bc23e3069aa75bc43a05732c57516ab6ee62aa0481439961a3ffd5f8","schema_version":"1.0","event_id":"sha256:82282ee4bc23e3069aa75bc43a05732c57516ab6ee62aa0481439961a3ffd5f8"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:KFIQZLFODNYBHJE26CDKG4CWCJ","target":"integrity","payload":{"note":"URL 'http://pages' returned status transport error (transport error: [Errno -3] Temporary failure in name resolution) at last check.","snippet":null,"arxiv_id":"2605.21337","detector":"external_links","evidence":{"url":"http://pages","final_url":null,"host_kind":"website","status_code":0,"status_text":"transport error: [Errno -3] Temporary failure in name resolution","verdict_class":"incontrovertible","checked_at_unix":1779363276.8862774},"severity":"advisory","ref_index":null,"audited_at":"2026-05-21T11:34:36.887848Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"http://pages","finding_type":"dead_url","evidence_hash":"ee487a242e57f21937d087c249914be84d96a92ab7cd7885bd5694097cb785df","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":5925,"payload_sha256":"06a498f32f6ae341ec59b3c5954940d6a47280a164ea40bb6662b4cedbaea010","signature_b64":"izoDCCYHtpRpI+SCEHGlH3Pd51oMHezJP0To0EUgk4XbEQq1CtnU4ogjz/jxJZSs2HsUcxII1dhLSQXCd5iBBQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-21T11:39:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yqxMT+MrYQiHmK8rCA2FeO56SiKWd1AmAtZix/1+ks1ky2xkNh6PU1VBi3L4JIqQsT+rMKP/M2kbtM2D/wTYBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:21:26.398636Z"},"content_sha256":"ce7f3c4417fc60f17e71d2da4c96c44b510deea6a4476a5e11db392e5bf49b10","schema_version":"1.0","event_id":"sha256:ce7f3c4417fc60f17e71d2da4c96c44b510deea6a4476a5e11db392e5bf49b10"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KFIQZLFODNYBHJE26CDKG4CWCJ/bundle.json","state_url":"https://pith.science/pith/KFIQZLFODNYBHJE26CDKG4CWCJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KFIQZLFODNYBHJE26CDKG4CWCJ/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-06-02T23:21:26Z","links":{"resolver":"https://pith.science/pith/KFIQZLFODNYBHJE26CDKG4CWCJ","bundle":"https://pith.science/pith/KFIQZLFODNYBHJE26CDKG4CWCJ/bundle.json","state":"https://pith.science/pith/KFIQZLFODNYBHJE26CDKG4CWCJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KFIQZLFODNYBHJE26CDKG4CWCJ/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FSZhUPE9oHX17Bu1vKZXhOPoqsEZe/VFaG9V4YuJqDcdxsSWXK1YXGNN5P8Gx0t7Wp3/H8WOpUtdzkeaGAEGBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T23:21:26.400946Z","bundle_sha256":"226fce71f1af4997d12736b58406b7d1155bd7a2c8cd3f6a409684cff24ddcc1"}}