# The reference implementation of `wai.graphics.vector`
# (`extensions/graphics-vector.md`): the `WOS1` and `WVG1` formats with their
# refusal order (§2), the arithmetic of §3, the text layer of §5 (the projection and
# the transcript), and the conformance vectors of `../vector-conformance/`.
#
# `no_std` with `alloc`, and no dependencies, so that a model checker can include
# its sources by `#[path]` the way `wai-verify` includes the other integer sources.
# SHA-256 is `wai-ops`'s, included by `#[path]` (`src/sha256.rs`), so the tree has
# one.
[package]
name = "wai-vector"
version = "0.1.0"
edition = "2024"
rust-version = "1.97"
license = "Apache-2.0"
publish = false
description = "WAI vector graphics wai.graphics.vector: WOS1 and WVG1, the refusal order, the integer raster and conformance vectors"

[lib]
name = "wai_vector"
path = "src/lib.rs"

# The vector tool. It reads and writes files, so it is `std`; the library it drives
# is not.
[[bin]]
name = "wai-vector"
path = "src/bin/wai-vector.rs"
required-features = ["std", "author"]

[features]
default = ["author"]
std = []
# Authoring: the `WSF1` stroke source and its expansion into a `WOS1` (Annex A), the
# in-house sets' drawings, and the corpus generator that needs them. A sink has no
# stroker (§3.14), so a sink's build turns this off (`default-features = false`) and
# keeps the parsers, the raster and the recomputation of every vector.
author = []
# The 32-bit identities of RS1 (§3.5), for a fabric without `i64` and for the model
# checker; the unit tests build them too.
i32-forms = []

[lints.rust]
unexpected_cfgs = { level = "warn", check-cfg = ["cfg(kani)"] }

[dependencies]
# none

[profile.release]
debug = false