chore: release v0.3.0

[github-actions]

🤖 New release

• libveritas: 0.2.0 -> 0.3.0 (⚠ API breaking changes)
• libveritas_testutil: 0.2.0 -> 0.3.0 (✓ API compatible changes)

⚠ libveritas breaking changes

--- failure enum_no_repr_variant_discriminant_changed: enum variant had its discriminant change value ---

Description:
The enum's variant had its discriminant value change. This breaks downstream code that used its value via a numeric cast like `as isize`.
        ref: https://doc.rust-lang.org/reference/items/enumerations.html#assigning-discriminant-values
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/enum_no_repr_variant_discriminant_changed.ron

Failed in:
  variant MessageError::SpaceNotFound 9 -> 10 in /tmp/.tmpReFZUk/libveritas/veritas/src/lib.rs:1502
  variant MessageError::NumericNotFound 10 -> 11 in /tmp/.tmpReFZUk/libveritas/veritas/src/lib.rs:1504
  variant MessageError::CommitmentNotFound 11 -> 12 in /tmp/.tmpReFZUk/libveritas/veritas/src/lib.rs:1506
  variant MessageError::ReceiptRequired 12 -> 13 in /tmp/.tmpReFZUk/libveritas/veritas/src/lib.rs:1508

--- failure enum_variant_added: enum variant added on exhaustive enum ---

Description:
A publicly-visible enum without #[non_exhaustive] has a new variant.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#enum-variant-new
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/enum_variant_added.ron

Failed in:
  variant MessageError:NumsRootMissing in /tmp/.tmpReFZUk/libveritas/veritas/src/lib.rs:1500

--- failure enum_variant_missing: pub enum variant removed or renamed ---

Description:
A publicly-visible enum has at least one variant that is no longer available under its prior name. It may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/enum_variant_missing.ron

Failed in:
  variant MessageError::ParentZoneRequired, previously in file /tmp/.tmpmQKGrz/libveritas/src/lib.rs:1457

Changelog

libveritas

0.3.0 - 2026-07-22

Bug Fixes

• (verify) Close soundness and hardening gaps in verification

Chore

• (deps) Upgrade spaces-protocol, nums, and sip7 to 0.2.0

Features

• (inspect) Add feature-gated proof-path inspection

libveritas_testutil

0.3.0 - 2026-07-22

Bug Fixes

• (verify) Close soundness and hardening gaps in verification

Chore

• (deps) Upgrade spaces-protocol, nums, and sip7 to 0.2.0

Features

• (inspect) Add feature-gated proof-path inspection

---

This PR was generated with release-plz.