{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:B2XJVPF3SKO3KSONSFS4C5BIH5","short_pith_number":"pith:B2XJVPF3","canonical_record":{"source":{"id":"2602.19776","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-02-23T12:31:15Z","cross_cats_sorted":[],"title_canon_sha256":"fc4e4b47cf9727592ca575e064a658197574cbb8e499020296797f4a93f1118f","abstract_canon_sha256":"714580e2beda38a87595edae5b5a7dc42f475ad4cdfd81389898b8aa440af74a"},"schema_version":"1.0"},"canonical_sha256":"0eae9abcbb929db549cd9165c174283f6db6a6c57e335559bc62b7e11bb6de3d","source":{"kind":"arxiv","id":"2602.19776","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.19776","created_at":"2026-07-29T01:25:35Z"},{"alias_kind":"arxiv_version","alias_value":"2602.19776v2","created_at":"2026-07-29T01:25:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.19776","created_at":"2026-07-29T01:25:35Z"},{"alias_kind":"pith_short_12","alias_value":"B2XJVPF3SKO3","created_at":"2026-07-29T01:25:35Z"},{"alias_kind":"pith_short_16","alias_value":"B2XJVPF3SKO3KSON","created_at":"2026-07-29T01:25:35Z"},{"alias_kind":"pith_short_8","alias_value":"B2XJVPF3","created_at":"2026-07-29T01:25:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:B2XJVPF3SKO3KSONSFS4C5BIH5","target":"record","payload":{"canonical_record":{"source":{"id":"2602.19776","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-02-23T12:31:15Z","cross_cats_sorted":[],"title_canon_sha256":"fc4e4b47cf9727592ca575e064a658197574cbb8e499020296797f4a93f1118f","abstract_canon_sha256":"714580e2beda38a87595edae5b5a7dc42f475ad4cdfd81389898b8aa440af74a"},"schema_version":"1.0"},"canonical_sha256":"0eae9abcbb929db549cd9165c174283f6db6a6c57e335559bc62b7e11bb6de3d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-29T01:25:35.315978Z","signature_b64":"WWF3od0C51CVhNFJgbxP+xgkpjPGUEe1w+SZ7x8Z4WMD1iz7nibCS8DYKZ4Cc4vnZUcl5kKcXBZ1/ckd7vozDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0eae9abcbb929db549cd9165c174283f6db6a6c57e335559bc62b7e11bb6de3d","last_reissued_at":"2026-07-29T01:25:35.315022Z","signature_status":"signed_v1","first_computed_at":"2026-07-29T01:25:35.315022Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2602.19776","source_version":2,"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-29T01:25:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"khONNGTC6vRImE7QZFrbQueqihjqQ+80F06r7YbPAMlIsHac8iOl0EOnyCzE8PeJQlNhVnsanWjaaNMmpyxHAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T20:51:42.580037Z"},"content_sha256":"43ab86c7146b0af3e9738ed500adacf3fede69665f683bb3d8fa0af011c5fb07","schema_version":"1.0","event_id":"sha256:43ab86c7146b0af3e9738ed500adacf3fede69665f683bb3d8fa0af011c5fb07"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:B2XJVPF3SKO3KSONSFS4C5BIH5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Layered Monoidal Theories I: Diagrammatic Algebra and Applications","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Fabio Zanasi, Leo Lobski","submitted_at":"2026-02-23T12:31:15Z","abstract_excerpt":"We develop layered monoidal theories -- a generalisation of monoidal theories combining formal descriptions of a system at different levels of abstraction. Via their representation as string diagrams, monoidal theories provide a graphical formalism to reason algebraically about information flow in models across different fields of science. Layered monoidal theories allow mixing several monoidal theories (together with translations between them) within the same string diagram, while retaining mathematical precision and semantic interpretability. We develop the mathematical foundations of layere"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.19776","kind":"arxiv","version":2},"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/2602.19776/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-29T01:25:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"53YYdyv76TWdEySMNduzbqnunTg7qzyVzMeDqk7EpKHmfLFOqUTVa1L9ML9Wu4lfOAyrsoAPHan/IwzUWJBtCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T20:51:42.580557Z"},"content_sha256":"4e8148d3d55cf8b7fdaf313edf39e8ee01c2955f592500597241f1340938d4a5","schema_version":"1.0","event_id":"sha256:4e8148d3d55cf8b7fdaf313edf39e8ee01c2955f592500597241f1340938d4a5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B2XJVPF3SKO3KSONSFS4C5BIH5/bundle.json","state_url":"https://pith.science/pith/B2XJVPF3SKO3KSONSFS4C5BIH5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B2XJVPF3SKO3KSONSFS4C5BIH5/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-05T20:51:42Z","links":{"resolver":"https://pith.science/pith/B2XJVPF3SKO3KSONSFS4C5BIH5","bundle":"https://pith.science/pith/B2XJVPF3SKO3KSONSFS4C5BIH5/bundle.json","state":"https://pith.science/pith/B2XJVPF3SKO3KSONSFS4C5BIH5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B2XJVPF3SKO3KSONSFS4C5BIH5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:B2XJVPF3SKO3KSONSFS4C5BIH5","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":"714580e2beda38a87595edae5b5a7dc42f475ad4cdfd81389898b8aa440af74a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-02-23T12:31:15Z","title_canon_sha256":"fc4e4b47cf9727592ca575e064a658197574cbb8e499020296797f4a93f1118f"},"schema_version":"1.0","source":{"id":"2602.19776","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.19776","created_at":"2026-07-29T01:25:35Z"},{"alias_kind":"arxiv_version","alias_value":"2602.19776v2","created_at":"2026-07-29T01:25:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.19776","created_at":"2026-07-29T01:25:35Z"},{"alias_kind":"pith_short_12","alias_value":"B2XJVPF3SKO3","created_at":"2026-07-29T01:25:35Z"},{"alias_kind":"pith_short_16","alias_value":"B2XJVPF3SKO3KSON","created_at":"2026-07-29T01:25:35Z"},{"alias_kind":"pith_short_8","alias_value":"B2XJVPF3","created_at":"2026-07-29T01:25:35Z"}],"graph_snapshots":[{"event_id":"sha256:4e8148d3d55cf8b7fdaf313edf39e8ee01c2955f592500597241f1340938d4a5","target":"graph","created_at":"2026-07-29T01:25:35Z","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/2602.19776/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We develop layered monoidal theories -- a generalisation of monoidal theories combining formal descriptions of a system at different levels of abstraction. Via their representation as string diagrams, monoidal theories provide a graphical formalism to reason algebraically about information flow in models across different fields of science. Layered monoidal theories allow mixing several monoidal theories (together with translations between them) within the same string diagram, while retaining mathematical precision and semantic interpretability. We develop the mathematical foundations of layere","authors_text":"Fabio Zanasi, Leo Lobski","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-02-23T12:31:15Z","title":"Layered Monoidal Theories I: Diagrammatic Algebra and Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.19776","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:43ab86c7146b0af3e9738ed500adacf3fede69665f683bb3d8fa0af011c5fb07","target":"record","created_at":"2026-07-29T01:25:35Z","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":"714580e2beda38a87595edae5b5a7dc42f475ad4cdfd81389898b8aa440af74a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-02-23T12:31:15Z","title_canon_sha256":"fc4e4b47cf9727592ca575e064a658197574cbb8e499020296797f4a93f1118f"},"schema_version":"1.0","source":{"id":"2602.19776","kind":"arxiv","version":2}},"canonical_sha256":"0eae9abcbb929db549cd9165c174283f6db6a6c57e335559bc62b7e11bb6de3d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0eae9abcbb929db549cd9165c174283f6db6a6c57e335559bc62b7e11bb6de3d","first_computed_at":"2026-07-29T01:25:35.315022Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-29T01:25:35.315022Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WWF3od0C51CVhNFJgbxP+xgkpjPGUEe1w+SZ7x8Z4WMD1iz7nibCS8DYKZ4Cc4vnZUcl5kKcXBZ1/ckd7vozDw==","signature_status":"signed_v1","signed_at":"2026-07-29T01:25:35.315978Z","signed_message":"canonical_sha256_bytes"},"source_id":"2602.19776","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:43ab86c7146b0af3e9738ed500adacf3fede69665f683bb3d8fa0af011c5fb07","sha256:4e8148d3d55cf8b7fdaf313edf39e8ee01c2955f592500597241f1340938d4a5"],"state_sha256":"13be5d7ed40936c470471f77ab28961d3e195361391cd2be359d2db8e9ac4a6e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y8jFisajwiUYGTdiBu0aejE5UbLu3HGRq80eL0ggYGVXgRG2HNXwD/W2/vMjBgMg/hqbGkz60M79X+OnnPG5Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T20:51:42.585468Z","bundle_sha256":"aba1b6a72a0e8ce8641746fc732978b6b33f307b09d39721e5f848482cf46b72"}}