{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:Q655G7HNWPSAWQ75EKMH66SG2J","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":"20edc77212f8f0aabb99f24bdfda934dd05f381ed788cd1cbb50790ad1355326","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-03-21T16:21:27Z","title_canon_sha256":"ed27ddb6e4cd80443b9243cc1d18d09d9ffd7d3dbe53987b4f4251ce8d8c71f6"},"schema_version":"1.0","source":{"id":"2503.17274","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.17274","created_at":"2026-07-05T12:02:44Z"},{"alias_kind":"arxiv_version","alias_value":"2503.17274v3","created_at":"2026-07-05T12:02:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.17274","created_at":"2026-07-05T12:02:44Z"},{"alias_kind":"pith_short_12","alias_value":"Q655G7HNWPSA","created_at":"2026-07-05T12:02:44Z"},{"alias_kind":"pith_short_16","alias_value":"Q655G7HNWPSAWQ75","created_at":"2026-07-05T12:02:44Z"},{"alias_kind":"pith_short_8","alias_value":"Q655G7HN","created_at":"2026-07-05T12:02:44Z"}],"graph_snapshots":[{"event_id":"sha256:6fed1859faf36c2cacd0b258f80f85f9476bb54af5c46359e54adf4063c1632b","target":"graph","created_at":"2026-07-05T12:02: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2503.17274/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging wires, or compact closed structures for feedback. A key example is the compact closed SMC of design problems (DP), which enables a compositional approach to co-design in engineering. However, in practice, the systems of interest may not be fully known. Recently, Markov categories have emerged as a powerful framework for modeling uncertain processes. In this ","authors_text":"Gioele Zardini, Marius Furter, Yujun Huang","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-03-21T16:21:27Z","title":"Composable Uncertainty in Symmetric Monoidal Categories for Design Problems (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.17274","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:d9e8dc4d8600d58d58ce265f0c1f07a9d0a45caf99c1d906501a558b5f1c4527","target":"record","created_at":"2026-07-05T12:02: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":"20edc77212f8f0aabb99f24bdfda934dd05f381ed788cd1cbb50790ad1355326","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-03-21T16:21:27Z","title_canon_sha256":"ed27ddb6e4cd80443b9243cc1d18d09d9ffd7d3dbe53987b4f4251ce8d8c71f6"},"schema_version":"1.0","source":{"id":"2503.17274","kind":"arxiv","version":3}},"canonical_sha256":"87bbd37cedb3e40b43fd22987f7a46d269902d46f00c6e67c2ca8eb771de23b2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"87bbd37cedb3e40b43fd22987f7a46d269902d46f00c6e67c2ca8eb771de23b2","first_computed_at":"2026-07-05T12:02:44.015516Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:02:44.015516Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XD95Ij3r1RqW/1Is8bCC/vKrooSfwu0Y+6mAkO4K3IP0q8N6udlfs5uYqymlnoynDnSHqzz2Ab6Q5w5fzwZJBA==","signature_status":"signed_v1","signed_at":"2026-07-05T12:02:44.016060Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.17274","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d9e8dc4d8600d58d58ce265f0c1f07a9d0a45caf99c1d906501a558b5f1c4527","sha256:6fed1859faf36c2cacd0b258f80f85f9476bb54af5c46359e54adf4063c1632b"],"state_sha256":"1d39743c9985e19d4b1db8025486852114c8f3f769fde280bda7f7189cad126b"}