# The JPEG AI exact decoder as a module of WAISM's float level (`extensions/waism.md`,
# `waism/1-det`): one WebAssembly module, the ABI of waism §5 and nothing else, that decodes
# `wai.image.jpegai` through `wai-rs`'s exact decoder, the integer weight bundle arriving as
# the capability's parameter set. Floating point is in it, so it holds a tier only on an
# engine set to the deterministic profile's NaN rule, shown by the probe of waism §9.3.
#
# Built for `wasm32-unknown-unknown` by `build.sh`. Both checkers of the profile
# (`../wai-module-check`) must hold it at the float level and refuse it at the integer level
# by R3, and `record/` keeps the module of record.
[package]
name = "wai-det-jpegai"
version = "0.1.0"
edition = "2024"
license = "Apache-2.0"
publish = false

[lib]
crate-type = ["cdylib"]
path = "src/lib.rs"

[features]
# The planted fault (README, *The planted faults*): a branch on a NaN's sign after the
# decode. Never in a module of record.
planted-nan-branch = []

[dependencies]
# The exact decoder and nothing else of the crate: no ONNX runtime, no filesystem.
wai = { path = "../wai-rs", default-features = false, features = ["neural_int"] }
# The names of the bundle's network members, in the order the loader takes them.
wai-ops = { path = "../wai-ops" }
# The eICCI net and the float tables of `norm.json`, read as the native sink reads them.
serde_json = "1"

[profile.release]
debug = false
# One codegen unit and fat LTO: the linker keeps only what the six exports reach.
codegen-units = 1
lto = "fat"
panic = "abort"