{"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"}