4-Phase research cycle, external critique loop, 직관 calibration 데이터 — transferable methodology, AI-for-Math 관점.