exocortex-reasoning 0.1.0

Exocortex reasoning layer: Crepe (Datalog) rules R1-R9 plus Steel (Scheme) belief evolution, with idempotent derived-edge writeback.
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

# crates/exocortex-reasoning/Cargo.toml
[package]
name    = "exocortex-reasoning"
version.workspace = true
edition.workspace = true
license.workspace = true
description = "Exocortex reasoning layer: Crepe (Datalog) rules R1-R9 plus Steel (Scheme) belief evolution, with idempotent derived-edge writeback."

[dependencies]
exocortex-kernel = { workspace = true }
exocortex-storage = { workspace = true }
exocortex-pack-dev-v1 = { workspace = true }
crepe = { workspace = true }
steel-core = { workspace = true }
tokio = { workspace = true }
tracing = { workspace = true }
metrics = { workspace = true }
futures = { workspace = true }
smol_str = { workspace = true }
chrono = { workspace = true }
lasso = { workspace = true }
smallvec = { workspace = true }

[dev-dependencies]
serde_json = { workspace = true }
exocortex-cache = { workspace = true }
futures = { workspace = true }

[[bench]]
name = "khop"
harness = false