[package]
name = "jouleclaw-oracle-lean"
version.workspace = true
edition.workspace = true
license.workspace = true
repository.workspace = true
authors.workspace = true
description = "Lean-backed Oracle for JouleClaw. Implements the jouleclaw-oracle::Oracle trait over a Lean 4 compiler toolchain — Verdict::Pass iff the candidate's .lean source compiles cleanly; Verdict::Fail with the toolchain's stderr otherwise. The Axiom-Math-style code-with-proof gate the closure-gate Verdict has been pointing at. Composes via CompositeOracle alongside the fuzz / UI / typecheck Oracles; receipts mint as verified-code/1 with proof.kind = lean."

[dependencies]
jouleclaw-oracle = { path = "../jouleclaw-oracle" }
async-trait      = { workspace = true }
serde            = { workspace = true }
serde_json       = { workspace = true }
thiserror        = { workspace = true }
tokio            = { workspace = true, features = ["process", "io-util", "rt", "macros", "time", "fs"] }

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