{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:5BVSGZ4GOINUDF4EIXESNL4YB5","short_pith_number":"pith:5BVSGZ4G","canonical_record":{"source":{"id":"2112.11145","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2021-12-21T12:25:32Z","cross_cats_sorted":[],"title_canon_sha256":"a7c2cc82fac8ea79679f4b3e237c2111a03082cbbbe978cfac997d0a13069bc3","abstract_canon_sha256":"faec0b67312821598f9b63c721fa26a716b85819ab7ede4bf004bc7eeffb880b"},"schema_version":"1.0"},"canonical_sha256":"e86b236786721b41978445c926af980f63c8fbfb265ddf589e0daad686aafcbd","source":{"kind":"arxiv","id":"2112.11145","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2112.11145","created_at":"2026-07-05T03:42:29Z"},{"alias_kind":"arxiv_version","alias_value":"2112.11145v1","created_at":"2026-07-05T03:42:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2112.11145","created_at":"2026-07-05T03:42:29Z"},{"alias_kind":"pith_short_12","alias_value":"5BVSGZ4GOINU","created_at":"2026-07-05T03:42:29Z"},{"alias_kind":"pith_short_16","alias_value":"5BVSGZ4GOINUDF4E","created_at":"2026-07-05T03:42:29Z"},{"alias_kind":"pith_short_8","alias_value":"5BVSGZ4G","created_at":"2026-07-05T03:42:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:5BVSGZ4GOINUDF4EIXESNL4YB5","target":"record","payload":{"canonical_record":{"source":{"id":"2112.11145","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2021-12-21T12:25:32Z","cross_cats_sorted":[],"title_canon_sha256":"a7c2cc82fac8ea79679f4b3e237c2111a03082cbbbe978cfac997d0a13069bc3","abstract_canon_sha256":"faec0b67312821598f9b63c721fa26a716b85819ab7ede4bf004bc7eeffb880b"},"schema_version":"1.0"},"canonical_sha256":"e86b236786721b41978445c926af980f63c8fbfb265ddf589e0daad686aafcbd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:42:29.552367Z","signature_b64":"j1J9S3zVWdXONb2bDvPxNfOBhYFDSmCh8TevmGsepFHZO6AF4SbH4iv9aBhHeGhQYS+wIwJoPgocvnVIzOeyAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e86b236786721b41978445c926af980f63c8fbfb265ddf589e0daad686aafcbd","last_reissued_at":"2026-07-05T03:42:29.551984Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:42:29.551984Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2112.11145","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:42:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w1/a4SO23SKsqMe8mRK3TvS+60Sz/SxkQzP5bD0okcwJrFSBJgXN0vNeAwbd/RtbsAv6cxbnIjOr+w0rKiMjBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T23:38:07.442031Z"},"content_sha256":"72e1e9fe25ab9ae43e358ed147882db2f70018bf540d4938a5db674ad5415dab","schema_version":"1.0","event_id":"sha256:72e1e9fe25ab9ae43e358ed147882db2f70018bf540d4938a5db674ad5415dab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:5BVSGZ4GOINUDF4EIXESNL4YB5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fibre optics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Bruno Gavranovi\\'c, Dylan Braithwaite, Eigil Fjeldgren Rischel, Jules Hedges, Matteo Capucci","submitted_at":"2021-12-21T12:25:32Z","abstract_excerpt":"Lenses, optics and dependent lenses (or equivalently morphisms of containers, or equivalently natural transformations of polynomial functors) are all widely used in applied category theory as models of bidirectional processes. From the definition of lenses over a finite product category, optics weaken the required structure to actions of monoidal categories, and dependent lenses make use of the additional property of finite completeness (or, in case of polynomials, even local cartesian closure). This has caused a split in the applied category theory literature between those using optics and th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2112.11145","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/2112.11145/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:42:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UR5jOglGspA98vYxRH46WswL3QdgS6v/SWYFOU4En/tJ7HrNVjFM1DvYgYBgnalh5pGRZOlHtJNrp7Hw1yOpCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T23:38:07.443046Z"},"content_sha256":"db3fd1264f8b3e8eefd6430e917ddaeb88b4cd9251e79114a83e50617994e76e","schema_version":"1.0","event_id":"sha256:db3fd1264f8b3e8eefd6430e917ddaeb88b4cd9251e79114a83e50617994e76e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5BVSGZ4GOINUDF4EIXESNL4YB5/bundle.json","state_url":"https://pith.science/pith/5BVSGZ4GOINUDF4EIXESNL4YB5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5BVSGZ4GOINUDF4EIXESNL4YB5/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-17T23:38:07Z","links":{"resolver":"https://pith.science/pith/5BVSGZ4GOINUDF4EIXESNL4YB5","bundle":"https://pith.science/pith/5BVSGZ4GOINUDF4EIXESNL4YB5/bundle.json","state":"https://pith.science/pith/5BVSGZ4GOINUDF4EIXESNL4YB5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5BVSGZ4GOINUDF4EIXESNL4YB5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:5BVSGZ4GOINUDF4EIXESNL4YB5","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":"faec0b67312821598f9b63c721fa26a716b85819ab7ede4bf004bc7eeffb880b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2021-12-21T12:25:32Z","title_canon_sha256":"a7c2cc82fac8ea79679f4b3e237c2111a03082cbbbe978cfac997d0a13069bc3"},"schema_version":"1.0","source":{"id":"2112.11145","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2112.11145","created_at":"2026-07-05T03:42:29Z"},{"alias_kind":"arxiv_version","alias_value":"2112.11145v1","created_at":"2026-07-05T03:42:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2112.11145","created_at":"2026-07-05T03:42:29Z"},{"alias_kind":"pith_short_12","alias_value":"5BVSGZ4GOINU","created_at":"2026-07-05T03:42:29Z"},{"alias_kind":"pith_short_16","alias_value":"5BVSGZ4GOINUDF4E","created_at":"2026-07-05T03:42:29Z"},{"alias_kind":"pith_short_8","alias_value":"5BVSGZ4G","created_at":"2026-07-05T03:42:29Z"}],"graph_snapshots":[{"event_id":"sha256:db3fd1264f8b3e8eefd6430e917ddaeb88b4cd9251e79114a83e50617994e76e","target":"graph","created_at":"2026-07-05T03:42:29Z","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/2112.11145/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Lenses, optics and dependent lenses (or equivalently morphisms of containers, or equivalently natural transformations of polynomial functors) are all widely used in applied category theory as models of bidirectional processes. From the definition of lenses over a finite product category, optics weaken the required structure to actions of monoidal categories, and dependent lenses make use of the additional property of finite completeness (or, in case of polynomials, even local cartesian closure). This has caused a split in the applied category theory literature between those using optics and th","authors_text":"Bruno Gavranovi\\'c, Dylan Braithwaite, Eigil Fjeldgren Rischel, Jules Hedges, Matteo Capucci","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2021-12-21T12:25:32Z","title":"Fibre optics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2112.11145","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:72e1e9fe25ab9ae43e358ed147882db2f70018bf540d4938a5db674ad5415dab","target":"record","created_at":"2026-07-05T03:42:29Z","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":"faec0b67312821598f9b63c721fa26a716b85819ab7ede4bf004bc7eeffb880b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2021-12-21T12:25:32Z","title_canon_sha256":"a7c2cc82fac8ea79679f4b3e237c2111a03082cbbbe978cfac997d0a13069bc3"},"schema_version":"1.0","source":{"id":"2112.11145","kind":"arxiv","version":1}},"canonical_sha256":"e86b236786721b41978445c926af980f63c8fbfb265ddf589e0daad686aafcbd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e86b236786721b41978445c926af980f63c8fbfb265ddf589e0daad686aafcbd","first_computed_at":"2026-07-05T03:42:29.551984Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:42:29.551984Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"j1J9S3zVWdXONb2bDvPxNfOBhYFDSmCh8TevmGsepFHZO6AF4SbH4iv9aBhHeGhQYS+wIwJoPgocvnVIzOeyAA==","signature_status":"signed_v1","signed_at":"2026-07-05T03:42:29.552367Z","signed_message":"canonical_sha256_bytes"},"source_id":"2112.11145","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:72e1e9fe25ab9ae43e358ed147882db2f70018bf540d4938a5db674ad5415dab","sha256:db3fd1264f8b3e8eefd6430e917ddaeb88b4cd9251e79114a83e50617994e76e"],"state_sha256":"2c5e89abeb03f941016360701124e3375020550c50b9d0923f4836c0e97c737f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LmAsUJy95TdPm0+oWjEGAJwOW6ZG6KI4fdSZREnDwn7XPhU8FWlg46SanjK3VcJEPhtEYNjoCzxiFJ3NxyhlCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T23:38:07.450132Z","bundle_sha256":"5d1dffc7389eca36cd02f2486b170cc9baa90552fe3883103626d37aafc5a673"}}