{"abstract":"The published allowable weight is a few pounds above the computed derated limit.","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":"Nearest rounding is still non-conservative for half the cases.","family":"w2-aviation-weight-balance-density-altitude-weight-allowed-round-up","id":"FA-66276","implementations":{"attempt":{"sha256":"8cdf53e27a90071eb6d25b3281c41e311c098da130fb740d47dfaf22720a44c9","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(round(allowed, -1))]\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":"ee129e430df5df53cc8fc35f446082843116f683461401f75452c3ea1b469749","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"},"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-allowed-round-up","generated_at":"2026-09-29T14:47:41.755283+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":"Round the allowed weight down to a 10 lb step.","root_cause":"The final rounding uses a ceiling instead of a floor.","sha256":"af052adfcf4ecd41c43a403cba0558ef3eb3f4db17792a66d1157ec749c58203","title":"Allowed weight rounded up to the next 10 lb · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.199,"exit_code":1,"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,2390],"check":"low pressure","expected":[3705,2380],"passed":false},{"actual":[5180,3060],"check":"cold high field","expected":[5180,3050],"passed":false},{"actual":[3560,2540],"check":"just above threshold","expected":[3560,2530],"passed":false},{"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,2320],"check":"sampled case 2","expected":[14557,2310],"passed":false},{"actual":[8165,2450],"check":"sampled case 3","expected":[8165,2440],"passed":false}],"passed":false,"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, 2390], \"expected\": [3705, 2380], \"passed\": false}, {\"check\": \"cold high field\", \"actual\": [5180, 3060], \"expected\": [5180, 3050], \"passed\": false}, {\"check\": \"just above threshold\", \"actual\": [3560, 2540], \"expected\": [3560, 2530], \"passed\": false}, {\"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, 2320], \"expected\": [14557, 2310], \"passed\": false}, {\"check\": \"sampled case 3\", \"actual\": [8165, 2450], \"expected\": [8165, 2440], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.053,"exit_code":1,"observations":[{"actual":[7876,2460],"check":"hot high field","expected":[7876,2450],"passed":false},{"actual":[0,2550],"check":"standard sea level","expected":[0,2550],"passed":true},{"actual":[3705,2390],"check":"low pressure","expected":[3705,2380],"passed":false},{"actual":[5180,3060],"check":"cold high field","expected":[5180,3050],"passed":false},{"actual":[3560,2540],"check":"just above threshold","expected":[3560,2530],"passed":false},{"actual":[1925,2550],"check":"below sea level","expected":[1925,2550],"passed":true},{"actual":[6842,3530],"check":"sampled case 1","expected":[6842,3520],"passed":false},{"actual":[14557,2320],"check":"sampled case 2","expected":[14557,2310],"passed":false},{"actual":[8165,2450],"check":"sampled case 3","expected":[8165,2440],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"hot high field\", \"actual\": [7876, 2460], \"expected\": [7876, 2450], \"passed\": false}, {\"check\": \"standard sea level\", \"actual\": [0, 2550], \"expected\": [0, 2550], \"passed\": true}, {\"check\": \"low pressure\", \"actual\": [3705, 2390], \"expected\": [3705, 2380], \"passed\": false}, {\"check\": \"cold high field\", \"actual\": [5180, 3060], \"expected\": [5180, 3050], \"passed\": false}, {\"check\": \"just above threshold\", \"actual\": [3560, 2540], \"expected\": [3560, 2530], \"passed\": false}, {\"check\": \"below sea level\", \"actual\": [1925, 2550], \"expected\": [1925, 2550], \"passed\": true}, {\"check\": \"sampled case 1\", \"actual\": [6842, 3530], \"expected\": [6842, 3520], \"passed\": false}, {\"check\": \"sampled case 2\", \"actual\": [14557, 2320], \"expected\": [14557, 2310], \"passed\": false}, {\"check\": \"sampled case 3\", \"actual\": [8165, 2450], \"expected\": [8165, 2440], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":50.289,"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"}