qssm-le

Internal lattice engine crate for the QSSM workspace.

This crate is internal-only. It is not intended as a stable external dependency and external consumers should go through the workspace facades instead of importing qssm-le directly.

For developers:

• Public API is intentionally narrow and re-exported from src/lib.rs.
• prove_with_witness stays crate-private; use prove_arithmetic from the public surface.
• Security review status and concessions are tracked in SECURITY_CHECKLIST.md.

Verification:

cargo test -p qssm-le