Launch a Coval run

Use quick-eval when installed; it covers planning, bounded execution and the result audit. Do not bypass its session budget when invoked from that workflow. If this skill is installed alone, follow the same minimum launch contract: