[package]
name = "jouleclaw-audit"
version.workspace = true
edition.workspace = true
license.workspace = true
repository.workspace = true
authors.workspace = true
description = "Consumer-side verifier orchestration — cargo-kani + cargo-miri runner with joule-stamped ProofReport. The runner that exercises the #[cfg(kani)] / #[test] harnesses shipped throughout the jouleclaw workspace."

[dependencies]
jouleclaw-bounded = { path = "../jouleclaw-bounded" }
jouleclaw-energy  = { path = "../jouleclaw-energy" }
serde             = { workspace = true }
serde_json        = { workspace = true }
thiserror         = { workspace = true }