정정 제안 · decomp-goal-harness