ContextCov: Deriving and Enforcing Executable Constraints from Agent Instruction Files | ResearchPod