Constant README_BACKEND_DEV_DOC 

const README_BACKEND_DEV_DOC: &str = "Default prover backend: `dev`.\n\n`dev` mode does not run cryptographic proving; it emits a mock proof envelope and is ideal for development.\n";