{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2001:D3YZ2NJX3FSWTVGCVPWPE6X6MG","short_pith_number":"pith:D3YZ2NJX","canonical_record":{"source":{"id":"math/0106059","kind":"arxiv","version":6},"metadata":{"license":"","primary_cat":"math.LO","submitted_at":"2001-06-08T17:00:19Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"c7e267f3e271c9895cf1cf00ab046723e0242a41fb7786adc2549c835cd1498b","abstract_canon_sha256":"98a4eddf79c57dd73bae7d3c3bf4d57f7703f3b6c2f092bb9ecc874c17050fac"},"schema_version":"1.0"},"canonical_sha256":"1ef19d3537d96569d4c2abecf27afe61bcee6f3e89db2a50c5336f08f674b475","source":{"kind":"arxiv","id":"math/0106059","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0106059","created_at":"2026-07-04T14:35:22Z"},{"alias_kind":"arxiv_version","alias_value":"math/0106059v6","created_at":"2026-07-04T14:35:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0106059","created_at":"2026-07-04T14:35:22Z"},{"alias_kind":"pith_short_12","alias_value":"D3YZ2NJX3FSW","created_at":"2026-07-04T14:35:22Z"},{"alias_kind":"pith_short_16","alias_value":"D3YZ2NJX3FSWTVGC","created_at":"2026-07-04T14:35:22Z"},{"alias_kind":"pith_short_8","alias_value":"D3YZ2NJX","created_at":"2026-07-04T14:35:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2001:D3YZ2NJX3FSWTVGCVPWPE6X6MG","target":"record","payload":{"canonical_record":{"source":{"id":"math/0106059","kind":"arxiv","version":6},"metadata":{"license":"","primary_cat":"math.LO","submitted_at":"2001-06-08T17:00:19Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"c7e267f3e271c9895cf1cf00ab046723e0242a41fb7786adc2549c835cd1498b","abstract_canon_sha256":"98a4eddf79c57dd73bae7d3c3bf4d57f7703f3b6c2f092bb9ecc874c17050fac"},"schema_version":"1.0"},"canonical_sha256":"1ef19d3537d96569d4c2abecf27afe61bcee6f3e89db2a50c5336f08f674b475","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:35:22.145629Z","signature_b64":"S3rVOITqHdJQ52XWB+7r5yq3uSuGQls57/Wa9rtaS/6CBAqdJBEryD3UCZChaMlvF6C4ZIq+b8kVKMmv2EIgDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1ef19d3537d96569d4c2abecf27afe61bcee6f3e89db2a50c5336f08f674b475","last_reissued_at":"2026-07-04T14:35:22.145239Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:35:22.145239Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/0106059","source_version":6,"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-04T14:35:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LgRotdKaMJ/SeK2t4PlZEiMr/BnB9bKyZ+Uu5fBrh/0TeVARMxXBVuoW1LGDN8bQkk4MgavzKFZ9YrCRaD8zDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-24T09:21:30.099876Z"},"content_sha256":"2b7b049e1cde3a2f6bd9215a976ac2d29651243d01b268bedd7805e2b56d5ddc","schema_version":"1.0","event_id":"sha256:2b7b049e1cde3a2f6bd9215a976ac2d29651243d01b268bedd7805e2b56d5ddc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2001:D3YZ2NJX3FSWTVGCVPWPE6X6MG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples","license":"","headline":"","cross_cats":["quant-ph"],"primary_cat":"math.LO","authors_text":"Bob Coecke, David J. Moore, Sonja Smets","submitted_at":"2001-06-08T17:00:19Z","abstract_excerpt":"This paper surveys some recent developments towards a dynamic quantum logic and outlines its explicite construction -- some analogies and contrasts with other logics of dynamics are indicated. Abstract: The development of ``(static) operational quantum logic\" points out that classical boolean structures are too rigid to describe the actual and potential properties of quantum systems. On the other hand, an intuitionistic perspective on operational quantum logic, guides us in the direction of incorporating dynamics logically by reconsidering the primitive propositions required to describe the be"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0106059","kind":"arxiv","version":6},"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/math/0106059/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-04T14:35:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H8eTI6VsyC1VnUVgmcZY9RyerBuvhtg3ysNpkThKKCWUFdtd55feZ6qpnIeDTWUqmu3uel7tUNz7219GUc0SCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-24T09:21:30.100248Z"},"content_sha256":"0c7a5970c1e710aedb59f940244ba99b093b60809579fbe4bca3539920079422","schema_version":"1.0","event_id":"sha256:0c7a5970c1e710aedb59f940244ba99b093b60809579fbe4bca3539920079422"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/D3YZ2NJX3FSWTVGCVPWPE6X6MG/bundle.json","state_url":"https://pith.science/pith/D3YZ2NJX3FSWTVGCVPWPE6X6MG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/D3YZ2NJX3FSWTVGCVPWPE6X6MG/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-07-24T09:21:30Z","links":{"resolver":"https://pith.science/pith/D3YZ2NJX3FSWTVGCVPWPE6X6MG","bundle":"https://pith.science/pith/D3YZ2NJX3FSWTVGCVPWPE6X6MG/bundle.json","state":"https://pith.science/pith/D3YZ2NJX3FSWTVGCVPWPE6X6MG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/D3YZ2NJX3FSWTVGCVPWPE6X6MG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2001:D3YZ2NJX3FSWTVGCVPWPE6X6MG","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":"98a4eddf79c57dd73bae7d3c3bf4d57f7703f3b6c2f092bb9ecc874c17050fac","cross_cats_sorted":["quant-ph"],"license":"","primary_cat":"math.LO","submitted_at":"2001-06-08T17:00:19Z","title_canon_sha256":"c7e267f3e271c9895cf1cf00ab046723e0242a41fb7786adc2549c835cd1498b"},"schema_version":"1.0","source":{"id":"math/0106059","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0106059","created_at":"2026-07-04T14:35:22Z"},{"alias_kind":"arxiv_version","alias_value":"math/0106059v6","created_at":"2026-07-04T14:35:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0106059","created_at":"2026-07-04T14:35:22Z"},{"alias_kind":"pith_short_12","alias_value":"D3YZ2NJX3FSW","created_at":"2026-07-04T14:35:22Z"},{"alias_kind":"pith_short_16","alias_value":"D3YZ2NJX3FSWTVGC","created_at":"2026-07-04T14:35:22Z"},{"alias_kind":"pith_short_8","alias_value":"D3YZ2NJX","created_at":"2026-07-04T14:35:22Z"}],"graph_snapshots":[{"event_id":"sha256:0c7a5970c1e710aedb59f940244ba99b093b60809579fbe4bca3539920079422","target":"graph","created_at":"2026-07-04T14:35:22Z","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/math/0106059/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper surveys some recent developments towards a dynamic quantum logic and outlines its explicite construction -- some analogies and contrasts with other logics of dynamics are indicated. Abstract: The development of ``(static) operational quantum logic\" points out that classical boolean structures are too rigid to describe the actual and potential properties of quantum systems. On the other hand, an intuitionistic perspective on operational quantum logic, guides us in the direction of incorporating dynamics logically by reconsidering the primitive propositions required to describe the be","authors_text":"Bob Coecke, David J. Moore, Sonja Smets","cross_cats":["quant-ph"],"headline":"","license":"","primary_cat":"math.LO","submitted_at":"2001-06-08T17:00:19Z","title":"Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0106059","kind":"arxiv","version":6},"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:2b7b049e1cde3a2f6bd9215a976ac2d29651243d01b268bedd7805e2b56d5ddc","target":"record","created_at":"2026-07-04T14:35:22Z","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":"98a4eddf79c57dd73bae7d3c3bf4d57f7703f3b6c2f092bb9ecc874c17050fac","cross_cats_sorted":["quant-ph"],"license":"","primary_cat":"math.LO","submitted_at":"2001-06-08T17:00:19Z","title_canon_sha256":"c7e267f3e271c9895cf1cf00ab046723e0242a41fb7786adc2549c835cd1498b"},"schema_version":"1.0","source":{"id":"math/0106059","kind":"arxiv","version":6}},"canonical_sha256":"1ef19d3537d96569d4c2abecf27afe61bcee6f3e89db2a50c5336f08f674b475","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1ef19d3537d96569d4c2abecf27afe61bcee6f3e89db2a50c5336f08f674b475","first_computed_at":"2026-07-04T14:35:22.145239Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:35:22.145239Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"S3rVOITqHdJQ52XWB+7r5yq3uSuGQls57/Wa9rtaS/6CBAqdJBEryD3UCZChaMlvF6C4ZIq+b8kVKMmv2EIgDQ==","signature_status":"signed_v1","signed_at":"2026-07-04T14:35:22.145629Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0106059","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2b7b049e1cde3a2f6bd9215a976ac2d29651243d01b268bedd7805e2b56d5ddc","sha256:0c7a5970c1e710aedb59f940244ba99b093b60809579fbe4bca3539920079422"],"state_sha256":"00f1b711cf208057070747e730d1511be6394e5bbcf7cf264829f11df6d0ada7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"biBQ4m91808sj2O6mDKcx+sCRDuEktyVUaw4dizdMZbfVMjuOpNegpx9U//+Th53m6b+nB1xhyorBxZ46NFuBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-24T09:21:30.102294Z","bundle_sha256":"26b9569f0752cc7eeefd7f056a5da234053de0af0030ab5a84225f149e9c5dfd"}}