{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:VPIQOA65RI5DH43PIEX4DC2BIC","short_pith_number":"pith:VPIQOA65","canonical_record":{"source":{"id":"2201.10287","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-01-25T12:58:23Z","cross_cats_sorted":[],"title_canon_sha256":"155bafafc035cd1a19221efed644ad63336ef6019b7615d479510c088850ff7e","abstract_canon_sha256":"5910474e9cdef63766b717cbfc59e4395ef785aa1085b7f9611ae02472a5ce50"},"schema_version":"1.0"},"canonical_sha256":"abd10703dd8a3a33f36f412fc18b41408a8cf292e91be5088d08a88f40c243e6","source":{"kind":"arxiv","id":"2201.10287","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.10287","created_at":"2026-07-05T03:51:17Z"},{"alias_kind":"arxiv_version","alias_value":"2201.10287v1","created_at":"2026-07-05T03:51:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.10287","created_at":"2026-07-05T03:51:17Z"},{"alias_kind":"pith_short_12","alias_value":"VPIQOA65RI5D","created_at":"2026-07-05T03:51:17Z"},{"alias_kind":"pith_short_16","alias_value":"VPIQOA65RI5DH43P","created_at":"2026-07-05T03:51:17Z"},{"alias_kind":"pith_short_8","alias_value":"VPIQOA65","created_at":"2026-07-05T03:51:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:VPIQOA65RI5DH43PIEX4DC2BIC","target":"record","payload":{"canonical_record":{"source":{"id":"2201.10287","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-01-25T12:58:23Z","cross_cats_sorted":[],"title_canon_sha256":"155bafafc035cd1a19221efed644ad63336ef6019b7615d479510c088850ff7e","abstract_canon_sha256":"5910474e9cdef63766b717cbfc59e4395ef785aa1085b7f9611ae02472a5ce50"},"schema_version":"1.0"},"canonical_sha256":"abd10703dd8a3a33f36f412fc18b41408a8cf292e91be5088d08a88f40c243e6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:51:17.585182Z","signature_b64":"l0EIB10NwClvhdYA2y+fdntNXtHeYFURzT72b/ig3EB5LZooLM1D8YPWksvAKmDrnzqvT1VEFwQcqUIbRlEkCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"abd10703dd8a3a33f36f412fc18b41408a8cf292e91be5088d08a88f40c243e6","last_reissued_at":"2026-07-05T03:51:17.584702Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:51:17.584702Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2201.10287","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-07-05T03:51:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZFeKrpFFOBpXqRGfF/c5qY9ZpLM1M8trb5Q5S1L5nqYOBZIbRE+XQa0fO3YmWkJFzjHKnSXOsqIBpSbnuKWOAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T13:13:48.484180Z"},"content_sha256":"acc5d1209eb14d1c1492ec616602cd18682805ffeeade369214f77790a3dc0ba","schema_version":"1.0","event_id":"sha256:acc5d1209eb14d1c1492ec616602cd18682805ffeeade369214f77790a3dc0ba"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:VPIQOA65RI5DH43PIEX4DC2BIC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Structured Handling of Scoped Effects: Extended Version","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Birthe van den Berg, Marco Paviotti, Nicolas Wu, Tom Schrijvers, Zhixuan Yang","submitted_at":"2022-01-25T12:58:23Z","abstract_excerpt":"Algebraic effects offer a versatile framework that covers a wide variety of effects. However, the family of operations that delimit scopes are not algebraic and are usually modelled as handlers, thus preventing them from being used freely in conjunction with algebraic operations. Although proposals for scoped operations exist, they are either ad-hoc and unprincipled, or too inconvenient for practical programming. This paper provides the best of both worlds: a theoretically-founded model of scoped effects that is convenient for implementation and reasoning. Our new model is based on an adjuncti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.10287","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/2201.10287/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-07-05T03:51:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xyAYlxcsvkFEPYCkb7WaI08I4r4M8ioQ8ThybBKBvazduudOFp/mt/cGx5rXd4Vt51p1RYFNo8bpfyu1V4lvDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T13:13:48.484556Z"},"content_sha256":"1e71511631c24bcb31a1eb63ed00bf38d38ace32ce29d69e86cde88f70497807","schema_version":"1.0","event_id":"sha256:1e71511631c24bcb31a1eb63ed00bf38d38ace32ce29d69e86cde88f70497807"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VPIQOA65RI5DH43PIEX4DC2BIC/bundle.json","state_url":"https://pith.science/pith/VPIQOA65RI5DH43PIEX4DC2BIC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VPIQOA65RI5DH43PIEX4DC2BIC/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-08-22T13:13:48Z","links":{"resolver":"https://pith.science/pith/VPIQOA65RI5DH43PIEX4DC2BIC","bundle":"https://pith.science/pith/VPIQOA65RI5DH43PIEX4DC2BIC/bundle.json","state":"https://pith.science/pith/VPIQOA65RI5DH43PIEX4DC2BIC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VPIQOA65RI5DH43PIEX4DC2BIC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:VPIQOA65RI5DH43PIEX4DC2BIC","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":"5910474e9cdef63766b717cbfc59e4395ef785aa1085b7f9611ae02472a5ce50","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-01-25T12:58:23Z","title_canon_sha256":"155bafafc035cd1a19221efed644ad63336ef6019b7615d479510c088850ff7e"},"schema_version":"1.0","source":{"id":"2201.10287","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.10287","created_at":"2026-07-05T03:51:17Z"},{"alias_kind":"arxiv_version","alias_value":"2201.10287v1","created_at":"2026-07-05T03:51:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.10287","created_at":"2026-07-05T03:51:17Z"},{"alias_kind":"pith_short_12","alias_value":"VPIQOA65RI5D","created_at":"2026-07-05T03:51:17Z"},{"alias_kind":"pith_short_16","alias_value":"VPIQOA65RI5DH43P","created_at":"2026-07-05T03:51:17Z"},{"alias_kind":"pith_short_8","alias_value":"VPIQOA65","created_at":"2026-07-05T03:51:17Z"}],"graph_snapshots":[{"event_id":"sha256:1e71511631c24bcb31a1eb63ed00bf38d38ace32ce29d69e86cde88f70497807","target":"graph","created_at":"2026-07-05T03:51:17Z","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/2201.10287/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Algebraic effects offer a versatile framework that covers a wide variety of effects. However, the family of operations that delimit scopes are not algebraic and are usually modelled as handlers, thus preventing them from being used freely in conjunction with algebraic operations. Although proposals for scoped operations exist, they are either ad-hoc and unprincipled, or too inconvenient for practical programming. This paper provides the best of both worlds: a theoretically-founded model of scoped effects that is convenient for implementation and reasoning. Our new model is based on an adjuncti","authors_text":"Birthe van den Berg, Marco Paviotti, Nicolas Wu, Tom Schrijvers, Zhixuan Yang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-01-25T12:58:23Z","title":"Structured Handling of Scoped Effects: Extended Version"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.10287","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:acc5d1209eb14d1c1492ec616602cd18682805ffeeade369214f77790a3dc0ba","target":"record","created_at":"2026-07-05T03:51:17Z","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":"5910474e9cdef63766b717cbfc59e4395ef785aa1085b7f9611ae02472a5ce50","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-01-25T12:58:23Z","title_canon_sha256":"155bafafc035cd1a19221efed644ad63336ef6019b7615d479510c088850ff7e"},"schema_version":"1.0","source":{"id":"2201.10287","kind":"arxiv","version":1}},"canonical_sha256":"abd10703dd8a3a33f36f412fc18b41408a8cf292e91be5088d08a88f40c243e6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"abd10703dd8a3a33f36f412fc18b41408a8cf292e91be5088d08a88f40c243e6","first_computed_at":"2026-07-05T03:51:17.584702Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:51:17.584702Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"l0EIB10NwClvhdYA2y+fdntNXtHeYFURzT72b/ig3EB5LZooLM1D8YPWksvAKmDrnzqvT1VEFwQcqUIbRlEkCA==","signature_status":"signed_v1","signed_at":"2026-07-05T03:51:17.585182Z","signed_message":"canonical_sha256_bytes"},"source_id":"2201.10287","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:acc5d1209eb14d1c1492ec616602cd18682805ffeeade369214f77790a3dc0ba","sha256:1e71511631c24bcb31a1eb63ed00bf38d38ace32ce29d69e86cde88f70497807"],"state_sha256":"b0602e2dbe09159a5ee48dd48477878cfb4a82772f15f4aa4ae95ffc19fab459"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3jtcRb/55iX1wEHhnsIWpTIf/C+56yEiuDUC8Dx5v6otTPEwr5DGtlWP8nnTAjmBStD2PQ98xSW7PvueXR2TAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T13:13:48.487222Z","bundle_sha256":"3da9fc4ce89ab7693a41365fc92868b8fea07f8dd7ca933c61e82f0051c1f0e6"}}