Thanks, Erik.
The feedback regarding path exclusivity (vs existence) has been critical. Based on this, I am updating the verification logic to enforce full Taproot tree reconstruction. This ensures the library actually provides the depth of review required to be useful.