Text this: Combining Mechanical and Agentic Specification Inference for Move