{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:W3F362HZIVDX63ZZZJ7OUJEEB4","short_pith_number":"pith:W3F362HZ","canonical_record":{"source":{"id":"2605.12740","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-05-12T20:45:00Z","cross_cats_sorted":["cs.ET"],"title_canon_sha256":"2140f6eef5793a1ef8d4ccbd0af6ae5670aef1842ce37d4cbb77da1c6bdbefe2","abstract_canon_sha256":"dd7257531f178cd6e3a40cae1b2e5c9dbe049661b272fd08bee0e9b8e69ea565"},"schema_version":"1.0"},"canonical_sha256":"b6cbbf68f945477f6f39ca7eea24840f397dbadb8ec796ee4fd22b9064633e32","source":{"kind":"arxiv","id":"2605.12740","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.12740","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"arxiv_version","alias_value":"2605.12740v1","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12740","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"pith_short_12","alias_value":"W3F362HZIVDX","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"W3F362HZIVDX63ZZ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"W3F362HZ","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:W3F362HZIVDX63ZZZJ7OUJEEB4","target":"record","payload":{"canonical_record":{"source":{"id":"2605.12740","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-05-12T20:45:00Z","cross_cats_sorted":["cs.ET"],"title_canon_sha256":"2140f6eef5793a1ef8d4ccbd0af6ae5670aef1842ce37d4cbb77da1c6bdbefe2","abstract_canon_sha256":"dd7257531f178cd6e3a40cae1b2e5c9dbe049661b272fd08bee0e9b8e69ea565"},"schema_version":"1.0"},"canonical_sha256":"b6cbbf68f945477f6f39ca7eea24840f397dbadb8ec796ee4fd22b9064633e32","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:09:49.103040Z","signature_b64":"aWdMg+BEYOaeR/g2YzcxASfULfkl/drtJED+z3aUDIX8hCpI/nDNUiUg1/9DddZDoS+mnk0yap7cUyi6hMHqAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b6cbbf68f945477f6f39ca7eea24840f397dbadb8ec796ee4fd22b9064633e32","last_reissued_at":"2026-05-18T03:09:49.102228Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:09:49.102228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.12740","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-18T03:09:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OS9gIAV3BKE+HszoKScnT06C3HP1puYyWiCNQy41P+sBLqKgtyGuzX+QoGuudV74QY0tOkANt40qZMfdXd8sAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T15:48:25.079443Z"},"content_sha256":"30269365cbc3e7b9a78899d7f57477132f61b384a8b79db37123f5ecdbd1b199","schema_version":"1.0","event_id":"sha256:30269365cbc3e7b9a78899d7f57477132f61b384a8b79db37123f5ecdbd1b199"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:W3F362HZIVDX63ZZZJ7OUJEEB4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Rigid Category of DNA Secondary Structures","license":"http://creativecommons.org/licenses/by/4.0/","headline":"DNA sequences form objects and non-pseudoknotted secondary structures form morphisms in a strict pivotal monoidal category.","cross_cats":["cs.ET"],"primary_cat":"math.CT","authors_text":"Andr\\'es Ortiz-Mu\\~noz","submitted_at":"2026-05-12T20:45:00Z","abstract_excerpt":"We construct a strict pivotal monoidal category $\\mathcal{D}_{\\mathrm{DNA}}$ whose objects are DNA sequences (words over $\\{A,C,G,T\\}$) and whose morphisms are isotopy classes of typed noncrossing planar matchings, composed of through-strands and Watson-Crick-typed arcs, in a rectangle with source and target boundaries. The dual of a sequence is its reverse complement, evaluation and coevaluation are canonical duplex pairings, and the snake identities hold by planar isotopy. A bending correspondence identifies each morphism $x \\to y$ with a secondary structure on the combined word $x{}^{\\vee} "},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We construct a strict pivotal monoidal category D_DNA whose objects are DNA sequences (words over {A,C,G,T}) and whose morphisms are isotopy classes of typed noncrossing planar matchings... the generalized elements ε → w are exactly the non-pseudoknotted secondary structures on w.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That every morphism x → y corresponds exactly to a secondary structure on the combined word x^∨ y via the bending correspondence, and that composition reduces to a zip-and-transfer operation without introducing pseudoknots or crossings.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"A rigid monoidal category is constructed with DNA sequences as objects and non-pseudoknotted secondary structures as morphisms via planar matchings.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"DNA sequences form objects and non-pseudoknotted secondary structures form morphisms in a strict pivotal monoidal category.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"c8e498c27315fab250a42fa951ad89dc38146f7a745b2e4383cde5acbf31fe57"},"source":{"id":"2605.12740","kind":"arxiv","version":1},"verdict":{"id":"b986f907-1aae-4ad2-84ec-f389f7eb35cd","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T20:41:17.200553Z","strongest_claim":"We construct a strict pivotal monoidal category D_DNA whose objects are DNA sequences (words over {A,C,G,T}) and whose morphisms are isotopy classes of typed noncrossing planar matchings... the generalized elements ε → w are exactly the non-pseudoknotted secondary structures on w.","one_line_summary":"A rigid monoidal category is constructed with DNA sequences as objects and non-pseudoknotted secondary structures as morphisms via planar matchings.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That every morphism x → y corresponds exactly to a secondary structure on the combined word x^∨ y via the bending correspondence, and that composition reduces to a zip-and-transfer operation without introducing pseudoknots or crossings.","pith_extraction_headline":"DNA sequences form objects and non-pseudoknotted secondary structures form morphisms in a strict pivotal monoidal category."},"references":{"count":21,"sample":[{"doi":"","year":2010,"title":"Mathematical foundations for a compositional distributional model of meaning","work_id":"fb62d8c5-e6b1-49dd-9c02-97e57b74e187","ref_index":1,"cited_arxiv_id":"1003.4394","is_internal_anchor":true},{"doi":"","year":1992,"title":"W. Fontana. Algorithmic chemistry: A model for functional self-organization. In C. G. Langton, C. Taylor, J. D. Farmer, and S. Rasmussen, editors,Artificial Life II. Addison-Wesley, 1992","work_id":"f67d1ea5-0172-44ab-b0db-18baa849a1f8","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1016/s0092-8240(05)80205-8","year":1994,"title":"W. Fontana and L. W. Buss. The arrival of the fittest: Toward a theory of biological organization.Bulletin of Mathematical Biology, 56:1–64, 1994.doi:10.1016/S0092-8240(05)80205-8","work_id":"96b9c67e-2151-4a82-af4d-e4624376afee","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1996,"title":"W. Fontana and L. W. Buss. The barrier of objects: From dynamical systems to bounded organizations. In J. Casti and A. Karlqvist, editors,Boundaries and Barriers, pages 56–116. Addison-Wesley, 1996","work_id":"7a3e3131-c13e-4538-9d44-0d01bf74fa09","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1103/physreve.47.2083","year":2083,"title":"W. Fontana, P. F. Stadler, E. G. Bornberg-Bauer, T. Griesmacher, I. L. Hofacker, M. Tacker, P. Tarazona, E. D. Weinberger, and P. Schuster. RNA folding and combinatory landscapes.Physical Review E, 47","work_id":"02240035-e54d-4ae1-85f3-c580a72ba2c7","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":21,"snapshot_sha256":"3435078af02269e33d13c94297cd9801cc894b03ce9895803a739b9e07492535","internal_anchors":1},"formal_canon":{"evidence_count":2,"snapshot_sha256":"b9f5bd0c04fb5cc7bf03f3809c18e731cec1d8ef50cb6b69c630d70bde63c52b"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"b986f907-1aae-4ad2-84ec-f389f7eb35cd"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:09:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HxVVMcSDySEMy7cVSJR704oP73iR1jQPABHZp9vgjgpZJnVVsma1vPBCvoXr4BVPk4QvDPU5Tky50UnsDW8VDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T15:48:25.080676Z"},"content_sha256":"240108f8aed50c983a40322e7dfd17dc1852011841b1d40ff7382f6aa353f45f","schema_version":"1.0","event_id":"sha256:240108f8aed50c983a40322e7dfd17dc1852011841b1d40ff7382f6aa353f45f"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:W3F362HZIVDX63ZZZJ7OUJEEB4","target":"integrity","payload":{"note":"Identifier '10.1038/35017555' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","snippet":"B. Yurke, A. J. Turberfield, A. P. Mills, Jr., F. C. Simmel, and J. L. Neumann. A DNA-fuelled molecular machine made of DNA.Nature, 406:605–608, 2000.doi:10.1038/35017555","arxiv_id":"2605.12740","detector":"doi_compliance","evidence":{"doi":"10.1038/35017555","arxiv_id":null,"ref_index":19,"raw_excerpt":"B. Yurke, A. J. Turberfield, A. P. Mills, Jr., F. C. Simmel, and J. L. Neumann. A DNA-fuelled molecular machine made of DNA.Nature, 406:605–608, 2000.doi:10.1038/35017555","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"]},"severity":"critical","ref_index":19,"audited_at":"2026-05-19T07:10:16.195116Z","event_type":"pith.integrity.v1","detected_doi":"10.1038/35017555","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"3c7bc225f04396ac09793cbb74b698a439b6cca2a06911e08cdccca0b98a446c","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":269,"payload_sha256":"72dd36cf5f24d7be40de8434a7534c4b03e67bddc839d3162dfe02dbe4b5dd21","signature_b64":"sFitEofJHIvSN0P2Viif0+T/w5ydIgwwftD65THT5wEvO+Lf6nLuWuLsKsfjyX7MUm5FLcKFC7Tqr+K5UR8BAQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T07:11:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hxQe+K5/azCW3WmHbVIRT+4vOkLqxeTrLA5L7oVlRj3y5F665ah237H/j3OzYM+TDWoB3b3PhT7kkZwN1gDxAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T15:48:25.082389Z"},"content_sha256":"b95d4a0991575a37917d5a8a5ef84a42e62db72ad3fa8d1be8570ab1e3d1886b","schema_version":"1.0","event_id":"sha256:b95d4a0991575a37917d5a8a5ef84a42e62db72ad3fa8d1be8570ab1e3d1886b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W3F362HZIVDX63ZZZJ7OUJEEB4/bundle.json","state_url":"https://pith.science/pith/W3F362HZIVDX63ZZZJ7OUJEEB4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W3F362HZIVDX63ZZZJ7OUJEEB4/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-05-22T15:48:25Z","links":{"resolver":"https://pith.science/pith/W3F362HZIVDX63ZZZJ7OUJEEB4","bundle":"https://pith.science/pith/W3F362HZIVDX63ZZZJ7OUJEEB4/bundle.json","state":"https://pith.science/pith/W3F362HZIVDX63ZZZJ7OUJEEB4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W3F362HZIVDX63ZZZJ7OUJEEB4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:W3F362HZIVDX63ZZZJ7OUJEEB4","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"dd7257531f178cd6e3a40cae1b2e5c9dbe049661b272fd08bee0e9b8e69ea565","cross_cats_sorted":["cs.ET"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-05-12T20:45:00Z","title_canon_sha256":"2140f6eef5793a1ef8d4ccbd0af6ae5670aef1842ce37d4cbb77da1c6bdbefe2"},"schema_version":"1.0","source":{"id":"2605.12740","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.12740","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"arxiv_version","alias_value":"2605.12740v1","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12740","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"pith_short_12","alias_value":"W3F362HZIVDX","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"W3F362HZIVDX63ZZ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"W3F362HZ","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:240108f8aed50c983a40322e7dfd17dc1852011841b1d40ff7382f6aa353f45f","target":"graph","created_at":"2026-05-18T03:09:49Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We construct a strict pivotal monoidal category D_DNA whose objects are DNA sequences (words over {A,C,G,T}) and whose morphisms are isotopy classes of typed noncrossing planar matchings... the generalized elements ε → w are exactly the non-pseudoknotted secondary structures on w."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That every morphism x → y corresponds exactly to a secondary structure on the combined word x^∨ y via the bending correspondence, and that composition reduces to a zip-and-transfer operation without introducing pseudoknots or crossings."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A rigid monoidal category is constructed with DNA sequences as objects and non-pseudoknotted secondary structures as morphisms via planar matchings."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"DNA sequences form objects and non-pseudoknotted secondary structures form morphisms in a strict pivotal monoidal category."}],"snapshot_sha256":"c8e498c27315fab250a42fa951ad89dc38146f7a745b2e4383cde5acbf31fe57"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"b9f5bd0c04fb5cc7bf03f3809c18e731cec1d8ef50cb6b69c630d70bde63c52b"},"paper":{"abstract_excerpt":"We construct a strict pivotal monoidal category $\\mathcal{D}_{\\mathrm{DNA}}$ whose objects are DNA sequences (words over $\\{A,C,G,T\\}$) and whose morphisms are isotopy classes of typed noncrossing planar matchings, composed of through-strands and Watson-Crick-typed arcs, in a rectangle with source and target boundaries. The dual of a sequence is its reverse complement, evaluation and coevaluation are canonical duplex pairings, and the snake identities hold by planar isotopy. A bending correspondence identifies each morphism $x \\to y$ with a secondary structure on the combined word $x{}^{\\vee} ","authors_text":"Andr\\'es Ortiz-Mu\\~noz","cross_cats":["cs.ET"],"headline":"DNA sequences form objects and non-pseudoknotted secondary structures form morphisms in a strict pivotal monoidal category.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-05-12T20:45:00Z","title":"A Rigid Category of DNA Secondary Structures"},"references":{"count":21,"internal_anchors":1,"resolved_work":21,"sample":[{"cited_arxiv_id":"1003.4394","doi":"","is_internal_anchor":true,"ref_index":1,"title":"Mathematical foundations for a compositional distributional model of meaning","work_id":"fb62d8c5-e6b1-49dd-9c02-97e57b74e187","year":2010},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"W. Fontana. Algorithmic chemistry: A model for functional self-organization. In C. G. Langton, C. Taylor, J. D. Farmer, and S. Rasmussen, editors,Artificial Life II. Addison-Wesley, 1992","work_id":"f67d1ea5-0172-44ab-b0db-18baa849a1f8","year":1992},{"cited_arxiv_id":"","doi":"10.1016/s0092-8240(05)80205-8","is_internal_anchor":false,"ref_index":3,"title":"W. Fontana and L. W. Buss. The arrival of the fittest: Toward a theory of biological organization.Bulletin of Mathematical Biology, 56:1–64, 1994.doi:10.1016/S0092-8240(05)80205-8","work_id":"96b9c67e-2151-4a82-af4d-e4624376afee","year":1994},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"W. Fontana and L. W. Buss. The barrier of objects: From dynamical systems to bounded organizations. In J. Casti and A. Karlqvist, editors,Boundaries and Barriers, pages 56–116. Addison-Wesley, 1996","work_id":"7a3e3131-c13e-4538-9d44-0d01bf74fa09","year":1996},{"cited_arxiv_id":"","doi":"10.1103/physreve.47.2083","is_internal_anchor":false,"ref_index":5,"title":"W. Fontana, P. F. Stadler, E. G. Bornberg-Bauer, T. Griesmacher, I. L. Hofacker, M. Tacker, P. Tarazona, E. D. Weinberger, and P. Schuster. RNA folding and combinatory landscapes.Physical Review E, 47","work_id":"02240035-e54d-4ae1-85f3-c580a72ba2c7","year":2083}],"snapshot_sha256":"3435078af02269e33d13c94297cd9801cc894b03ce9895803a739b9e07492535"},"source":{"id":"2605.12740","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T20:41:17.200553Z","id":"b986f907-1aae-4ad2-84ec-f389f7eb35cd","model_set":{"reader":"grok-4.3"},"one_line_summary":"A rigid monoidal category is constructed with DNA sequences as objects and non-pseudoknotted secondary structures as morphisms via planar matchings.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"DNA sequences form objects and non-pseudoknotted secondary structures form morphisms in a strict pivotal monoidal category.","strongest_claim":"We construct a strict pivotal monoidal category D_DNA whose objects are DNA sequences (words over {A,C,G,T}) and whose morphisms are isotopy classes of typed noncrossing planar matchings... the generalized elements ε → w are exactly the non-pseudoknotted secondary structures on w.","weakest_assumption":"That every morphism x → y corresponds exactly to a secondary structure on the combined word x^∨ y via the bending correspondence, and that composition reduces to a zip-and-transfer operation without introducing pseudoknots or crossings."}},"verdict_id":"b986f907-1aae-4ad2-84ec-f389f7eb35cd"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:30269365cbc3e7b9a78899d7f57477132f61b384a8b79db37123f5ecdbd1b199","target":"record","created_at":"2026-05-18T03:09:49Z","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":"dd7257531f178cd6e3a40cae1b2e5c9dbe049661b272fd08bee0e9b8e69ea565","cross_cats_sorted":["cs.ET"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-05-12T20:45:00Z","title_canon_sha256":"2140f6eef5793a1ef8d4ccbd0af6ae5670aef1842ce37d4cbb77da1c6bdbefe2"},"schema_version":"1.0","source":{"id":"2605.12740","kind":"arxiv","version":1}},"canonical_sha256":"b6cbbf68f945477f6f39ca7eea24840f397dbadb8ec796ee4fd22b9064633e32","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6cbbf68f945477f6f39ca7eea24840f397dbadb8ec796ee4fd22b9064633e32","first_computed_at":"2026-05-18T03:09:49.102228Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:09:49.102228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aWdMg+BEYOaeR/g2YzcxASfULfkl/drtJED+z3aUDIX8hCpI/nDNUiUg1/9DddZDoS+mnk0yap7cUyi6hMHqAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:09:49.103040Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.12740","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:30269365cbc3e7b9a78899d7f57477132f61b384a8b79db37123f5ecdbd1b199","sha256:240108f8aed50c983a40322e7dfd17dc1852011841b1d40ff7382f6aa353f45f","sha256:b95d4a0991575a37917d5a8a5ef84a42e62db72ad3fa8d1be8570ab1e3d1886b"],"state_sha256":"e731af376911abd40efacc98ef647c1906001d2c5efeb9e93002f25524b9db83"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QQjQbHqr03PCYdUmMwwKRIy4nfTSWoBIXXkfYKGWitFrGlqJmneBfsRtKTbhwOPK0Vavlz+k3meyxDk8vLtRCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T15:48:25.085925Z","bundle_sha256":"3a3abf00c29607f2f79112a6d37a0d2733e3707238a64ede6cb7a582ae6c1a56"}}