{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:TZR5ZCAXWYFYCFO4MZGQSV6NRH","short_pith_number":"pith:TZR5ZCAX","canonical_record":{"source":{"id":"2004.04128","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2020-04-08T17:25:11Z","cross_cats_sorted":["cs.LO","quant-ph"],"title_canon_sha256":"aac77c28c83be009786f71c3448449af3ce3d38973e15fe21c563fcd1df68371","abstract_canon_sha256":"b7784d610afc64172ce48c750c0daa8cb90418d195899c1516015543759f1f20"},"schema_version":"1.0"},"canonical_sha256":"9e63dc8817b60b8115dc664d0957cd89cff92bcc4e15071c9f6858891d80dbf4","source":{"kind":"arxiv","id":"2004.04128","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.04128","created_at":"2026-07-05T03:11:23Z"},{"alias_kind":"arxiv_version","alias_value":"2004.04128v3","created_at":"2026-07-05T03:11:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.04128","created_at":"2026-07-05T03:11:23Z"},{"alias_kind":"pith_short_12","alias_value":"TZR5ZCAXWYFY","created_at":"2026-07-05T03:11:23Z"},{"alias_kind":"pith_short_16","alias_value":"TZR5ZCAXWYFYCFO4","created_at":"2026-07-05T03:11:23Z"},{"alias_kind":"pith_short_8","alias_value":"TZR5ZCAX","created_at":"2026-07-05T03:11:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:TZR5ZCAXWYFYCFO4MZGQSV6NRH","target":"record","payload":{"canonical_record":{"source":{"id":"2004.04128","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2020-04-08T17:25:11Z","cross_cats_sorted":["cs.LO","quant-ph"],"title_canon_sha256":"aac77c28c83be009786f71c3448449af3ce3d38973e15fe21c563fcd1df68371","abstract_canon_sha256":"b7784d610afc64172ce48c750c0daa8cb90418d195899c1516015543759f1f20"},"schema_version":"1.0"},"canonical_sha256":"9e63dc8817b60b8115dc664d0957cd89cff92bcc4e15071c9f6858891d80dbf4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:11:23.655950Z","signature_b64":"Y+hf+QKiI1uaD9v4Ps3ibxt8T6Z7PEizqDhv5XycTzhQ7j9UPjwSn2ERHK+Wh+U7832ZXNSXamk2OEUErN69Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e63dc8817b60b8115dc664d0957cd89cff92bcc4e15071c9f6858891d80dbf4","last_reissued_at":"2026-07-05T03:11:23.655391Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:11:23.655391Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2004.04128","source_version":3,"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-05T03:11:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iwBiMg3kyDqzR8XdPBwBDbC0Zx5Eleskjbo9GKnN+KbiGy0J9svYxErJvyydFnZDEnTyCYoq+E/ePU13kYbSBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T07:30:48.537876Z"},"content_sha256":"ff475e32822dc61fbfea9304e90105fbb72c7706d8a8c89b18eee95100c9cec9","schema_version":"1.0","event_id":"sha256:ff475e32822dc61fbfea9304e90105fbb72c7706d8a8c89b18eee95100c9cec9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:TZR5ZCAXWYFYCFO4MZGQSV6NRH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","quant-ph"],"primary_cat":"cs.CL","authors_text":"Adriana D. Correia (Utrecht University), Henk T. C. Stoof (Utrecht University), Michael Moortgat (Utrecht University)","submitted_at":"2020-04-08T17:25:11Z","abstract_excerpt":"Extended versions of the Lambek Calculus currently used in computational linguistics rely on unary modalities to allow for the controlled application of structural rules affecting word order and phrase structure. These controlled structural operations give rise to derivational ambiguities that are missed by the original Lambek Calculus or its pregroup simplification. Proposals for compositional interpretation of extended Lambek Calculus in the compact closed category of FVect and linear maps have been made, but in these proposals the syntax-semantics mapping ignores the control modalities, eff"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.04128","kind":"arxiv","version":3},"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/2004.04128/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-05T03:11:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tCguKJ5VU8kKYJVLMeCMRiy5hvqcP5vg4+or+Qn5dTnx8dfeVDmbpL6v9zie1iDOvyOgtSB+G5acl6Yb4wiQAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T07:30:48.538481Z"},"content_sha256":"d53a23e01f20dcee28f137efb75c08e576ba17700e55d0a1021afa522074bec8","schema_version":"1.0","event_id":"sha256:d53a23e01f20dcee28f137efb75c08e576ba17700e55d0a1021afa522074bec8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TZR5ZCAXWYFYCFO4MZGQSV6NRH/bundle.json","state_url":"https://pith.science/pith/TZR5ZCAXWYFYCFO4MZGQSV6NRH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TZR5ZCAXWYFYCFO4MZGQSV6NRH/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-21T07:30:48Z","links":{"resolver":"https://pith.science/pith/TZR5ZCAXWYFYCFO4MZGQSV6NRH","bundle":"https://pith.science/pith/TZR5ZCAXWYFYCFO4MZGQSV6NRH/bundle.json","state":"https://pith.science/pith/TZR5ZCAXWYFYCFO4MZGQSV6NRH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TZR5ZCAXWYFYCFO4MZGQSV6NRH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:TZR5ZCAXWYFYCFO4MZGQSV6NRH","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":"b7784d610afc64172ce48c750c0daa8cb90418d195899c1516015543759f1f20","cross_cats_sorted":["cs.LO","quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2020-04-08T17:25:11Z","title_canon_sha256":"aac77c28c83be009786f71c3448449af3ce3d38973e15fe21c563fcd1df68371"},"schema_version":"1.0","source":{"id":"2004.04128","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.04128","created_at":"2026-07-05T03:11:23Z"},{"alias_kind":"arxiv_version","alias_value":"2004.04128v3","created_at":"2026-07-05T03:11:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.04128","created_at":"2026-07-05T03:11:23Z"},{"alias_kind":"pith_short_12","alias_value":"TZR5ZCAXWYFY","created_at":"2026-07-05T03:11:23Z"},{"alias_kind":"pith_short_16","alias_value":"TZR5ZCAXWYFYCFO4","created_at":"2026-07-05T03:11:23Z"},{"alias_kind":"pith_short_8","alias_value":"TZR5ZCAX","created_at":"2026-07-05T03:11:23Z"}],"graph_snapshots":[{"event_id":"sha256:d53a23e01f20dcee28f137efb75c08e576ba17700e55d0a1021afa522074bec8","target":"graph","created_at":"2026-07-05T03:11:23Z","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/2004.04128/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Extended versions of the Lambek Calculus currently used in computational linguistics rely on unary modalities to allow for the controlled application of structural rules affecting word order and phrase structure. These controlled structural operations give rise to derivational ambiguities that are missed by the original Lambek Calculus or its pregroup simplification. Proposals for compositional interpretation of extended Lambek Calculus in the compact closed category of FVect and linear maps have been made, but in these proposals the syntax-semantics mapping ignores the control modalities, eff","authors_text":"Adriana D. Correia (Utrecht University), Henk T. C. Stoof (Utrecht University), Michael Moortgat (Utrecht University)","cross_cats":["cs.LO","quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2020-04-08T17:25:11Z","title":"Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.04128","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:ff475e32822dc61fbfea9304e90105fbb72c7706d8a8c89b18eee95100c9cec9","target":"record","created_at":"2026-07-05T03:11:23Z","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":"b7784d610afc64172ce48c750c0daa8cb90418d195899c1516015543759f1f20","cross_cats_sorted":["cs.LO","quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2020-04-08T17:25:11Z","title_canon_sha256":"aac77c28c83be009786f71c3448449af3ce3d38973e15fe21c563fcd1df68371"},"schema_version":"1.0","source":{"id":"2004.04128","kind":"arxiv","version":3}},"canonical_sha256":"9e63dc8817b60b8115dc664d0957cd89cff92bcc4e15071c9f6858891d80dbf4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e63dc8817b60b8115dc664d0957cd89cff92bcc4e15071c9f6858891d80dbf4","first_computed_at":"2026-07-05T03:11:23.655391Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:11:23.655391Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y+hf+QKiI1uaD9v4Ps3ibxt8T6Z7PEizqDhv5XycTzhQ7j9UPjwSn2ERHK+Wh+U7832ZXNSXamk2OEUErN69Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T03:11:23.655950Z","signed_message":"canonical_sha256_bytes"},"source_id":"2004.04128","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ff475e32822dc61fbfea9304e90105fbb72c7706d8a8c89b18eee95100c9cec9","sha256:d53a23e01f20dcee28f137efb75c08e576ba17700e55d0a1021afa522074bec8"],"state_sha256":"2a4d9089c90dc39d3b6b882df33fc44b58f8874c3299e2659c71a56adf7199e7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WqpWvARBB5lu4pXHKa0RstcXfLPMitvDwYD7rr2Ms9pc+5ghDgaVMYTSpqhmvViyXAvbTL4bSCY+sLhNvsYKDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T07:30:48.544086Z","bundle_sha256":"f775a9f0523c127551dabf01acea50dea767e02934915c82f59ffe4e6d8c4bff"}}