{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:6V6Z34YCAOIAV2PNVDEMTBEZSO","short_pith_number":"pith:6V6Z34YC","canonical_record":{"source":{"id":"1412.8525","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-12-30T01:43:13Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"31b3d670a5ea38e5ace20dc5dae6300e19daf91473b71c6cd00534e667a1cecf","abstract_canon_sha256":"07e6076a34aa64bfe14216ef19c945ede60acc004016aac2ca2852c30c98f0a2"},"schema_version":"1.0"},"canonical_sha256":"f57d9df30203900ae9eda8c8c98499938be54790b4eee4f42e9a37daadcedb6c","source":{"kind":"arxiv","id":"1412.8525","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.8525","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"arxiv_version","alias_value":"1412.8525v1","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.8525","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"pith_short_12","alias_value":"6V6Z34YCAOIA","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"6V6Z34YCAOIAV2PN","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"6V6Z34YC","created_at":"2026-05-18T12:28:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:6V6Z34YCAOIAV2PNVDEMTBEZSO","target":"record","payload":{"canonical_record":{"source":{"id":"1412.8525","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-12-30T01:43:13Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"31b3d670a5ea38e5ace20dc5dae6300e19daf91473b71c6cd00534e667a1cecf","abstract_canon_sha256":"07e6076a34aa64bfe14216ef19c945ede60acc004016aac2ca2852c30c98f0a2"},"schema_version":"1.0"},"canonical_sha256":"f57d9df30203900ae9eda8c8c98499938be54790b4eee4f42e9a37daadcedb6c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:30:17.209182Z","signature_b64":"qkgRIcF0e3V81bKSW/cfuXkxCXDfa7V9J97PnwDDccZWy+wZyQ9QnR1uVY7vXpJiyvtmVwMJokPQXTyb2y/JCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f57d9df30203900ae9eda8c8c98499938be54790b4eee4f42e9a37daadcedb6c","last_reissued_at":"2026-05-18T02:30:17.208754Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:30:17.208754Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.8525","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-18T02:30:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hFod+gbGebvB7C9HrvM6959p72Wz0NnusHp81SXKmjPobJolyQ5NWdkdi2ESyKxbouFLHS7VsmCpRhQCTrDWDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T05:47:16.313468Z"},"content_sha256":"b4c53bc2c1ec4003cd14ee09b0f819e9872388203d245cb442c3babd328bdff1","schema_version":"1.0","event_id":"sha256:b4c53bc2c1ec4003cd14ee09b0f819e9872388203d245cb442c3babd328bdff1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:6V6Z34YCAOIAV2PNVDEMTBEZSO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fibred Coalgebraic Logic and Quantum Protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"quant-ph","authors_text":"Daniel Marsden (Department of Computer Science, UK), University of Oxford","submitted_at":"2014-12-30T01:43:13Z","abstract_excerpt":"Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions on different fibres.  As this fibred setting will typically involve multiple signature functors, the logic incorporates a calculus of modalities enabling the construction of new modalities using various composition operations. We extend the semantics of coalgebraic logic to this setting, and prove that this extension respects behavioural equivalence.\n  We sho"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.8525","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T02:30:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9vt8FGNF8ri/0bfs4fMeOVFGvYsgBimvV3sQQxyKx9aGXofAurmAO9oTTQW+iB7T4/PNSTjsQZlsSU9UyXmpCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T05:47:16.314136Z"},"content_sha256":"4d96fa3a87826c72378e9454e63c39cdcca66b8a96fca1dbaeb9385ed8e93481","schema_version":"1.0","event_id":"sha256:4d96fa3a87826c72378e9454e63c39cdcca66b8a96fca1dbaeb9385ed8e93481"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO/bundle.json","state_url":"https://pith.science/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO/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-31T05:47:16Z","links":{"resolver":"https://pith.science/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO","bundle":"https://pith.science/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO/bundle.json","state":"https://pith.science/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:6V6Z34YCAOIAV2PNVDEMTBEZSO","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":"07e6076a34aa64bfe14216ef19c945ede60acc004016aac2ca2852c30c98f0a2","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-12-30T01:43:13Z","title_canon_sha256":"31b3d670a5ea38e5ace20dc5dae6300e19daf91473b71c6cd00534e667a1cecf"},"schema_version":"1.0","source":{"id":"1412.8525","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.8525","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"arxiv_version","alias_value":"1412.8525v1","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.8525","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"pith_short_12","alias_value":"6V6Z34YCAOIA","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"6V6Z34YCAOIAV2PN","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"6V6Z34YC","created_at":"2026-05-18T12:28:16Z"}],"graph_snapshots":[{"event_id":"sha256:4d96fa3a87826c72378e9454e63c39cdcca66b8a96fca1dbaeb9385ed8e93481","target":"graph","created_at":"2026-05-18T02:30:17Z","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"},"paper":{"abstract_excerpt":"Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions on different fibres.  As this fibred setting will typically involve multiple signature functors, the logic incorporates a calculus of modalities enabling the construction of new modalities using various composition operations. We extend the semantics of coalgebraic logic to this setting, and prove that this extension respects behavioural equivalence.\n  We sho","authors_text":"Daniel Marsden (Department of Computer Science, UK), University of Oxford","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-12-30T01:43:13Z","title":"Fibred Coalgebraic Logic and Quantum Protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.8525","kind":"arxiv","version":1},"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:b4c53bc2c1ec4003cd14ee09b0f819e9872388203d245cb442c3babd328bdff1","target":"record","created_at":"2026-05-18T02:30:17Z","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":"07e6076a34aa64bfe14216ef19c945ede60acc004016aac2ca2852c30c98f0a2","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-12-30T01:43:13Z","title_canon_sha256":"31b3d670a5ea38e5ace20dc5dae6300e19daf91473b71c6cd00534e667a1cecf"},"schema_version":"1.0","source":{"id":"1412.8525","kind":"arxiv","version":1}},"canonical_sha256":"f57d9df30203900ae9eda8c8c98499938be54790b4eee4f42e9a37daadcedb6c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f57d9df30203900ae9eda8c8c98499938be54790b4eee4f42e9a37daadcedb6c","first_computed_at":"2026-05-18T02:30:17.208754Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:30:17.208754Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qkgRIcF0e3V81bKSW/cfuXkxCXDfa7V9J97PnwDDccZWy+wZyQ9QnR1uVY7vXpJiyvtmVwMJokPQXTyb2y/JCw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:30:17.209182Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.8525","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b4c53bc2c1ec4003cd14ee09b0f819e9872388203d245cb442c3babd328bdff1","sha256:4d96fa3a87826c72378e9454e63c39cdcca66b8a96fca1dbaeb9385ed8e93481"],"state_sha256":"cb7e2c4fb0d986fb3518a547b4394426dbd5a1ad26d1230241371a6041502429"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GaEs/6kAU1WKcBhhR4lwtuUiwoZacaDXmW0koYcJ/3S1L10+EoEJDYaJnf7iC7g67xdtlJXHW1nHDa+4fNX0DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T05:47:16.317761Z","bundle_sha256":"232bdff9ecf67b12547dcba63e967654e7976d098e8c72040bd999dfdb90c2cf"}}