{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:RUJAQIQIGETFQRPWOFZFGSKHFI","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":"9334f38d6de4a1bfb1d53b1bfd81553f55ee4caaafffdb08af27f9428e4ced5f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-05-23T19:35:57Z","title_canon_sha256":"5f4b8043c6f81f7961808fb7e6f739b0ef516110a05a62b0501c2d602fbb4e22"},"schema_version":"1.0","source":{"id":"2505.18329","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.18329","created_at":"2026-07-05T11:11:46Z"},{"alias_kind":"arxiv_version","alias_value":"2505.18329v2","created_at":"2026-07-05T11:11:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.18329","created_at":"2026-07-05T11:11:46Z"},{"alias_kind":"pith_short_12","alias_value":"RUJAQIQIGETF","created_at":"2026-07-05T11:11:46Z"},{"alias_kind":"pith_short_16","alias_value":"RUJAQIQIGETFQRPW","created_at":"2026-07-05T11:11:46Z"},{"alias_kind":"pith_short_8","alias_value":"RUJAQIQI","created_at":"2026-07-05T11:11:46Z"}],"graph_snapshots":[{"event_id":"sha256:6ed67aa7d8b835cae422316188992c547c5b60368d8e93b2cb3301c7a1b65346","target":"graph","created_at":"2026-07-05T11:11:46Z","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/2505.18329/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right module of systems over a symmetric monoidal double category of interfaces and interactions. As examples, we give detailed descriptions of (1) the module of open Petri nets over undirected wiring diagrams and (2) the module of deterministic Moore machines over lenses. We define several pseudo-functorial constructions of modules of systems in the form of doctrines of systems theories. In particular, we introduce doctri","authors_text":"David Jaz Myers, Sophie Libkind","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-05-23T19:35:57Z","title":"Towards a double operadic theory of systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.18329","kind":"arxiv","version":2},"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:00f4d0d0849e004feef464a412b2c9e83862c837c61d2288c497a58c4896be15","target":"record","created_at":"2026-07-05T11:11:46Z","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":"9334f38d6de4a1bfb1d53b1bfd81553f55ee4caaafffdb08af27f9428e4ced5f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-05-23T19:35:57Z","title_canon_sha256":"5f4b8043c6f81f7961808fb7e6f739b0ef516110a05a62b0501c2d602fbb4e22"},"schema_version":"1.0","source":{"id":"2505.18329","kind":"arxiv","version":2}},"canonical_sha256":"8d1208220831265845f671725349472a239aef84737727d2c89ff9348ea77bd5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8d1208220831265845f671725349472a239aef84737727d2c89ff9348ea77bd5","first_computed_at":"2026-07-05T11:11:46.171643Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:11:46.171643Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kj63kYZaMe7Cf0W2d2JhgiUzu7h8iVhcE+4xxqaD4W0P4GHalAlFEQFeeZZzNeDDi3M1thWPqsEmM6etKyNIBg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:11:46.172119Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.18329","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:00f4d0d0849e004feef464a412b2c9e83862c837c61d2288c497a58c4896be15","sha256:6ed67aa7d8b835cae422316188992c547c5b60368d8e93b2cb3301c7a1b65346"],"state_sha256":"c4fc1845895d48a654932a6dd75511c2da2b70a45edbaa91a2b0932ac8d1f9ea"}