Constant CHECK_DISCLAIMER 

const CHECK_DISCLAIMER: &str = "This probes read-call behavior only; it does not prove state-changing selector coverage or \
     semantic ERC-4626 compliance.";