Skip to content
DeepCausality DeepCausality DeepCausality

Concepts

Reference pages for every primitive the library exposes. Start with Dynamic causality for the framing, then Causaloid and Context for the two structural units, then the Effect Propagation Process for what flows between them. The Causal Monad page covers the pure/bind algebra that carrier implements. The rest can be read on demand.

Foundations

Section titled “Foundations”
  • The Axiom — the single axiom the framework rests on, m₂ = m₁ >>= f, and the properties it unlocks.
  • Dynamic causality — the umbrella idea the rest of the library sits inside, and the philosophical commitment behind it.
  • Causaloid — a self-contained unit of causality that composes into larger units of itself.
  • Context — the explicit hypergraph that a dynamic causal rule reasons against.
  • Effect Ethos — the deontic guardrail that intercepts every action the Causal State Machine proposes before it executes.

Propagation

Section titled “Propagation”
  • Effect Propagation Process — the carrier effect: the struct that carries a value, a state, a context, an error, and a log through a chain of Causaloids.
  • Causal Monad — the pure/bind algebra the carrier implements, which makes effect propagation composable, auditable, and short-circuiting on error. A trait, not a separate type.
  • Causal Flow — the fluent high-level DSL over the causal monad. Pipelines, loops, branches, and interventions as verbs, lowering to pure and bind.
  • Higher-Kinded Types — how DeepCausality encodes the type constructors that Rust does not natively support.

Surfaces and tooling

Section titled “Surfaces and tooling”
  • Causal Discovery Language — a typestate-builder DSL for going from raw observational data to an executable causal model.
  • Causal State Machine — a registry of state-action pairs whose transitions are driven by causal evaluation rather than fixed thresholds.
  • Uncertainty — a first-order type for uncertain values, plus a companion type for probabilistic presence.
  • Uniform Math — one Functor/Monad/CoMonad surface across tensors, multivectors, manifolds, sparse matrices, and effect propagation.

Reference

Section titled “Reference”
  • Glossary — canonical terminology for DeepCausality. The names land here once; everything else references this page.