Expand description
DeepCausality is a hyper-geometric computational causality library that enables fast and deterministic context-aware causal reasoning over complex causality models.
Why DeepCausality?
- DeepCausality is written in Rust with production-grade safety, reliability, and performance in mind.
- DeepCausality provides recursive causal data structures that concisely express arbitrary complex causal structures.
- DeepCausality enables context awareness across data-like, time-like, space-like, spacetime-like entities stored within (multiple) context-hyper-graphs.
- DeepCausality simplifies modeling of complex tempo-spatial patterns.
- DeepCausality comes with Causal State Machine (CSM)
Modules§
- aggregate_
logic - causal_
type - causaloid
- This module defines the
Causaloidstruct, the fundamental building block for representing causal units within the DeepCausality framework. - causaloid_
graph - context_
graph - contextoid_
type - graph
- graph_
reasoning - math_
utils - monadic_
collection_ utils - time_
utils - utils_
test
Structs§
- Action
Error - Adjustment
Error - Assumption
- Base
Symbol - Build
Error - CSM
- Causal State Machine (CSM)
- Causal
Action - A
CausalActionrepresents an executable action that can be triggered in response to causal conditions. - Causal
Effect Propagation Process - The fundamental unit of causal computation in DeepCausality.
- Causal
Graph Index Error - Causal
Monad CausalMonadis the concrete implementation of theMonadEffect5trait for theCausalSystem. It provides the fundamentalpureandbindoperations that enable monadic programming within the DeepCausality framework.- Causal
SetSpacetime - A symbolic, discrete model of spacetime based on causal set theory (CST).
- Causal
State - A
CausalStaterepresents a state in a causal state machine (CSM) that can be evaluated based on causal conditions. - Causal
System State - Mutable state container for the causal system.
- Causality
Error - The standard error type for DeepCausality operations.
- Causality
Graph Error - Causaloid
Causaloidis the fundamental building block for causal models in DeepCausality.- Causaloid
Graph - A specialized graph structure for representing and reasoning about causal relationships.
- Conformal
Spacetime - A minimal spacetime model preserving only causal and angular structure, based on conformal geometry.
- Context
- Context
Index Error - Contextoid
- Data
- A generic container for a piece of data, associated with a unique identifier.
- Discrete
Time - A time model representing discrete, uniformly spaced ticks instead of continuous physical time.
- Ecef
Space - A spatial context in Earth-Centered, Earth-Fixed (ECEF) coordinates.
- Effect
Log - Represents an encapsulated, timestamped log of causal evaluation events.
- Entropic
Time - A time model based on entropy-driven progression, suitable for emergent systems, self-organization, and irreversible state evolution.
- Euclidean
Space - A 3-dimensional spatial context represented in standard Euclidean coordinates (x, y, z).
- Euclidean
Spacetime - A concrete 3D + time context based on classical (Euclidean) geometry.
- Euclidean
Time - A time model based on Euclidean (imaginary) time, primarily used in theoretical and computational physics.
- GeoSpace
- A non-Euclidean spatial context based on geodetic coordinates (WGS84).
- Graph
Generatable Effect - The core effect type for the HKT generative system.
- Graph
Generatable Effect System - The effect system witness that fixes error and log types.
- Graph
Generatable Effect Witness - HKT witness type for the graph generatable effect system.
- Index
Error - Inference
- Interpreter
- Lorentzian
Spacetime - A 4-dimensional spacetime context based on Lorentzian geometry, as used in General Relativity.
- Lorentzian
Time - A time model representing Lorentzian (physical) time in relativistic spacetimes.
- Minkowski
Spacetime - A 4D spacetime context based on the Minkowski metric of special relativity.
- Model
- Modification
Log - Container for modification log entries, providing a complete audit trail.
- Modification
LogEntry - A single entry in the modification audit trail.
- NedSpace
- A local tangent-plane spatial context using the North-East-Down (NED) reference frame.
- Observation
- Proposed
Action - Represents an action that the system intends to perform, submitted for evaluation by the Effect Ethos.
- Quaternion
Space - A spatial context representing 3D orientation using unit quaternions.
- Root
- Symbolic
Time - A symbolic time representation for use in logic-based, non-numeric, or event-driven causal systems.
- Tangent
Spacetime - A 4D+4D spacetime model combining position and motion, with support for curved geometry.
- Uncertain
- A type representing a value with inherent uncertainty, modeled as a probability distribution.
- Uncertain
Boolean Data - Uncertain
Float64 Data - Uncertain
Parameter - Update
Error
Enums§
- Action
Parameter Value - Represents a value for a parameter within a
ProposedAction. This allows the parameters map to hold values of different types. - Aggregate
Logic - Defines how the results from a collection of
Causableitems should be aggregated. - Assumption
Error - Causality
Error Enum - Detailed variants of potential errors in the system.
- Causaloid
Type - Represents the structural type of a
Causaloid. - Context
Kind - Enum of monoidal context node types (each a composable unit of structure).
Each variant name ends in
-oidto emphasize its monoid role as a single identity-bearing unit. - Contextoid
Type - CsmError
- Effect
Value - Represents the payload of a propagating effect.
- Model
Build Error - Model
Generative Error - Model
Validation Error - OpStatus
- Status of an operation execution.
- Operation
- Represents all possible operations that can be applied to a causal model.
- Relation
Kind - Space
Kind - An enumeration over supported spatial context types.
- Space
Time Kind - A polymorphic enum over supported spacetime context types.
- Symbol
Kind - Symbolic
Representation - SymbolicRepr defines a general-purpose symbolic representation that supports identifiers, logical operations, expressions, and compound terms.
- Symbolic
Result - Symbolic
Time Unit - Represents a symbolic unit of time with a qualitative relationship to named events.
- Time
Kind - An enumeration of supported time models for unified, heterogeneous temporal reasoning.
- Time
Scale
Traits§
- Adjustable
- Assumable
- The Assumable trait defines the interface for objects that represent assumptions that can be tested and verified. Assumable types must also implement Identifiable.
- Assumable
Reasoning - The AssumableReasoning trait provides default implementations for common operations over collections of Assumable types.
- Causable
- The Causable trait defines the core behavior for all causal elements.
- Causable
Collection Accessor - A trait for accessing items in a collection of causable elements.
The trait is generic over
I(input type),O(output type), andT(element type).Tmust implementMonadicCausable<I, O>. - Causable
Graph - Contextuable
- Represents any entity that participates in a causal context graph.
- Contextuable
Graph - Trait for graph containing context-aware nodes.
- Coordinate
- Provides a generalized interface for N-dimensional coordinate access.
- CsmEvaluable
- Trait for types that can be evaluated to a boolean decision in a CSM.
- Current
Data Index - Current
Time Index - Data
Indexable - Datable
- Represents data-bearing entities in a context graph.
- Extendable
Contextuable Graph - Trait for poly-contextuable causal graphs. By default, the context graph is assumed to be a single-context graph.
- Identifiable
- Trait for types that have a unique identifier.
- Inferable
- Trait for inferable types with causal reasoning properties.
- Inferable
Reasoning - Trait providing reasoning methods for collections of Inferable items.
- LogAdd
Entry - LogAppend
- Trait for types that can append log entries from another instance of themselves.
- LogEffect
- LogSize
- Metric
- Defines a measurable relationship between two entities within the same space.
- Metric
Coordinate - Represents coordinate-bearing entities that also implement distance metrics.
- Metric
Tensor4D - Trait for exposing and modifying a local 4×4 spacetime metric tensor.
- Monadic
Causable - Monadic
Causable Collection - Monadic
Causable Graph Reasoning - Provides default implementations for monadic reasoning over
CausableGraphitems. - Observable
- Observable trait for objects that can be observed.
- Observable
Reasoning - ObservableReasoning trait provides reasoning methods for collections of Observable items.
- Previous
Data Index - Previous
Time Index - Trait for getting and setting the previous time index for various time scales.
- Scalar
Projector - A trait that defines how to extract a scalar value from a structured input type.
- Scalar
Value - Marker trait to identify numeric scalar types.
- Space
Temporal - Combines spatial and temporal semantics into a 4D spacetime model.
- Space
Temporal Interval - Trait for spacetime types that support Minkowski-style interval calculations.
- Spatial
- Marks entities that have spatial semantics.
- Symbolic
- Represents a symbolic, logical, or linguistic identity.
- Temporal
- Represents entities that have intrinsic temporal properties.
- Time
Indexable - Trait for types that can be indexed.
- Transferable
- Trait for types that can verify their assumptions against propagating effects.
- Uncertain
Adjustable - Uncertain
Datable - Represents uncertain data entities in a context graph.
Type Aliases§
- Auditable
Graph Generator - Type alias for auditable graph generator computations.
- Base
Causal Graph - A type alias for a
CausaloidGraphcomposed ofBaseCausaloidinstances. - Base
Causal Map - A type alias for a
HashMapthat storesBaseCausaloidinstances, typically indexed by their unique identifiers. - Base
Causaloid - A type alias for a default, general-purpose
Causaloidconfiguration. - Base
Causaloid Vec - A type alias for a
Vec(vector) containingBaseCausaloidinstances. - Base
Context - A type alias for a default, general-purpose
Contextconfiguration. - Base
Contextoid - A type alias for a default, general-purpose
Contextoidconfiguration. - Base
Model - A type alias for the default
Modelconfiguration. - Benchmark
Causal Map - CSMMap
- CSMState
Actions - Causal
Fn - The unified function signature for all singleton causaloids that do not require an external context.
- Causaloid
Id - Context
Id - Contextoid
Id - Contextual
Causal Fn - The unified function signature for all singleton causaloids that require access to a shared, external context.
- Description
Value - A string value that provides a human-readable description of a Cause or Context A string value that provides a human-readable description of a Cause or Context
- EvalFn
- Function type for evaluating numerical values and returning a boolean result. This remains unchanged as it serves a different purpose outside the core causal reasoning.
- Float
Type - A type alias for floating point numbers, used for numerical calculations
- Identification
Value - The unique identifier for a Cause or Context in the Causality Graph
- Number
Type - A type alias for unsigned integers, used for numerical counting and indexing
- Numerical
Value - A floating point value that represents a numerical measure
- OpTree
- Type alias for operation trees.
- Propagating
Effect - A stateless causal effect.
- Propagating
Process - A stateful causal process with context.
- State
Action - A tuple consisting of a causal state and an associated causal action.
- TeloidID
- Teloid
Tag - Uncertain
Activation Predicate - Uniform
Causal Graph - A type alias for a
CausaloidGraphcomposed ofUniformCausaloidinstances. - Uniform
Causal Map - A type alias for a
HashMapthat storesUniformCausaloidinstances, typically indexed by their unique identifiers. - Uniform
Causaloid - A type alias for a default, general-purpose
Causaloidconfiguration that uses abstract “kind” enums for its spatial, temporal, and symbolic contexts. - Uniform
Causaloid Vec - A type alias for a
Vec(vector) containingUniformCausaloidinstances. - Uniform
Context - A type alias for a default, general-purpose
Contextconfiguration that uses abstract “kind” enums for its spatial, temporal, and symbolic contexts. - Uniform
Contextoid - A type alias for a default, general-purpose
Contextoidconfiguration that uses abstract “kind” enums for its spatial, temporal, and symbolic contexts. - Uniform
Model - A type alias for a default, general-purpose
Modelconfiguration that uses abstract “kind” enums for its spatial, temporal, and symbolic contexts.