Add cleartext support for and_v(v:$sub1,$sub2) and and_v(v:$sub,LOCK) patterns.

[bigspider]

While 'or' in taptrees can easily be split into different leaves, the same is not easily possible for policies that are composed with a conjunction (except with DNF reductions that incur in an exponential cost in the number of leaves, which is not practical).

This adds minimal support for matching pattern with disjunctive policies, even just at a single level of nesting.

The same idea also allows simplifying the specifications for the various combinations with relative/absolute time-/height-locks, which use a pattern like and_v(v:$sub,LOCK).

[Copilot]

Pull request overview

This PR extends the BIP388 “cleartext” system to support displaying and round-tripping Taproot leaf policies of the form and_v(v:$sub1, $sub2) by introducing a “subpolicy” binding kind that can classify and embed recognized tapleaf sub-expressions without requiring full DNF expansion.

Changes:

• Add Subpolicy as a new cleartext binding/value kind, including decode support and generated classification/matching logic to prevent combinator nesting.
• Add an AndV tapleaf spec plus new TOML test vectors covering and_v(...) cleartext rendering/scoring.
• Move multiple crates to workspace-level Rust edition configuration (2024) and adjust code for newer Rust/SDK struct initializers and unsafe attribute/operation requirements.

Reviewed changes

Copilot reviewed 19 out of 19 changed files in this pull request and generated 4 comments.

Show a summary per file

File	Description
vm/src/main.rs	Switch exported entrypoint attribute to #[unsafe(no_mangle)].
vm/src/handlers/lib/ecall/ux_handler.rs	Use struct update syntax with Default::default() for NBGL layout struct init.
vm/src/app_ui/menu.rs	Use struct update syntax with Default::default() for NBGL bars list struct init.
riscv-arch-tests/Cargo.toml	Inherit Rust edition from workspace.
macros/Cargo.toml	Inherit Rust edition from workspace.
ecalls/Cargo.toml	Inherit Rust edition from workspace.
common/Cargo.toml	Inherit Rust edition from workspace.
client-sdk/src/vanadium_client.rs	Refactor pending-response handling (currently introduces a compile error).
client-sdk/Cargo.toml	Inherit Rust edition from workspace.
Cargo.toml	Define workspace package edition (2024).
cargo-vnd/Cargo.toml	Inherit Rust edition from workspace.
apps/bitcoin/bip388/src/cleartext/specs/test_vectors.toml	Add vectors for Taproot AndV leaf cleartext and scoring.
apps/bitcoin/bip388/src/cleartext/specs/cleartext.toml	Add AndV tapleaf spec: and_v(v:$sub1, $sub2).
apps/bitcoin/bip388/src/cleartext/mod.rs	Add Subpolicy cleartext part/value and display ordering for AndV.
apps/bitcoin/bip388/src/cleartext/decode.rs	Add decode support for parsing subpolicy cleartext into TapleafClass.
apps/bitcoin/bip388/build.rs	Extend codegen with Subpolicy bindings, classification steps, scoring, and descriptor construction.
app-sdk/src/lib.rs	Switch exported symbols to #[unsafe(no_mangle)] and reformat compile_error.
app-sdk/src/ecalls_native.rs	Add explicit unsafe {} blocks for raw-pointer ops (Rust 2024 compatibility).
app-sdk/Cargo.toml	Inherit Rust edition from workspace.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

Pull request overview

Copilot reviewed 19 out of 19 changed files in this pull request and generated no new comments.

[Copilot]

Pull request overview

Copilot reviewed 5 out of 5 changed files in this pull request and generated 3 comments.