traceseal_verify
