[package]
name = "proof-validator"
version.workspace = true
edition.workspace = true
license.workspace = true
description = "Proof validator — Curry-Howard checker with WORM rollback"

[dependencies]
subleq-vm.workspace = true
subleq-ir.workspace = true
invariant-extractor.workspace = true
anyhow.workspace = true
thiserror.workspace = true
tracing.workspace = true
serde.workspace = true
serde_json.workspace = true
sha2.workspace = true
blake3.workspace = true
ed25519-dalek.workspace = true

[dev-dependencies]
proptest.workspace = true