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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
/*
* SPDX-License-Identifier: MIT
* Copyright (c) 2023 - 2026. The DeepCausality Authors and Contributors. All Rights Reserved.
*/
//! # Gauge Theories: Particle Physics + Gravity Implementations
//!
//! This module implements particle physics and General Relativity gauge theories
//! built on top of the `GaugeField<G, A, F>` infrastructure provided by `deep_causality_topology`.
//!
//! ## 1. Implementation Scope
//!
//! | Theory | Gauge Group | Module Path | Status |
//! |------------------------|----------------------|--------------------|-----------|
//! | **Electromagnetism** | U(1) | `theories::electromagnetism` | Completed |
//! | **Weak Force** | SU(2) | `theories::weak` | Completed |
//! | **Electroweak** | SU(2) × U(1) | `theories::ew` | Completed |
//! | **General Relativity** | SO(3,1) / Lorentz | `theories::gr` | Completed |
//!
//! ## 2. Architecture
//!
//! ```text
//! ┌─────────────────────────────────────────────────────────────────────────┐
//! │ ARCHITECTURE │
//! ├─────────────────────────────────────────────────────────────────────────┤
//! │ │
//! │ deep_causality_physics │
//! │ ┌────────────────────────────────────────────────────────────────────┐ │
//! │ │ theories/ │ │
//! │ │ ┌─────────┐ ┌─────────┐ ┌─────────┐ ┌─────────┐ ┌─────────┐ │ │
//! │ │ │gauge_em │ │ weak │ │ ew │ │ qcd │ │ gr │ │ │
//! │ │ │ (U1) │ │ (SU2) │ │(SU2×U1) │ │ (SU3) │ │(Lorentz)│ │ │
//! │ │ └────┬────┘ └────┬────┘ └────┬────┘ └────┬────┘ └────┬────┘ │ │
//! │ │ │ │ │ │ │ │ │
//! │ │ └───────────┴───────────┼───────────┴───────────┘ │ │
//! │ │ │ │ │
//! │ │ uses GaugeField<G, A, F> │ │
//! │ └───────────────────────────────┼────────────────────────────────────┘ │
//! │ │ │
//! │ ────────────────────────────────┼───────────────────────────────────── │
//! │ ▼ │
//! │ deep_causality_topology │
//! │ ┌────────────────────────────────────────────────────────────────────┐ │
//! │ │ GaugeField<G, A, F> │ CurvatureTensor │ HKT Witnesses │ │
//! │ │ GaugeGroup trait │ Adjunction d⊣∂ │ Promonad, RiemannMap │ │
//! │ └────────────────────────────────────────────────────────────────────┘ │
//! │ │
//! └─────────────────────────────────────────────────────────────────────────┘
//! ```
//!
//! ## 3. Convention Summary
//!
//! > **IMPORTANT**: GR and Particle Physics use opposite sign conventions.
//!
//! | Theory | Convention | Signature | g_{μν} | Metric Type |
//! |--------------|------------|-----------|------------------|-------------------|
//! | Gauge EM, EW | West Coast | (+---) | diag(1,-1,-1,-1) | `WestCoastMetric` |
//! | GR | East Coast | (-+++) | diag(-1,1,1,1) | `EastCoastMetric` |
//!
//! ## 4. Type Aliases & Mapping
//!
//! The `alias` module defines the mapping between high-level theory names and generic gauge fields:
//!
//! * **Electromagnetism**: `GaugeField<U1, f64, f64, f64>`
//! * **WeakField**: `GaugeField<SU2, f64, f64>`
//! * **ElectroweakField**: `GaugeField<Electroweak, f64, f64>`
//! * **GR**: `GaugeField<Lorentz, f64, f64>`
//!
//! ## 5. Theory Specifications
//!
//! ### EM (Electromagnetism)
//! * **Module:** `theories::electromagnetism`
//! * **Gauge Group:** U(1)
//! * **Solves:** Maxwell's equations, Lorentz force, Energy/Lagrangian densities.
//! * **Key Integrations:** Uses `WestCoastMetric` (+---), maps $F_{0i} \to E_i$ (Electric) and $\epsilon_{ijk}F^{jk} \to B_i$ (Magnetic).
//! * **Note:** Computes classical observables; true QED would require quantum propagators.
//!
//! ### Electroweak
//! * **Module:** `theories::electroweak`
//! * **Gauge Group:** SU(2) × U(1)
//! * **Solves:** Symmetry breaking (Higgs), Weinberg angle mixing ($\theta_W$), Mass generation ($W^\pm, Z^0$).
//! * **Key Integrations:** manages product structure of two disjoint gauge bundles.
//!
//! ### General Relativity
//! * **Module:** `theories::general_relativity`
//! * **Gauge Group:** SO(3,1) / Lorentz
//! * **Solves:** Einstein field equations, Geodesic equation, Tidal forces (Geodesic deviation).
//! * **Key Integrations:** Uses `EastCoastMetric` (-+++), implements full geometric contraction for invariants like Kretschmann scalar.
//!
//! ### Weak Force
//! * **Module:** `theories::weak_force`
//! * **Gauge Group:** SU(2)
//! * **Solves:** Non-abelian field strength $W_{\mu\nu}^a$, Chirality ($P_L$), Weak currents.
//! * **Key Integrations:** Handles non-abelian commutator term $[A, A]$ in curvature.
//!
pub use *;
pub use *;
pub use *;
pub use *;
pub use *;
pub use *;