{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:SXNYBXPVW2OMR5COZXJPVRXU3S","short_pith_number":"pith:SXNYBXPV","canonical_record":{"source":{"id":"1603.02148","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-07T16:48:18Z","cross_cats_sorted":[],"title_canon_sha256":"179d374f5b643ff8b61286845d67a872536f7980c9e9c6f7eb3a8d18ebc12b48","abstract_canon_sha256":"d28871954ebce3cbe130ed5e83c124150f3b05c6f8ec15ee6e292597c07b77cb"},"schema_version":"1.0"},"canonical_sha256":"95db80ddf5b69cc8f44ecdd2fac6f4dc9cf2f83f2441529beaeae522ec140555","source":{"kind":"arxiv","id":"1603.02148","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.02148","created_at":"2026-05-18T01:19:31Z"},{"alias_kind":"arxiv_version","alias_value":"1603.02148v1","created_at":"2026-05-18T01:19:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.02148","created_at":"2026-05-18T01:19:31Z"},{"alias_kind":"pith_short_12","alias_value":"SXNYBXPVW2OM","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_16","alias_value":"SXNYBXPVW2OMR5CO","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_8","alias_value":"SXNYBXPV","created_at":"2026-05-18T12:30:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:SXNYBXPVW2OMR5COZXJPVRXU3S","target":"record","payload":{"canonical_record":{"source":{"id":"1603.02148","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-07T16:48:18Z","cross_cats_sorted":[],"title_canon_sha256":"179d374f5b643ff8b61286845d67a872536f7980c9e9c6f7eb3a8d18ebc12b48","abstract_canon_sha256":"d28871954ebce3cbe130ed5e83c124150f3b05c6f8ec15ee6e292597c07b77cb"},"schema_version":"1.0"},"canonical_sha256":"95db80ddf5b69cc8f44ecdd2fac6f4dc9cf2f83f2441529beaeae522ec140555","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:19:31.531161Z","signature_b64":"ueZ918rNl2ON+4lWzUHFZgl1XaEgyJgnZKLyxAnD8W46PeURVOrmdpLEM7FZwCnvY/vq97Gz9De0ujfwyx80CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"95db80ddf5b69cc8f44ecdd2fac6f4dc9cf2f83f2441529beaeae522ec140555","last_reissued_at":"2026-05-18T01:19:31.530544Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:19:31.530544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.02148","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-18T01:19:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jGs7g6wdoEorNmeJRI9cRrGGY4dQw2OgqXvBvVUfnL+OYrot2EgWFEqwpmRtfCnktZD35X4OJOu9lBmXxQbCAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T03:53:15.198599Z"},"content_sha256":"3edfdb7f3eded1c46497ea9931665449ea9a5ef89f5e7d16f1c3a7e8da7bcf85","schema_version":"1.0","event_id":"sha256:3edfdb7f3eded1c46497ea9931665449ea9a5ef89f5e7d16f1c3a7e8da7bcf85"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:SXNYBXPVW2OMR5COZXJPVRXU3S","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Complete Elgot Monads and Coalgebraic Resumptions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Christoph Rauch, Sergey Goncharov, Stefan Milius","submitted_at":"2016-03-07T16:48:18Z","abstract_excerpt":"Monads are extensively used nowadays to abstractly model a wide range of computational effects such as nondeterminism, statefulness, and exceptions. It turns out that equipping a monad with a (uniform) iteration operator satisfying a set of natural axioms allows for modelling iterative computations just as abstractly. The emerging monads are called complete Elgot monads. It has been shown recently that extending complete Elgot monads with free effects (e.g. operations of sending/receiving messages over channels) canonically leads to generalized coalgebraic resumption monads, previously used as"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.02148","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":""},"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-18T01:19:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TTWFadmSiE65AeCXpeN+nsY9zcBpYh4NLZF3MO8YT9W4KupGbRXrz7hnBdQWwzFfrGxcyq0TeqfdfMOHpm9zDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T03:53:15.199267Z"},"content_sha256":"95854e68351606468d741f02f06431177f7cbbeb94b4141b49eb2255ffaf5715","schema_version":"1.0","event_id":"sha256:95854e68351606468d741f02f06431177f7cbbeb94b4141b49eb2255ffaf5715"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SXNYBXPVW2OMR5COZXJPVRXU3S/bundle.json","state_url":"https://pith.science/pith/SXNYBXPVW2OMR5COZXJPVRXU3S/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SXNYBXPVW2OMR5COZXJPVRXU3S/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-09T03:53:15Z","links":{"resolver":"https://pith.science/pith/SXNYBXPVW2OMR5COZXJPVRXU3S","bundle":"https://pith.science/pith/SXNYBXPVW2OMR5COZXJPVRXU3S/bundle.json","state":"https://pith.science/pith/SXNYBXPVW2OMR5COZXJPVRXU3S/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SXNYBXPVW2OMR5COZXJPVRXU3S/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:SXNYBXPVW2OMR5COZXJPVRXU3S","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":"d28871954ebce3cbe130ed5e83c124150f3b05c6f8ec15ee6e292597c07b77cb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-07T16:48:18Z","title_canon_sha256":"179d374f5b643ff8b61286845d67a872536f7980c9e9c6f7eb3a8d18ebc12b48"},"schema_version":"1.0","source":{"id":"1603.02148","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.02148","created_at":"2026-05-18T01:19:31Z"},{"alias_kind":"arxiv_version","alias_value":"1603.02148v1","created_at":"2026-05-18T01:19:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.02148","created_at":"2026-05-18T01:19:31Z"},{"alias_kind":"pith_short_12","alias_value":"SXNYBXPVW2OM","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_16","alias_value":"SXNYBXPVW2OMR5CO","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_8","alias_value":"SXNYBXPV","created_at":"2026-05-18T12:30:44Z"}],"graph_snapshots":[{"event_id":"sha256:95854e68351606468d741f02f06431177f7cbbeb94b4141b49eb2255ffaf5715","target":"graph","created_at":"2026-05-18T01:19:31Z","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"},"paper":{"abstract_excerpt":"Monads are extensively used nowadays to abstractly model a wide range of computational effects such as nondeterminism, statefulness, and exceptions. It turns out that equipping a monad with a (uniform) iteration operator satisfying a set of natural axioms allows for modelling iterative computations just as abstractly. The emerging monads are called complete Elgot monads. It has been shown recently that extending complete Elgot monads with free effects (e.g. operations of sending/receiving messages over channels) canonically leads to generalized coalgebraic resumption monads, previously used as","authors_text":"Christoph Rauch, Sergey Goncharov, Stefan Milius","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-07T16:48:18Z","title":"Complete Elgot Monads and Coalgebraic Resumptions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.02148","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:3edfdb7f3eded1c46497ea9931665449ea9a5ef89f5e7d16f1c3a7e8da7bcf85","target":"record","created_at":"2026-05-18T01:19:31Z","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":"d28871954ebce3cbe130ed5e83c124150f3b05c6f8ec15ee6e292597c07b77cb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-07T16:48:18Z","title_canon_sha256":"179d374f5b643ff8b61286845d67a872536f7980c9e9c6f7eb3a8d18ebc12b48"},"schema_version":"1.0","source":{"id":"1603.02148","kind":"arxiv","version":1}},"canonical_sha256":"95db80ddf5b69cc8f44ecdd2fac6f4dc9cf2f83f2441529beaeae522ec140555","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"95db80ddf5b69cc8f44ecdd2fac6f4dc9cf2f83f2441529beaeae522ec140555","first_computed_at":"2026-05-18T01:19:31.530544Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:19:31.530544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ueZ918rNl2ON+4lWzUHFZgl1XaEgyJgnZKLyxAnD8W46PeURVOrmdpLEM7FZwCnvY/vq97Gz9De0ujfwyx80CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:19:31.531161Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.02148","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3edfdb7f3eded1c46497ea9931665449ea9a5ef89f5e7d16f1c3a7e8da7bcf85","sha256:95854e68351606468d741f02f06431177f7cbbeb94b4141b49eb2255ffaf5715"],"state_sha256":"20a7be25a4a1318105f1920fc4e8a095b3e41abb74ae341cbbfe06a8e5f56653"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yVJEMgsibw2y5ZEOdElseSUnQXX9dnHgzQ2ovvHfzsjXWhFpL8fGHHL2umkbPXPfIhK0tRZjrv4EvJYDgd/WAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T03:53:15.203139Z","bundle_sha256":"cbb41380e7cabcdd391f8a49a6610f691474c601a1823f4db9c66852f699e37f"}}