{"abstract":"Crossing 3000 ft DA suddenly removes 60 lb of allowable weight.","category":"Aviation weight and balance","checks":9,"contract":"Input {'elev_ft','altimeter' inHg,'oat_c','mtow'}. Pressure altitude = elev + (29.92 - altimeter)*1000; ISA temp = 15 - 2 per 1000 ft of PA; DA = PA + 120*(OAT - ISA). Allowed weight = MTOW - 20 lb per 1000 ft (pro rata) of DA above 3000 ft, rounded DOWN to 10 lb. Return [DA rounded, allowed].","evaluation_group":"w2-aviation-weight-balance-density-altitude-weight","failed_approach":"Using the absolute difference also derates fields below the threshold.","family":"w2-aviation-weight-balance-density-altitude-weight-derate-threshold","id":"FA-66271","implementations":{"attempt":{"sha256":"c99a42c6812b6152af4c58a91d325aa1e4403f2b50298b26f2d1ab826a03b444","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    pa = x['elev_ft'] + (29.92 - x['altimeter']) * 1000\n    isa = 15 - 2 * pa / 1000\n    da = pa + 120 * (x['oat_c'] - isa)\n    excess = abs(da - 3000)\n    red = 20 * excess / 1000\n    allowed = x['mtow'] - red\n    return [round(da), int(allowed // 10) * 10]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['hot high field', {'elev_ft': 5100, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [7876, 2450]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.400000000000002, 'oat_c': 25, 'mtow': 2400}, [3705, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -9, 'mtow': 3100}, [5180, 3050]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 36, 'mtow': 2550}, [1925, 2550]], ['sampled case 1', {'elev_ft': 4630, 'altimeter': 30.0, 'oat_c': 25, 'mtow': 3600}, [6842, 3520]], ['sampled case 2', {'elev_ft': 8210, 'altimeter': 29.1, 'oat_c': 43, 'mtow': 2550}, [14557, 2310]], ['sampled case 3', {'elev_ft': 4490, 'altimeter': 29.18, 'oat_c': 29, 'mtow': 2550}, [8165, 2440]]], [['hot high field', {'elev_ft': 5200, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [8000, 2450]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.380000000000003, 'oat_c': 25, 'mtow': 2400}, [3730, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -8, 'mtow': 3100}, [5300, 3050]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 37, 'mtow': 2550}, [2045, 2550]], ['sampled case 1', {'elev_ft': 2900, 'altimeter': 29.44, 'oat_c': 26, 'mtow': 2300}, [5511, 2240]], ['sampled case 2', {'elev_ft': 2480, 'altimeter': 29.04, 'oat_c': -9, 'mtow': 3100}, [1286, 3100]], ['sampled case 3', {'elev_ft': 1880, 'altimeter': 29.23, 'oat_c': 38, 'mtow': 2550}, [5947, 2490]]], [['hot high field', {'elev_ft': 5300, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [8124, 2440]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.360000000000003, 'oat_c': 25, 'mtow': 2400}, [3754, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -7, 'mtow': 3100}, [5420, 3050]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 38, 'mtow': 2550}, [2165, 2550]], ['sampled case 1', {'elev_ft': 5530, 'altimeter': 30.57, 'oat_c': 16, 'mtow': 2550}, [6171, 2480]], ['sampled case 2', {'elev_ft': 8640, 'altimeter': 29.52, 'oat_c': -7, 'mtow': 2550}, [8570, 2430]], ['sampled case 3', {'elev_ft': 8250, 'altimeter': 29.93, 'oat_c': 35, 'mtow': 2300}, [12618, 2100]]], [['hot high field', {'elev_ft': 5400, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [8248, 2440]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.340000000000003, 'oat_c': 25, 'mtow': 2400}, [3779, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -6, 'mtow': 3100}, [5540, 3040]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 39, 'mtow': 2550}, [2285, 2550]], ['sampled case 1', {'elev_ft': 8680, 'altimeter': 29.91, 'oat_c': -21, 'mtow': 2550}, [6456, 2480]], ['sampled case 2', {'elev_ft': 5840, 'altimeter': 29.35, 'oat_c': 15, 'mtow': 2300}, [7948, 2200]], ['sampled case 3', {'elev_ft': 200, 'altimeter': 30.56, 'oat_c': 11, 'mtow': 2550}, [-1026, 2550]]], [['hot high field', {'elev_ft': 5500, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [8372, 2440]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.32, 'oat_c': 25, 'mtow': 2400}, [3804, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -5, 'mtow': 3100}, [5660, 3040]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 40, 'mtow': 2550}, [2405, 2550]], ['sampled case 1', {'elev_ft': 5350, 'altimeter': 29.18, 'oat_c': -19, 'mtow': 2550}, [3472, 2540]], ['sampled case 2', {'elev_ft': 1480, 'altimeter': 30.27, 'oat_c': -13, 'mtow': 3600}, [-1959, 3600]], ['sampled case 3', {'elev_ft': 5150, 'altimeter': 30.11, 'oat_c': 16, 'mtow': 3600}, [6270, 3530]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"5a0f0b2c82572bdc2d4f551f08ae81ca2e50aa4edfe9ff9fd0177e922c0bbcaf","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    pa = x['elev_ft'] + (29.92 - x['altimeter']) * 1000\n    isa = 15 - 2 * pa / 1000\n    da = pa + 120 * (x['oat_c'] - isa)\n    excess = da if da > 3000 else 0.0\n    red = 20 * excess / 1000\n    allowed = x['mtow'] - red\n    return [round(da), int(allowed // 10) * 10]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['hot high field', {'elev_ft': 5100, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [7876, 2450]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.400000000000002, 'oat_c': 25, 'mtow': 2400}, [3705, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -9, 'mtow': 3100}, [5180, 3050]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 36, 'mtow': 2550}, [1925, 2550]], ['sampled case 1', {'elev_ft': 4630, 'altimeter': 30.0, 'oat_c': 25, 'mtow': 3600}, [6842, 3520]], ['sampled case 2', {'elev_ft': 8210, 'altimeter': 29.1, 'oat_c': 43, 'mtow': 2550}, [14557, 2310]], ['sampled case 3', {'elev_ft': 4490, 'altimeter': 29.18, 'oat_c': 29, 'mtow': 2550}, [8165, 2440]]], [['hot high field', {'elev_ft': 5200, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [8000, 2450]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.380000000000003, 'oat_c': 25, 'mtow': 2400}, [3730, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -8, 'mtow': 3100}, [5300, 3050]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 37, 'mtow': 2550}, [2045, 2550]], ['sampled case 1', {'elev_ft': 2900, 'altimeter': 29.44, 'oat_c': 26, 'mtow': 2300}, [5511, 2240]], ['sampled case 2', {'elev_ft': 2480, 'altimeter': 29.04, 'oat_c': -9, 'mtow': 3100}, [1286, 3100]], ['sampled case 3', {'elev_ft': 1880, 'altimeter': 29.23, 'oat_c': 38, 'mtow': 2550}, [5947, 2490]]], [['hot high field', {'elev_ft': 5300, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [8124, 2440]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.360000000000003, 'oat_c': 25, 'mtow': 2400}, [3754, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -7, 'mtow': 3100}, [5420, 3050]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 38, 'mtow': 2550}, [2165, 2550]], ['sampled case 1', {'elev_ft': 5530, 'altimeter': 30.57, 'oat_c': 16, 'mtow': 2550}, [6171, 2480]], ['sampled case 2', {'elev_ft': 8640, 'altimeter': 29.52, 'oat_c': -7, 'mtow': 2550}, [8570, 2430]], ['sampled case 3', {'elev_ft': 8250, 'altimeter': 29.93, 'oat_c': 35, 'mtow': 2300}, [12618, 2100]]], [['hot high field', {'elev_ft': 5400, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [8248, 2440]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.340000000000003, 'oat_c': 25, 'mtow': 2400}, [3779, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -6, 'mtow': 3100}, [5540, 3040]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 39, 'mtow': 2550}, [2285, 2550]], ['sampled case 1', {'elev_ft': 8680, 'altimeter': 29.91, 'oat_c': -21, 'mtow': 2550}, [6456, 2480]], ['sampled case 2', {'elev_ft': 5840, 'altimeter': 29.35, 'oat_c': 15, 'mtow': 2300}, [7948, 2200]], ['sampled case 3', {'elev_ft': 200, 'altimeter': 30.56, 'oat_c': 11, 'mtow': 2550}, [-1026, 2550]]], [['hot high field', {'elev_ft': 5500, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [8372, 2440]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.32, 'oat_c': 25, 'mtow': 2400}, [3804, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -5, 'mtow': 3100}, [5660, 3040]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 40, 'mtow': 2550}, [2405, 2550]], ['sampled case 1', {'elev_ft': 5350, 'altimeter': 29.18, 'oat_c': -19, 'mtow': 2550}, [3472, 2540]], ['sampled case 2', {'elev_ft': 1480, 'altimeter': 30.27, 'oat_c': -13, 'mtow': 3600}, [-1959, 3600]], ['sampled case 3', {'elev_ft': 5150, 'altimeter': 30.11, 'oat_c': 16, 'mtow': 3600}, [6270, 3530]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"e4a92c10a5218a52e2f0f427327d7ad0ab59af2bc2f99f735ab4cb8c3a33ef35","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    pa = x['elev_ft'] + (29.92 - x['altimeter']) * 1000\n    isa = 15 - 2 * pa / 1000\n    da = pa + 120 * (x['oat_c'] - isa)\n    excess = max(0.0, da - 3000)\n    red = 20 * excess / 1000\n    allowed = x['mtow'] - red\n    return [round(da), int(allowed // 10) * 10]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['hot high field', {'elev_ft': 5100, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [7876, 2450]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.400000000000002, 'oat_c': 25, 'mtow': 2400}, [3705, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -9, 'mtow': 3100}, [5180, 3050]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 36, 'mtow': 2550}, [1925, 2550]], ['sampled case 1', {'elev_ft': 4630, 'altimeter': 30.0, 'oat_c': 25, 'mtow': 3600}, [6842, 3520]], ['sampled case 2', {'elev_ft': 8210, 'altimeter': 29.1, 'oat_c': 43, 'mtow': 2550}, [14557, 2310]], ['sampled case 3', {'elev_ft': 4490, 'altimeter': 29.18, 'oat_c': 29, 'mtow': 2550}, [8165, 2440]]], [['hot high field', {'elev_ft': 5200, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [8000, 2450]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.380000000000003, 'oat_c': 25, 'mtow': 2400}, [3730, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -8, 'mtow': 3100}, [5300, 3050]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 37, 'mtow': 2550}, [2045, 2550]], ['sampled case 1', {'elev_ft': 2900, 'altimeter': 29.44, 'oat_c': 26, 'mtow': 2300}, [5511, 2240]], ['sampled case 2', {'elev_ft': 2480, 'altimeter': 29.04, 'oat_c': -9, 'mtow': 3100}, [1286, 3100]], ['sampled case 3', {'elev_ft': 1880, 'altimeter': 29.23, 'oat_c': 38, 'mtow': 2550}, [5947, 2490]]], [['hot high field', {'elev_ft': 5300, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [8124, 2440]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.360000000000003, 'oat_c': 25, 'mtow': 2400}, [3754, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -7, 'mtow': 3100}, [5420, 3050]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 38, 'mtow': 2550}, [2165, 2550]], ['sampled case 1', {'elev_ft': 5530, 'altimeter': 30.57, 'oat_c': 16, 'mtow': 2550}, [6171, 2480]], ['sampled case 2', {'elev_ft': 8640, 'altimeter': 29.52, 'oat_c': -7, 'mtow': 2550}, [8570, 2430]], ['sampled case 3', {'elev_ft': 8250, 'altimeter': 29.93, 'oat_c': 35, 'mtow': 2300}, [12618, 2100]]], [['hot high field', {'elev_ft': 5400, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [8248, 2440]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.340000000000003, 'oat_c': 25, 'mtow': 2400}, [3779, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -6, 'mtow': 3100}, [5540, 3040]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 39, 'mtow': 2550}, [2285, 2550]], ['sampled case 1', {'elev_ft': 8680, 'altimeter': 29.91, 'oat_c': -21, 'mtow': 2550}, [6456, 2480]], ['sampled case 2', {'elev_ft': 5840, 'altimeter': 29.35, 'oat_c': 15, 'mtow': 2300}, [7948, 2200]], ['sampled case 3', {'elev_ft': 200, 'altimeter': 30.56, 'oat_c': 11, 'mtow': 2550}, [-1026, 2550]]], [['hot high field', {'elev_ft': 5500, 'altimeter': 30.12, 'oat_c': 30, 'mtow': 2550}, [8372, 2440]], ['standard sea level', {'elev_ft': 0, 'altimeter': 29.92, 'oat_c': 15, 'mtow': 2550}, [0, 2550]], ['low pressure', {'elev_ft': 1500, 'altimeter': 29.32, 'oat_c': 25, 'mtow': 2400}, [3804, 2380]], ['cold high field', {'elev_ft': 6500, 'altimeter': 29.92, 'oat_c': -5, 'mtow': 3100}, [5660, 3040]], ['just above threshold', {'elev_ft': 2000, 'altimeter': 29.92, 'oat_c': 24, 'mtow': 2550}, [3560, 2530]], ['below sea level', {'elev_ft': -200, 'altimeter': 30.2, 'oat_c': 40, 'mtow': 2550}, [2405, 2550]], ['sampled case 1', {'elev_ft': 5350, 'altimeter': 29.18, 'oat_c': -19, 'mtow': 2550}, [3472, 2540]], ['sampled case 2', {'elev_ft': 1480, 'altimeter': 30.27, 'oat_c': -13, 'mtow': 3600}, [-1959, 3600]], ['sampled case 3', {'elev_ft': 5150, 'altimeter': 30.11, 'oat_c': 16, 'mtow': 3600}, [6270, 3530]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic toy loading model with stipulated constants; it is not an approved aircraft flight manual procedure and makes no claim of regulatory conformance. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-aviation-weight-balance-density-altitude-weight-derate-threshold","generated_at":"2026-09-29T14:47:41.751556+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A stipulated density-altitude weight derate: the reduction must use pressure altitude, the ISA temperature at that altitude, and conservative rounding.","repair":"Derate only the density altitude in excess of 3000 ft.","root_cause":"The excess is the full density altitude instead of the amount above the 3000 ft threshold.","sha256":"c6c6a81ad99e2ed1186f78ce787dea18df77fdd529dee32316444c684618e176","title":"Derate applied to the whole density altitude once above threshold · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.655,"exit_code":1,"observations":[{"actual":[7876,2450],"check":"hot high field","expected":[7876,2450],"passed":true},{"actual":[0,2490],"check":"standard sea level","expected":[0,2550],"passed":false},{"actual":[3705,2380],"check":"low pressure","expected":[3705,2380],"passed":true},{"actual":[5180,3050],"check":"cold high field","expected":[5180,3050],"passed":true},{"actual":[3560,2530],"check":"just above threshold","expected":[3560,2530],"passed":true},{"actual":[1925,2520],"check":"below sea level","expected":[1925,2550],"passed":false},{"actual":[6842,3520],"check":"sampled case 1","expected":[6842,3520],"passed":true},{"actual":[14557,2310],"check":"sampled case 2","expected":[14557,2310],"passed":true},{"actual":[8165,2440],"check":"sampled case 3","expected":[8165,2440],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"hot high field\", \"actual\": [7876, 2450], \"expected\": [7876, 2450], \"passed\": true}, {\"check\": \"standard sea level\", \"actual\": [0, 2490], \"expected\": [0, 2550], \"passed\": false}, {\"check\": \"low pressure\", \"actual\": [3705, 2380], \"expected\": [3705, 2380], \"passed\": true}, {\"check\": \"cold high field\", \"actual\": [5180, 3050], \"expected\": [5180, 3050], \"passed\": true}, {\"check\": \"just above threshold\", \"actual\": [3560, 2530], \"expected\": [3560, 2530], \"passed\": true}, {\"check\": \"below sea level\", \"actual\": [1925, 2520], \"expected\": [1925, 2550], \"passed\": false}, {\"check\": \"sampled case 1\", \"actual\": [6842, 3520], \"expected\": [6842, 3520], \"passed\": true}, {\"check\": \"sampled case 2\", \"actual\": [14557, 2310], \"expected\": [14557, 2310], \"passed\": true}, {\"check\": \"sampled case 3\", \"actual\": [8165, 2440], \"expected\": [8165, 2440], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.949,"exit_code":1,"observations":[{"actual":[7876,2390],"check":"hot high field","expected":[7876,2450],"passed":false},{"actual":[0,2550],"check":"standard sea level","expected":[0,2550],"passed":true},{"actual":[3705,2320],"check":"low pressure","expected":[3705,2380],"passed":false},{"actual":[5180,2990],"check":"cold high field","expected":[5180,3050],"passed":false},{"actual":[3560,2470],"check":"just above threshold","expected":[3560,2530],"passed":false},{"actual":[1925,2550],"check":"below sea level","expected":[1925,2550],"passed":true},{"actual":[6842,3460],"check":"sampled case 1","expected":[6842,3520],"passed":false},{"actual":[14557,2250],"check":"sampled case 2","expected":[14557,2310],"passed":false},{"actual":[8165,2380],"check":"sampled case 3","expected":[8165,2440],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"hot high field\", \"actual\": [7876, 2390], \"expected\": [7876, 2450], \"passed\": false}, {\"check\": \"standard sea level\", \"actual\": [0, 2550], \"expected\": [0, 2550], \"passed\": true}, {\"check\": \"low pressure\", \"actual\": [3705, 2320], \"expected\": [3705, 2380], \"passed\": false}, {\"check\": \"cold high field\", \"actual\": [5180, 2990], \"expected\": [5180, 3050], \"passed\": false}, {\"check\": \"just above threshold\", \"actual\": [3560, 2470], \"expected\": [3560, 2530], \"passed\": false}, {\"check\": \"below sea level\", \"actual\": [1925, 2550], \"expected\": [1925, 2550], \"passed\": true}, {\"check\": \"sampled case 1\", \"actual\": [6842, 3460], \"expected\": [6842, 3520], \"passed\": false}, {\"check\": \"sampled case 2\", \"actual\": [14557, 2250], \"expected\": [14557, 2310], \"passed\": false}, {\"check\": \"sampled case 3\", \"actual\": [8165, 2380], \"expected\": [8165, 2440], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.34,"exit_code":0,"observations":[{"actual":[7876,2450],"check":"hot high field","expected":[7876,2450],"passed":true},{"actual":[0,2550],"check":"standard sea level","expected":[0,2550],"passed":true},{"actual":[3705,2380],"check":"low pressure","expected":[3705,2380],"passed":true},{"actual":[5180,3050],"check":"cold high field","expected":[5180,3050],"passed":true},{"actual":[3560,2530],"check":"just above threshold","expected":[3560,2530],"passed":true},{"actual":[1925,2550],"check":"below sea level","expected":[1925,2550],"passed":true},{"actual":[6842,3520],"check":"sampled case 1","expected":[6842,3520],"passed":true},{"actual":[14557,2310],"check":"sampled case 2","expected":[14557,2310],"passed":true},{"actual":[8165,2440],"check":"sampled case 3","expected":[8165,2440],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"hot high field\", \"actual\": [7876, 2450], \"expected\": [7876, 2450], \"passed\": true}, {\"check\": \"standard sea level\", \"actual\": [0, 2550], \"expected\": [0, 2550], \"passed\": true}, {\"check\": \"low pressure\", \"actual\": [3705, 2380], \"expected\": [3705, 2380], \"passed\": true}, {\"check\": \"cold high field\", \"actual\": [5180, 3050], \"expected\": [5180, 3050], \"passed\": true}, {\"check\": \"just above threshold\", \"actual\": [3560, 2530], \"expected\": [3560, 2530], \"passed\": true}, {\"check\": \"below sea level\", \"actual\": [1925, 2550], \"expected\": [1925, 2550], \"passed\": true}, {\"check\": \"sampled case 1\", \"actual\": [6842, 3520], \"expected\": [6842, 3520], \"passed\": true}, {\"check\": \"sampled case 2\", \"actual\": [14557, 2310], \"expected\": [14557, 2310], \"passed\": true}, {\"check\": \"sampled case 3\", \"actual\": [8165, 2440], \"expected\": [8165, 2440], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}