feat(deep_causality_uncertain): Migrated internal compute graph to ConsTree from deep_causality_ast crate.

Signed-off-by: Marvin Hansen <[email protected]>

Author: marvin-hansen

Cargo.lock

@@ -3,7 +3,7 @@
  * Copyright (c) "2025" . The DeepCausality Authors and Contributors. All Rights Reserved.
  */
 use crate::Identifiable;
-use deep_causality_uncertain::Uncertain;
+use deep_causality_uncertain::{ProbabilisticType, Uncertain};
 
 /// Represents uncertain data entities in a context graph.
 ///
@@ -15,7 +15,10 @@ use deep_causality_uncertain::Uncertain;
 /// in how data is modeled. You may wrap sensor input, encoded strings,
 /// discrete values, or even external references.
 ///
-pub trait UncertainDatable<T>: Identifiable {
+pub trait UncertainDatable<T>: Identifiable
+where
+    T: ProbabilisticType,
+{
     /// Returns the contained data.
     ///
     /// If `Self::Data` is `Copy`, this will typically return a copy. Otherwise, it may

deep_causality/src/traits/contextuable/datable_uncertain.rs

@@ -29,9 +29,9 @@ fn test_display() {
 
     let point = Uncertain::<bool>::point(true);
     let effect4 = UncertainBool(point);
-    assert!(format!("{effect4}").contains("Point(true)"));
+    assert!(format!("{effect4}").contains("Value(Bool(true))"));
 
     let point = Uncertain::<f64>::point(4.0f64);
     let effect5 = UncertainFloat(point);
-    assert!(format!("{effect5}").contains("Point(4.0)"));
+    assert!(format!("{effect5}").contains("Value(Float(4.0))"));
 }

deep_causality/tests/types/reasoning_types/propagating_effect/display_tests.rs

@@ -13,7 +13,8 @@ rust_library(
     deps = [
         # Internal crates
         "//deep_causality_rand",
-        "//deep_causality_haft",
+        "//deep_causality_ast",
+        "//deep_causality_num",
     ],
 )
 

deep_causality_uncertain/BUILD.bazel

@@ -42,9 +42,9 @@ path = "examples/sensor/sensor_processing.rs"
 [package.metadata.docs.rs]
 all-features = true
 
-[dependencies.deep_causality_haft]
-path = "../deep_causality_haft"
-version = "0.2"
+[dependencies.deep_causality_ast]
+path = "../deep_causality_ast"
+version = "0.1"
 
 [dependencies.deep_causality_num]
 path = "../deep_causality_num"

deep_causality_uncertain/Cargo.toml

@@ -2,6 +2,5 @@
  * SPDX-License-Identifier: MIT
  * Copyright (c) "2025" . The DeepCausality Authors and Contributors. All Rights Reserved.
  */
-pub(crate) mod hkt_maybe_uncertain;
-pub(crate) mod hkt_uncertain;
+
 pub(crate) mod probabilistic_type;

deep_causality_uncertain/src/extensions/hkt_maybe_uncertain/mod.rs

@@ -7,8 +7,8 @@ use crate::{FromSampledValue, IntoSampledValue, ProbabilisticType};
 use crate::{SampledValue, UncertainError};
 
 impl IntoSampledValue for bool {
-    fn into_sampled_value(&self) -> SampledValue {
-        SampledValue::Bool(*self)
+    fn into_sampled_value(self) -> SampledValue {
+        SampledValue::Bool(self)
     }
 }
 

deep_causality_uncertain/src/extensions/hkt_uncertain/mod.rs

@@ -8,7 +8,7 @@ use crate::{SampledValue, UncertainError};
 use deep_causality_num::ToPrimitive;
 
 impl IntoSampledValue for f64 {
-    fn into_sampled_value(&self) -> SampledValue {
+    fn into_sampled_value(self) -> SampledValue {
         SampledValue::Float(self.to_f64().unwrap_or(f64::NAN))
     }
 }