{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:6CNMXT6U2ERVXSGFS752WNQ4M5","short_pith_number":"pith:6CNMXT6U","canonical_record":{"source":{"id":"2202.13633","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-02-28T09:23:14Z","cross_cats_sorted":[],"title_canon_sha256":"f9512117bb0edc33b254f0d6bccb1f52c8fc9c9b900d6ae68da74e7bddc03a8c","abstract_canon_sha256":"4b0b970e0c79e4b836201ec4487e419822b957b2d042c9dc22d2b6180a67b632"},"schema_version":"1.0"},"canonical_sha256":"f09acbcfd4d1235bc8c597fbab361c67635ea9fae85311b6362acab5e8cfe9ba","source":{"kind":"arxiv","id":"2202.13633","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2202.13633","created_at":"2026-07-05T04:34:51Z"},{"alias_kind":"arxiv_version","alias_value":"2202.13633v3","created_at":"2026-07-05T04:34:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2202.13633","created_at":"2026-07-05T04:34:51Z"},{"alias_kind":"pith_short_12","alias_value":"6CNMXT6U2ERV","created_at":"2026-07-05T04:34:51Z"},{"alias_kind":"pith_short_16","alias_value":"6CNMXT6U2ERVXSGF","created_at":"2026-07-05T04:34:51Z"},{"alias_kind":"pith_short_8","alias_value":"6CNMXT6U","created_at":"2026-07-05T04:34:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:6CNMXT6U2ERVXSGFS752WNQ4M5","target":"record","payload":{"canonical_record":{"source":{"id":"2202.13633","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-02-28T09:23:14Z","cross_cats_sorted":[],"title_canon_sha256":"f9512117bb0edc33b254f0d6bccb1f52c8fc9c9b900d6ae68da74e7bddc03a8c","abstract_canon_sha256":"4b0b970e0c79e4b836201ec4487e419822b957b2d042c9dc22d2b6180a67b632"},"schema_version":"1.0"},"canonical_sha256":"f09acbcfd4d1235bc8c597fbab361c67635ea9fae85311b6362acab5e8cfe9ba","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:34:51.007540Z","signature_b64":"TV5CWfnX14NcU4LZ/NiXI5NoaHM4wVDYOHgiWS2qBeZoVRr6UGvRHjGPBNkEKkhLjmoOmDu4AnPqWBOp6IUtCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f09acbcfd4d1235bc8c597fbab361c67635ea9fae85311b6362acab5e8cfe9ba","last_reissued_at":"2026-07-05T04:34:51.007055Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:34:51.007055Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2202.13633","source_version":3,"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-05T04:34:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WhG/Hs5hqrq2vDHefeCc2FAoKpth7wGmtMbuIN81Wn451WyQOFeiW0h8UgHSuzIaQC6w18oyxsRFFcIZoOOjDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T13:22:20.731718Z"},"content_sha256":"0db357cac87e57d429349effe74f5545d2d804d30a44a07b9f605dc916e24785","schema_version":"1.0","event_id":"sha256:0db357cac87e57d429349effe74f5545d2d804d30a44a07b9f605dc916e24785"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:6CNMXT6U2ERVXSGFS752WNQ4M5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Nicolas Wu, Zhixuan Yang","submitted_at":"2022-02-28T09:23:14Z","abstract_excerpt":"Structured recursion schemes have been widely used in constructing, optimising, and reasoning about programs over inductive and coinductive datatypes. Their plain forms, catamorphisms and anamorphisms, are restricted in expressiveness. Thus many generalisations have been proposed, which further lead to several unifying frameworks of structured recursion schemes. However, the existing work on unifying frameworks typically focuses on the categorical foundation, and thus is perhaps inaccessible to practitioners who are willing to apply recursion schemes in practice but are not versed in category "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2202.13633","kind":"arxiv","version":3},"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/2202.13633/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-05T04:34:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h9s4R0IMM6wi+cD5Kt3bTM3eTrrTWThY7NPgHvD5lQQMINDMUE/2S7qn9uY8+lmcPphGNi3vP1KMt7WUd/NJDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T13:22:20.732664Z"},"content_sha256":"3bcb1e3dab291f17064e3c4833969e56b9979beba03e5fa52081d4e8a05ddabf","schema_version":"1.0","event_id":"sha256:3bcb1e3dab291f17064e3c4833969e56b9979beba03e5fa52081d4e8a05ddabf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6CNMXT6U2ERVXSGFS752WNQ4M5/bundle.json","state_url":"https://pith.science/pith/6CNMXT6U2ERVXSGFS752WNQ4M5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6CNMXT6U2ERVXSGFS752WNQ4M5/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:22:20Z","links":{"resolver":"https://pith.science/pith/6CNMXT6U2ERVXSGFS752WNQ4M5","bundle":"https://pith.science/pith/6CNMXT6U2ERVXSGFS752WNQ4M5/bundle.json","state":"https://pith.science/pith/6CNMXT6U2ERVXSGFS752WNQ4M5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6CNMXT6U2ERVXSGFS752WNQ4M5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:6CNMXT6U2ERVXSGFS752WNQ4M5","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":"4b0b970e0c79e4b836201ec4487e419822b957b2d042c9dc22d2b6180a67b632","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-02-28T09:23:14Z","title_canon_sha256":"f9512117bb0edc33b254f0d6bccb1f52c8fc9c9b900d6ae68da74e7bddc03a8c"},"schema_version":"1.0","source":{"id":"2202.13633","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2202.13633","created_at":"2026-07-05T04:34:51Z"},{"alias_kind":"arxiv_version","alias_value":"2202.13633v3","created_at":"2026-07-05T04:34:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2202.13633","created_at":"2026-07-05T04:34:51Z"},{"alias_kind":"pith_short_12","alias_value":"6CNMXT6U2ERV","created_at":"2026-07-05T04:34:51Z"},{"alias_kind":"pith_short_16","alias_value":"6CNMXT6U2ERVXSGF","created_at":"2026-07-05T04:34:51Z"},{"alias_kind":"pith_short_8","alias_value":"6CNMXT6U","created_at":"2026-07-05T04:34:51Z"}],"graph_snapshots":[{"event_id":"sha256:3bcb1e3dab291f17064e3c4833969e56b9979beba03e5fa52081d4e8a05ddabf","target":"graph","created_at":"2026-07-05T04:34:51Z","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/2202.13633/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Structured recursion schemes have been widely used in constructing, optimising, and reasoning about programs over inductive and coinductive datatypes. Their plain forms, catamorphisms and anamorphisms, are restricted in expressiveness. Thus many generalisations have been proposed, which further lead to several unifying frameworks of structured recursion schemes. However, the existing work on unifying frameworks typically focuses on the categorical foundation, and thus is perhaps inaccessible to practitioners who are willing to apply recursion schemes in practice but are not versed in category ","authors_text":"Nicolas Wu, Zhixuan Yang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-02-28T09:23:14Z","title":"Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2202.13633","kind":"arxiv","version":3},"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:0db357cac87e57d429349effe74f5545d2d804d30a44a07b9f605dc916e24785","target":"record","created_at":"2026-07-05T04:34:51Z","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":"4b0b970e0c79e4b836201ec4487e419822b957b2d042c9dc22d2b6180a67b632","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-02-28T09:23:14Z","title_canon_sha256":"f9512117bb0edc33b254f0d6bccb1f52c8fc9c9b900d6ae68da74e7bddc03a8c"},"schema_version":"1.0","source":{"id":"2202.13633","kind":"arxiv","version":3}},"canonical_sha256":"f09acbcfd4d1235bc8c597fbab361c67635ea9fae85311b6362acab5e8cfe9ba","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f09acbcfd4d1235bc8c597fbab361c67635ea9fae85311b6362acab5e8cfe9ba","first_computed_at":"2026-07-05T04:34:51.007055Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:34:51.007055Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TV5CWfnX14NcU4LZ/NiXI5NoaHM4wVDYOHgiWS2qBeZoVRr6UGvRHjGPBNkEKkhLjmoOmDu4AnPqWBOp6IUtCA==","signature_status":"signed_v1","signed_at":"2026-07-05T04:34:51.007540Z","signed_message":"canonical_sha256_bytes"},"source_id":"2202.13633","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0db357cac87e57d429349effe74f5545d2d804d30a44a07b9f605dc916e24785","sha256:3bcb1e3dab291f17064e3c4833969e56b9979beba03e5fa52081d4e8a05ddabf"],"state_sha256":"40b8848a12829130452ff72dcc6ad7e9c517e51563cc7f20e1e9628ff265d49a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"605ZT7yugqRWvXpD1SuOOdsJWHW7mhAXx93iT2z04syGEDAyPA58K1Q7zkEtnTa9Upfnb7Ldn/ZLwpHLSb0eAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T13:22:20.737173Z","bundle_sha256":"ed5d7bbd1ff38f9e4b7be5d55310251dba936c490b01f8ffaf546f256b08b581"}}