Function verify_inclusion_with_head 

pub fn verify_inclusion_with_head(
    leaf_entry_hash: &[u8],
    proof_json: &str,
    head_json: &str,
) -> Result<bool, JsValue>

Verify an inclusion proof against a tree head, without needing to build the tree. Caller supplies the leaf’s entry hash (the digest of the artifact being proven present), the proof itself (JSON form as produced by MerkleTree::inclusion_proof + serde), and the tree head (root + size).