Court-expose QC-001..019 verifiers on Conjecture Alignment Name the 20 presented-config MCP tools, keep live tools/list at 23 until cell deploy (then 43), and point researchers at prove-live-court.sh.