v0.0.3

SBTDD v0.0.3

Patch release: broadens the Rust clippy lint scope in the scaffolded verification template.

Changed

• Rust verification template now uses cargo clippy --all-targets instead of --tests. The previous flag linted only the library, binaries, and tests, leaving examples/ and benches/ unchecked. --all-targets covers the whole crate, matching the Rust CI community convention and the whole-tree scope already used by the Python template (ruff check ., mypy .). The change is a no-op for projects without examples or benchmarks and adds real coverage once those targets exist.

Full changelog: v0.0.2...v0.0.3