[package]
name = "joulespec-core"
version = "0.3.0"
description = "JouleSpec — the reference conformance kernel for energy-accounted specifications (joulespec/1): obligation-addressed clauses, a graded evidence ladder from testimony to proof, deterministic drift, and the joules a specification cost to evidence."
edition.workspace = true
license.workspace = true
repository.workspace = true

[dependencies]
serde = { workspace = true }
serde_json = { workspace = true }
blake3 = { workspace = true }
ed25519-dalek = { workspace = true }
thiserror = { workspace = true }

[lints.rust]
missing_docs = "warn"
# The proof harnesses in src/proofs.rs compile only under the model checker,
# which sets this cfg itself. Declaring it here keeps `cargo check` from
# warning about a cfg it has no way to know about.
unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)', 'cfg(joulespec_slow_proofs)'] }