pub fn cmd_propose( ws: Option<&Path>, artifact: &str, max_ops: usize, llm: bool, json_out: bool, ) -> Result<()>