1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
/*
* SPDX-License-Identifier: MIT
* Copyright (c) 2023 - 2026. The DeepCausality Authors and Contributors. All Rights Reserved.
*/
//! Quantum causal models on the causal monad.
//!
//! This crate carries the quantum-information layer of DeepCausality: the
//! [`QuantumGates`]/[`QuantumOps`] traits and gate kernels migrated out of
//! `deep_causality_physics`, with `HilbertState` (the pure-state ket) staying
//! in `deep_causality_multivector` as the foundational carrier.
//!
//! Two quantum senses share this crate but are kept strictly apart by
//! modality: the **verifiable** path (deterministic simulated
//! Choi–Jamiołkowski operators, checked at the freeze boundary) is the
//! default build and the target of the Lean proofs; the **emergent** path (a
//! physical QPU call as a monadic effect) is a seam only.
//!
//! All metric signatures come from `deep_causality_metric`, the single source
//! of truth; this crate defines no metric type of its own.
extern crate alloc;
pub
pub
pub use crate;
pub use crate*;
pub use crate*;
pub use crate*;
pub use crate*;
pub use crate*;
pub use crate*;
pub use crate*;
pub use crate*;
pub use crate*;
pub use crate*;