[package]
name = "joule-code-release"
version.workspace = true
edition.workspace = true
license.workspace = true
repository.workspace = true
rust-version.workspace = true

[dependencies]
joule-code-schema = { workspace = true }
joule-code-spec = { workspace = true }
joule-code-review = { workspace = true }
ed25519-dalek = { workspace = true }
serde = { workspace = true }
thiserror = { workspace = true }

[dev-dependencies]
joule-code-cargo = { workspace = true }
# The end-to-end pipeline example composes every methodology-layer standard:
# spec + ops + reviews (above) plus the contract (structural frame check and a
# real z3 postcondition discharge). All dev-only, so a downstream consumer of
# joule-code-release stays light.
joule-code-joulecontract = { path = "../joule-code-joulecontract" }
joulecontract-schema = { path = "../../../../joulecontract/joulecontract-rs/crates/joulecontract-schema" }
joulecontract-proof = { path = "../../../../joulecontract/joulecontract-rs/crates/joulecontract-proof" }
proof-cascade = { path = "../../../../proof/proof-rs/crates/proof-cascade" }
proof-schema = { path = "../../../../proof/proof-rs/crates/proof-schema" }
proof-solvers = { path = "../../../../proof/proof-rs/crates/proof-solvers" }