# Formal verification host for WAI's integer core.
#
# Deliberately a SEPARATE tiny crate, mirroring `byte-exact-conformance`: it
# `#[path]`-includes the pure-integer sources from wai-rs (single source of
# truth, no copy) so the model checker sees a minimal dependency closure —
# which is what makes the proofs tractable.
#
# NOTE: no `rust-version` on purpose. The verifier ships its own pinned nightly
# toolchain; an MSRV above it makes cargo refuse to build the proof harnesses.
[package]
name = "wai-verify"
version = "0.1.0"
edition = "2024"
license = "Apache-2.0"
publish = false

# `cfg(kani)` is set by the model checker on the included sources. Declared so an
# ordinary build or clippy run of this crate does not warn on it.
[lints.rust]
unexpected_cfgs = { level = "warn", check-cfg = ["cfg(kani)"] }

[dependencies]
# none — the integer core this crate verifies is pure std.