Policy-Bound, Verifier-Pluggable Smart Contract Framework for Auditable Healthcare Analytics (IEEE Access, 2026)