-
Notifications
You must be signed in to change notification settings - Fork 345
Expand file tree
/
Copy pathCargo.toml
More file actions
110 lines (83 loc) · 2.34 KB
/
Cargo.toml
File metadata and controls
110 lines (83 loc) · 2.34 KB
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
[package]
name = "ruvector-benchmarks"
version = "0.1.0"
edition = "2021"
description = "Comprehensive benchmarks for temporal reasoning and vector operations"
publish = false
[dependencies]
# Core ruvector
ruvector-core = { path = "../../crates/ruvector-core", default-features = false, features = ["parallel"] }
# Serialization
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"
bincode = { version = "2.0.0-rc.3", features = ["serde"] }
# Error handling
anyhow = "1.0"
thiserror = "2.0"
# Random and numerics
rand = "0.8"
rand_distr = "0.4"
# Parallel processing
rayon = "1.10"
# CLI and progress
clap = { version = "4.5", features = ["derive"] }
indicatif = "0.17"
console = "0.15"
# Async
tokio = { version = "1.41", features = ["rt-multi-thread", "sync", "macros", "time", "fs"] }
futures = "0.3"
# Time handling (critical for temporal benchmarks)
chrono = { version = "0.4", features = ["serde"] }
# Logging and tracing
tracing = "0.1"
tracing-subscriber = { version = "0.3", features = ["env-filter", "json"] }
# Crypto for witness chains
sha2 = "0.10"
# RVF native format integration
rvf-types = { path = "../../crates/rvf/rvf-types" }
rvf-crypto = { path = "../../crates/rvf/rvf-crypto" }
rvf-wire = { path = "../../crates/rvf/rvf-wire" }
# Statistics
statistical = "1.0"
hdrhistogram = "7.5"
# HTTP for tool-augmented tests
reqwest = { version = "0.11", features = ["json"] }
# Visualization
plotters = { version = "0.3", optional = true }
# Type theory for verified reasoning (lean-agentic)
lean-agentic = "0.1"
[dev-dependencies]
tempfile = "3.13"
[features]
default = []
visualize = ["plotters"]
[[bin]]
name = "temporal-benchmark"
path = "src/bin/temporal_benchmark.rs"
[[bin]]
name = "vector-benchmark"
path = "src/bin/vector_benchmark.rs"
[[bin]]
name = "swarm-regret"
path = "src/bin/swarm_regret.rs"
[[bin]]
name = "timepuzzle-runner"
path = "src/bin/timepuzzle_runner.rs"
[[bin]]
name = "intelligence-assessment"
path = "src/bin/intelligence_assessment.rs"
[[bin]]
name = "rvf-intelligence-bench"
path = "src/bin/rvf_intelligence_bench.rs"
[[bin]]
name = "superintelligence"
path = "src/bin/superintelligence.rs"
[[bin]]
name = "agi-proof-harness"
path = "src/bin/agi_proof_harness.rs"
[[bin]]
name = "acceptance-rvf"
path = "src/bin/acceptance_rvf.rs"
[[bin]]
name = "wasm-solver-bench"
path = "src/bin/wasm_solver_bench.rs"