[package]
authors = { workspace = true }
description = "Package-owned Lean runtime payload and per-toolchain build cache for semantic search."
edition = { workspace = true }
include = ["Cargo.toml", "README.md", "runtime/**", "src/**", "tests/**"]
license = { workspace = true }
name = "lean-semantic-search-runtime"
readme = "README.md"
repository = { workspace = true }
rust-version = { workspace = true }
version = { workspace = true }

[dependencies]
fs4 = { workspace = true }
lean-rs-worker-protocol = { workspace = true }
lean-semantic-search-capability = { workspace = true }
lean-toolchain = { workspace = true }
serde = { workspace = true }
serde_json = { workspace = true }
sha2 = { workspace = true }
thiserror = { workspace = true }
walkdir = { workspace = true }

[dev-dependencies]
tempfile = { workspace = true }

[lib]
doctest = false

[lints]
workspace = true
