{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:DEGTR2NJDRJNYXQ5ADFOJVWWSA","short_pith_number":"pith:DEGTR2NJ","canonical_record":{"source":{"id":"1101.2777","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-14T11:54:31Z","cross_cats_sorted":[],"title_canon_sha256":"e08c95d481a9123f2eac37b50b52983f9f19e1b9dc0018316ce1f0a70a6d8752","abstract_canon_sha256":"cf54eaa20abebb99356afa58077773f9bf9a423966005450ed6e2300e6769db0"},"schema_version":"1.0"},"canonical_sha256":"190d38e9a91c52dc5e1d00cae4d6d6903c4de6c98512e5705590b8052487d958","source":{"kind":"arxiv","id":"1101.2777","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.2777","created_at":"2026-05-18T02:22:57Z"},{"alias_kind":"arxiv_version","alias_value":"1101.2777v2","created_at":"2026-05-18T02:22:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.2777","created_at":"2026-05-18T02:22:57Z"},{"alias_kind":"pith_short_12","alias_value":"DEGTR2NJDRJN","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"DEGTR2NJDRJNYXQ5","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"DEGTR2NJ","created_at":"2026-05-18T12:26:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:DEGTR2NJDRJNYXQ5ADFOJVWWSA","target":"record","payload":{"canonical_record":{"source":{"id":"1101.2777","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-14T11:54:31Z","cross_cats_sorted":[],"title_canon_sha256":"e08c95d481a9123f2eac37b50b52983f9f19e1b9dc0018316ce1f0a70a6d8752","abstract_canon_sha256":"cf54eaa20abebb99356afa58077773f9bf9a423966005450ed6e2300e6769db0"},"schema_version":"1.0"},"canonical_sha256":"190d38e9a91c52dc5e1d00cae4d6d6903c4de6c98512e5705590b8052487d958","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:22:57.494958Z","signature_b64":"FyaiohGIvbA+ktH9Q5m1/bSPCae1fAIxWyIrzRWs7bkVDuYQczO79HRFqOIs40RK+8+qBvryoWw2kkt4tcEQCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"190d38e9a91c52dc5e1d00cae4d6d6903c4de6c98512e5705590b8052487d958","last_reissued_at":"2026-05-18T02:22:57.494439Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:22:57.494439Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1101.2777","source_version":2,"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-18T02:22:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kFDi1ZL1UsRPwb2jeaGBZbhe23AsHBSwouu3OVwO5RUFvf97QeUPTOLBUXbDXG2QfIPEkiQjGVVZ683KbcyQBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T14:51:19.813681Z"},"content_sha256":"46be5e0bd318f20f05c3f7ec42de3f2bbfc504598e7c747cbf5a28514b4801b8","schema_version":"1.0","event_id":"sha256:46be5e0bd318f20f05c3f7ec42de3f2bbfc504598e7c747cbf5a28514b4801b8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:DEGTR2NJDRJNYXQ5ADFOJVWWSA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Powermonads and Tensors of Unranked Effects","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Lutz Schr\\\"oder, Sergey Goncharov","submitted_at":"2011-01-14T11:54:31Z","abstract_excerpt":"In semantics and in programming practice, algebraic concepts such as monads or, essentially equivalently, (large) Lawvere theories are a well-established tool for modelling generic side-effects. An important issue in this context are combination mechanisms for such algebraic effects, which allow for the modular design of programming languages and verification logics. The most basic combination operators are sum and tensor: while the sum of effects is just their non-interacting union, the tensor imposes commutation of effects. However, for effects with unbounded arity, such as continuations or "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.2777","kind":"arxiv","version":2},"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-18T02:22:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g0n5/Xwj9k1oP/dtJ64bM6YgYS40e+gGXPUXDu1ckysOsiR9v4EDPJ7y6VNU9pe+gGlir+mcMwwgYgfbL3nJCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T14:51:19.814022Z"},"content_sha256":"5c71220221d92f4425cd7474f88575f895e8259287eb29a785b70c280c4bbbe1","schema_version":"1.0","event_id":"sha256:5c71220221d92f4425cd7474f88575f895e8259287eb29a785b70c280c4bbbe1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DEGTR2NJDRJNYXQ5ADFOJVWWSA/bundle.json","state_url":"https://pith.science/pith/DEGTR2NJDRJNYXQ5ADFOJVWWSA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DEGTR2NJDRJNYXQ5ADFOJVWWSA/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-26T14:51:19Z","links":{"resolver":"https://pith.science/pith/DEGTR2NJDRJNYXQ5ADFOJVWWSA","bundle":"https://pith.science/pith/DEGTR2NJDRJNYXQ5ADFOJVWWSA/bundle.json","state":"https://pith.science/pith/DEGTR2NJDRJNYXQ5ADFOJVWWSA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DEGTR2NJDRJNYXQ5ADFOJVWWSA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:DEGTR2NJDRJNYXQ5ADFOJVWWSA","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":"cf54eaa20abebb99356afa58077773f9bf9a423966005450ed6e2300e6769db0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-14T11:54:31Z","title_canon_sha256":"e08c95d481a9123f2eac37b50b52983f9f19e1b9dc0018316ce1f0a70a6d8752"},"schema_version":"1.0","source":{"id":"1101.2777","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.2777","created_at":"2026-05-18T02:22:57Z"},{"alias_kind":"arxiv_version","alias_value":"1101.2777v2","created_at":"2026-05-18T02:22:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.2777","created_at":"2026-05-18T02:22:57Z"},{"alias_kind":"pith_short_12","alias_value":"DEGTR2NJDRJN","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"DEGTR2NJDRJNYXQ5","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"DEGTR2NJ","created_at":"2026-05-18T12:26:26Z"}],"graph_snapshots":[{"event_id":"sha256:5c71220221d92f4425cd7474f88575f895e8259287eb29a785b70c280c4bbbe1","target":"graph","created_at":"2026-05-18T02:22:57Z","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":"In semantics and in programming practice, algebraic concepts such as monads or, essentially equivalently, (large) Lawvere theories are a well-established tool for modelling generic side-effects. An important issue in this context are combination mechanisms for such algebraic effects, which allow for the modular design of programming languages and verification logics. The most basic combination operators are sum and tensor: while the sum of effects is just their non-interacting union, the tensor imposes commutation of effects. However, for effects with unbounded arity, such as continuations or ","authors_text":"Lutz Schr\\\"oder, Sergey Goncharov","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-14T11:54:31Z","title":"Powermonads and Tensors of Unranked Effects"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.2777","kind":"arxiv","version":2},"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:46be5e0bd318f20f05c3f7ec42de3f2bbfc504598e7c747cbf5a28514b4801b8","target":"record","created_at":"2026-05-18T02:22:57Z","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":"cf54eaa20abebb99356afa58077773f9bf9a423966005450ed6e2300e6769db0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-14T11:54:31Z","title_canon_sha256":"e08c95d481a9123f2eac37b50b52983f9f19e1b9dc0018316ce1f0a70a6d8752"},"schema_version":"1.0","source":{"id":"1101.2777","kind":"arxiv","version":2}},"canonical_sha256":"190d38e9a91c52dc5e1d00cae4d6d6903c4de6c98512e5705590b8052487d958","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"190d38e9a91c52dc5e1d00cae4d6d6903c4de6c98512e5705590b8052487d958","first_computed_at":"2026-05-18T02:22:57.494439Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:22:57.494439Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FyaiohGIvbA+ktH9Q5m1/bSPCae1fAIxWyIrzRWs7bkVDuYQczO79HRFqOIs40RK+8+qBvryoWw2kkt4tcEQCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:22:57.494958Z","signed_message":"canonical_sha256_bytes"},"source_id":"1101.2777","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:46be5e0bd318f20f05c3f7ec42de3f2bbfc504598e7c747cbf5a28514b4801b8","sha256:5c71220221d92f4425cd7474f88575f895e8259287eb29a785b70c280c4bbbe1"],"state_sha256":"02b6ef579beb69d0281ffd2f5be8251f00ef0d825084fffb1361aec9c3d6ab07"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n1yu+Y9kGq+CmfPa5n2seSwqnIN3X2vcXo+I2fdVH2OVQ1iFYmT1j9liu+VCoFXBflRDnbo/UM1guXjK1PJ1DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T14:51:19.815953Z","bundle_sha256":"7ce274845f35a142636b258c127f498f803c95614517f813f24ed4a52f3b1987"}}