Cargo.toml

[package]
name = "scanner-rs"
version = "0.1.0"
edition = "2021"

# Allow Kani's cfg flag (set automatically by cargo kani)
[lints.rust]
unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)', 'cfg(loom)', 'cfg(miri)'] }

[lints.clippy]
undocumented_unsafe_blocks = "warn"

[dependencies]
# DO NOT add pure-rust feature here — production needs the C/NEON backend.
# If this fails locally, upgrade clang to >= 14 (SHA3 NEON intrinsics).
aegis = "0.9"
ahash = "0.8"
base64 = "0.22"
crossbeam-channel = "0.5"
crossbeam-deque = "0.8"
crossbeam-queue = "0.3"
crossbeam-utils = "0.8"
crc32fast = "1.4"
# Both use C backends for throughput (C toolchain already required by
# vectorscan-rs-sys and aegis). Benchmarked: C libbzip2 is ~13-15% faster
# than pure-Rust libbz2-rs-sys across all workloads.
flate2 = { version = "1.1", default-features = false, features = ["zlib-ng"] }
bzip2 = "0.5"
libc = "0.2"
memchr = "2.8"
memmap2 = "0.9"
regex = "1.12"
regex-syntax = "0.8"
vectorscan-rs-sys = "0.0.5"
sha2 = "0.10"
blake3 = "1.5"
bytemuck = { version = "1", features = ["derive"] }
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"
serde_norway = "0.9.42"
rusqlite = { version = "0.38", features = ["bundled"] }
zip = { version = "0.6", default-features = false, features = ["deflate"] }
gix-commitgraph = "0.29"
gossip-contracts = { path = "../Gossip-rs/crates/gossip-contracts", optional = true }
gossip-connectors = { path = "../Gossip-rs/crates/gossip-connectors", optional = true }
rocksdb = { version = "0.24", optional = true }

# Directory walking and parallel scanning
ignore = "0.4"
num_cpus = "1.16"

[target.'cfg(target_os = "linux")'.dependencies]
io-uring = "0.6"


[features]
stdx-proptest = []
kgram-gate = []
perf-stats = []  # Debug-only: enable perf counter instrumentation (compile_error in release)
stats = ["perf-stats"]  # Alias: enables perf-stats
b64-stats = ["stats"]  # Base64 decode/gate instrumentation (implies stats)
bench = []
tiger-harness = []
sim-harness = ["perf-stats"]
kani = []  # Gate Kani model-checking proofs
scheduler-sim = []  # Enable longer-running scheduler simulation tests
integration-tests = []  # Gate integration tests behind explicit opt-in
property-tests = ["sim-harness"]  # Gate property-based tests; implies sim-harness for mutation framework
smoke-tests = []  # Gate smoke (binary end-to-end) tests behind explicit opt-in
diagnostic-tests = []  # Gate diagnostic tests behind explicit opt-in
rocksdb = ["dep:rocksdb"]
aegis-pure-rust = ["aegis/pure-rust"]  # Use pure-Rust AEGIS on machines without SHA3 NEON (clang < 14)
git-perf = ["perf-stats"]  # Git pack-exec timing probes (implies perf-stats)
real-rules-harness = []  # Real-ruleset regression harness (simulation test)
connector-pipeline = ["dep:gossip-contracts", "dep:gossip-connectors"]

[dev-dependencies]
loom = "0.7"
proptest = "1.10"
criterion = "0.5"
rstest = "0.24"
tempfile = "3.10"
itoa = "1"
ryu = "1"
sha1 = "0.10"

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

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

[[bench]]
name = "helpers"
harness = false
required-features = ["bench"]

[[bench]]
name = "transform_decode"
harness = false
required-features = ["bench"]

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

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

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

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

[[bench]]
name = "validator"
harness = false
required-features = ["bench"]

[[bench]]
name = "offline_validation"
harness = false
required-features = ["bench"]

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

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

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

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

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

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

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

[[bench]]
name = "vectorscan_pattern_complexity"
harness = false
required-features = ["bench"]

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

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

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

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

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

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

[[bench]]
name = "hit_pool"
harness = false
required-features = ["bench"]

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

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

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

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

[[bench]]
name = "event_encoding"
harness = false
required-features = ["bench"]

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

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

[[bench]]
name = "object_store_iterative_delta"
harness = false
required-features = ["bench"]

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

[[bench]]
name = "runner_exec_locality"
harness = false
required-features = ["bench"]

[[bench]]
name = "runner_exec_strategy"
harness = false
required-features = ["bench"]

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

[[bench]]
name = "simd_classify"
harness = false
required-features = ["bench"]

[[bench]]
name = "connector_barrier"
harness = false
required-features = ["bench", "connector-pipeline"]

[profile.dev]
opt-level = 1

[profile.release]
opt-level = 3
lto = "thin"
codegen-units = 1
overflow-checks = true

[profile.bench]
inherits = "release"

# ============================================================================
# Test Targets
# ============================================================================
# Organized test targets for different test categories.
# See tests/README.md for details on each category.

[[test]]
name = "integration"
path = "tests/integration/main.rs"
required-features = ["integration-tests"]

[[test]]
name = "smoke"
path = "tests/smoke/main.rs"
required-features = ["smoke-tests"]

[[test]]
name = "property"
path = "tests/property/main.rs"
required-features = ["property-tests"]

[[test]]
name = "simulation"
path = "tests/simulation/main.rs"
# No required-features: supports scheduler-sim, sim-harness, or both

[[test]]
name = "diagnostic"
path = "tests/diagnostic/main.rs"
required-features = ["diagnostic-tests"]

# ============================================================================
# Examples
# ============================================================================

[[example]]
name = "gen_scheduler_corpus"
required-features = ["scheduler-sim"]