DeepCausality addresses the limitations of classical causality frameworks by introducing dynamic, adaptive, and emergent causality. It provides a unified, axiomatic foundation for modeling causality that is general-relativistic-native and quantum-native, enabling advanced applications in complex systems. The project targets researchers and engineers needing to model systems with evolving causal structures, offering a powerful, mathematically rigorous approach.

How It Works

The core is the Effect Propagation Process (EPP), based on a single axiom and operationalized through three primitives: Causaloid (for causal functions), Context (for dynamic environments), and Causal State Machine (for action verification). It leverages monadic composition (PropagatingEffect, PropagatingProcess) to model causal dependencies without assuming a fixed spacetime. This approach allows for dynamic causal structures, programmable safety via an Effect Ethos, and seamless integration of diverse mathematical domains like tensors, geometric algebra, and topology within a single computational flow.

Quick Start & Requirements

• Primary install command: cargo add deep_causality_core
• Build/Test: make install, make build, make test, bazel build //...
• Prerequisites: Rust toolchain. No specific hardware (GPU/CUDA) or OS dependencies are listed.
• Links:
  • Website: https://deepcausality.com
  • Getting started: https://www.deepcausality.com/docs/getting-started/install/
  • Blog: https://deepcausality.com/blog/
  • Discord: https://discord.gg/Bxj9P7JXSj
  • Crates: https://crates.io/crates/deep_causality

Highlighted Details

• Dynamic Causality: Explicitly models dynamic, adaptive, and emergent causality, overcoming static structure assumptions of classical frameworks.
• Unified Mathematics: Lifts tensors, geometric algebra, topology, and causal logic into a single categorical interface (Functor/Monad/Comonad) via arity-5 HKTs, enabling seamless cross-domain composition.
• Effect Ethos: Integrates a defeasible deontic calculus for verifiable safety and action permissibility checks.
• Float106 Precision: Utilizes 106-bit floating-point numbers for enhanced precision and performance.
• Geometric Algebra: Comprehensive support for various Clifford algebras, including STA, CGA, and Spin(10) GUA.
• Causal Discovery: Includes SURD and MRMR algorithms within a typestate DSL for data-driven causal model discovery.

Maintenance & Community

The project is hosted as a sandbox at the Linux Foundation for Data & AI. Community interaction is facilitated via Discord and GitHub Discussions. The Center for Dynamic Causality provides support for commercial projects, and JetBrains offers an all-product license.

Licensing & Compatibility

• License: MIT.
• Compatibility: The MIT license is permissive, allowing for commercial use and integration into closed-source projects.

Limitations & Caveats

The provided documentation does not explicitly detail limitations, alpha status, or known bugs. The advanced mathematical underpinnings (e.g., geometric algebra, differential topology) suggest a potentially steep learning curve for users unfamiliar with these domains.