{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:JRDHN77OPBXJZRIE2IHH7OW475","short_pith_number":"pith:JRDHN77O","canonical_record":{"source":{"id":"1601.02484","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-01-11T15:47:08Z","cross_cats_sorted":[],"title_canon_sha256":"ff63c47c03b71a332b754dbc94cd5ee32e2bc28077941db3f8c9651d84be322d","abstract_canon_sha256":"b874a64cd71d1cca7d337a56f3d856f1ff25f1145ed220f46642d864412c8287"},"schema_version":"1.0"},"canonical_sha256":"4c4676ffee786e9cc504d20e7fbadcff4da417e611c19ed0be730e23c65b0b30","source":{"kind":"arxiv","id":"1601.02484","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.02484","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"arxiv_version","alias_value":"1601.02484v1","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.02484","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"pith_short_12","alias_value":"JRDHN77OPBXJ","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JRDHN77OPBXJZRIE","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JRDHN77O","created_at":"2026-05-18T12:30:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:JRDHN77OPBXJZRIE2IHH7OW475","target":"record","payload":{"canonical_record":{"source":{"id":"1601.02484","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-01-11T15:47:08Z","cross_cats_sorted":[],"title_canon_sha256":"ff63c47c03b71a332b754dbc94cd5ee32e2bc28077941db3f8c9651d84be322d","abstract_canon_sha256":"b874a64cd71d1cca7d337a56f3d856f1ff25f1145ed220f46642d864412c8287"},"schema_version":"1.0"},"canonical_sha256":"4c4676ffee786e9cc504d20e7fbadcff4da417e611c19ed0be730e23c65b0b30","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:44.388691Z","signature_b64":"ZXSB846QWPOU4ZpsBEa+33wEY9qPnAJrgh7IyGTTP76/7GKXo8tbOR5q6L19IbGGGt/l6f2AVznrNG6gacWiBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4c4676ffee786e9cc504d20e7fbadcff4da417e611c19ed0be730e23c65b0b30","last_reissued_at":"2026-05-18T00:35:44.388270Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:44.388270Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1601.02484","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-18T00:35:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ELJxFZzL/scKCQ0JrL5RAEWkBvWe0ge7t+JMxcvBU6LOmyGb+g7+oIZvHm2pL4dpPwR7QzAGWnBbyvvsnvpGDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T12:45:33.515870Z"},"content_sha256":"4b3a00ecec5d154034e20b6adc348362f2cb1b6995883975c370640eaf98ece5","schema_version":"1.0","event_id":"sha256:4b3a00ecec5d154034e20b6adc348362f2cb1b6995883975c370640eaf98ece5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:JRDHN77OPBXJZRIE2IHH7OW475","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reflections on Monadic Lenses","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Faris Abou-Saleh, James Cheney, James McKinna, Jeremy Gibbons, Perdita Stevens","submitted_at":"2016-01-11T15:47:08Z","abstract_excerpt":"Bidirectional transformations (bx) have primarily been modeled as pure functions, and do not account for the possibility of the side-effects that are available in most programming languages. Recently several formulations of bx that use monads to account for effects have been proposed, both among practitioners and in academic research. The combination of bx with effects turns out to be surprisingly subtle, leading to problems with some of these proposals and increasing the complexity of others. This paper reviews the proposals for monadic lenses to date, and offers some improved definitions, pa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.02484","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-18T00:35:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lwIHdMRSvmPRW5vD45U81R3fgUY5FumdzdhsrhtFkyLa/L5RaPEfMAlTgK3BtR4mcwo7oPizXuTAcrf5vhqlDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T12:45:33.516217Z"},"content_sha256":"1f2c0d0303ebd5308f121a3045dc2ff2a537ded7511f25c9e58542e9d98953d7","schema_version":"1.0","event_id":"sha256:1f2c0d0303ebd5308f121a3045dc2ff2a537ded7511f25c9e58542e9d98953d7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JRDHN77OPBXJZRIE2IHH7OW475/bundle.json","state_url":"https://pith.science/pith/JRDHN77OPBXJZRIE2IHH7OW475/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JRDHN77OPBXJZRIE2IHH7OW475/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-02T12:45:33Z","links":{"resolver":"https://pith.science/pith/JRDHN77OPBXJZRIE2IHH7OW475","bundle":"https://pith.science/pith/JRDHN77OPBXJZRIE2IHH7OW475/bundle.json","state":"https://pith.science/pith/JRDHN77OPBXJZRIE2IHH7OW475/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JRDHN77OPBXJZRIE2IHH7OW475/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:JRDHN77OPBXJZRIE2IHH7OW475","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":"b874a64cd71d1cca7d337a56f3d856f1ff25f1145ed220f46642d864412c8287","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-01-11T15:47:08Z","title_canon_sha256":"ff63c47c03b71a332b754dbc94cd5ee32e2bc28077941db3f8c9651d84be322d"},"schema_version":"1.0","source":{"id":"1601.02484","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.02484","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"arxiv_version","alias_value":"1601.02484v1","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.02484","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"pith_short_12","alias_value":"JRDHN77OPBXJ","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JRDHN77OPBXJZRIE","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JRDHN77O","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:1f2c0d0303ebd5308f121a3045dc2ff2a537ded7511f25c9e58542e9d98953d7","target":"graph","created_at":"2026-05-18T00:35:44Z","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":"Bidirectional transformations (bx) have primarily been modeled as pure functions, and do not account for the possibility of the side-effects that are available in most programming languages. Recently several formulations of bx that use monads to account for effects have been proposed, both among practitioners and in academic research. The combination of bx with effects turns out to be surprisingly subtle, leading to problems with some of these proposals and increasing the complexity of others. This paper reviews the proposals for monadic lenses to date, and offers some improved definitions, pa","authors_text":"Faris Abou-Saleh, James Cheney, James McKinna, Jeremy Gibbons, Perdita Stevens","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-01-11T15:47:08Z","title":"Reflections on Monadic Lenses"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.02484","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:4b3a00ecec5d154034e20b6adc348362f2cb1b6995883975c370640eaf98ece5","target":"record","created_at":"2026-05-18T00:35:44Z","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":"b874a64cd71d1cca7d337a56f3d856f1ff25f1145ed220f46642d864412c8287","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-01-11T15:47:08Z","title_canon_sha256":"ff63c47c03b71a332b754dbc94cd5ee32e2bc28077941db3f8c9651d84be322d"},"schema_version":"1.0","source":{"id":"1601.02484","kind":"arxiv","version":1}},"canonical_sha256":"4c4676ffee786e9cc504d20e7fbadcff4da417e611c19ed0be730e23c65b0b30","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4c4676ffee786e9cc504d20e7fbadcff4da417e611c19ed0be730e23c65b0b30","first_computed_at":"2026-05-18T00:35:44.388270Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:35:44.388270Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZXSB846QWPOU4ZpsBEa+33wEY9qPnAJrgh7IyGTTP76/7GKXo8tbOR5q6L19IbGGGt/l6f2AVznrNG6gacWiBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:35:44.388691Z","signed_message":"canonical_sha256_bytes"},"source_id":"1601.02484","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4b3a00ecec5d154034e20b6adc348362f2cb1b6995883975c370640eaf98ece5","sha256:1f2c0d0303ebd5308f121a3045dc2ff2a537ded7511f25c9e58542e9d98953d7"],"state_sha256":"62af248513b7249c94e38afec001a86593d4cea690be1a77851429ace0e92471"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GM6XTUaMEolgIJ5UNLHE/MpJ+PexoN2B3wNzO4i93JeOEcHpsdXWn4zlQQeKKYkz8evBd+2PF9rLuZFTHgoMAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T12:45:33.518186Z","bundle_sha256":"e26647852cd46e861d8c46b3f4c4e82f13fbf0435444853a3ce9e258d185884c"}}