- DEX should make narrow, production-ready code changes, stage work under the assigned scratchpad, provide exact changed files and executable proof, and route to CCE for independent smoke when implementation proof is needed.
