Resolving to What a First Fail Can Say: Bounding the Escape Cost of Test Retirement from Stop-on-First-Fail Datalogs in a Mixed-Signal Production Program…