Text in, calibrated typed decisions out: Kev-family checkpoints converted and measured by AbstractCore (docs/decision-models.md).