From KPI Card to Certified Metric Spec