{"abstract":"Hot days produce short-fuelled aircraft because too few gallons are ordered.","category":"Aviation weight and balance","checks":9,"contract":"Input {'temp_c','target_lb','onboard_gal','capacity_gal'}. Jet fuel density = 6.7 - 0.004*(T-15) lb/gal rounded to 3 decimals. Uplift gallons = target/density - onboard, rounded UP to whole gallons (after clearing noise); none needed -> [density, 0]; onboard+uplift above capacity -> 'ERR_CAPACITY'.","evaluation_group":"w2-aviation-weight-balance-fuel-uplift-volume","failed_approach":"Referencing the correction to 0 C instead of 15 C biases every density low.","family":"w2-aviation-weight-balance-fuel-uplift-volume-density-temp-sign","id":"FA-66311","implementations":{"attempt":{"sha256":"af169d54ad18cc9edc359f0cbd9aaadc7298ebbbce011e14398485da0ce499a8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    dens = round(6.7 - 0.004 * x['temp_c'], 3)\n    need = x['target_lb'] / dens - x['onboard_gal']\n    if need <= 0: return [dens, 0]\n    up = math.ceil(round(need, 6))\n    if x['onboard_gal'] + up > x['capacity_gal']: return 'ERR_CAPACITY'\n    return [dens, up]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['warm day uplift', {'temp_c': 30, 'target_lb': 12100.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1423]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 251.0, 'capacity_gal': 2800.0}, [6.84, 1065]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 501.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19010.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': 39, 'target_lb': 11250.0, 'onboard_gal': 1045.9, 'capacity_gal': 3000.0}, [6.604, 658]], ['sampled case 2', {'temp_c': 43, 'target_lb': 7430.0, 'onboard_gal': 1471.0, 'capacity_gal': 1500.0}, [6.588, 0]], ['sampled case 3', {'temp_c': 32, 'target_lb': 13530.0, 'onboard_gal': 1415.1, 'capacity_gal': 3000.0}, [6.632, 626]]], [['warm day uplift', {'temp_c': 30, 'target_lb': 12200.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1438]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 252.0, 'capacity_gal': 2800.0}, [6.84, 1064]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 502.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19020.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': -6, 'target_lb': 17110.0, 'onboard_gal': 738.4, 'capacity_gal': 3000.0}, [6.784, 1784]], ['sampled case 2', {'temp_c': -18, 'target_lb': 12230.0, 'onboard_gal': 914.0, 'capacity_gal': 1500.0}, 'ERR_CAPACITY'], ['sampled case 3', {'temp_c': -10, 'target_lb': 4890.0, 'onboard_gal': 1152.8, 'capacity_gal': 2800.0}, [6.8, 0]]], [['warm day uplift', {'temp_c': 30, 'target_lb': 12300.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1453]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 253.0, 'capacity_gal': 2800.0}, [6.84, 1063]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 503.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19030.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': 35, 'target_lb': 9630.0, 'onboard_gal': 1062.7, 'capacity_gal': 3000.0}, [6.62, 392]], ['sampled case 2', {'temp_c': -7, 'target_lb': 18780.0, 'onboard_gal': 704.7, 'capacity_gal': 3000.0}, [6.788, 2062]], ['sampled case 3', {'temp_c': -5, 'target_lb': 6020.0, 'onboard_gal': 776.7, 'capacity_gal': 1500.0}, [6.78, 112]]], [['warm day uplift', {'temp_c': 30, 'target_lb': 12400.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1468]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 254.0, 'capacity_gal': 2800.0}, [6.84, 1062]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 504.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19040.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': 0, 'target_lb': 12260.0, 'onboard_gal': 149.5, 'capacity_gal': 1500.0}, 'ERR_CAPACITY'], ['sampled case 2', {'temp_c': -16, 'target_lb': 6400.0, 'onboard_gal': 1488.9, 'capacity_gal': 2800.0}, [6.824, 0]], ['sampled case 3', {'temp_c': 7, 'target_lb': 11810.0, 'onboard_gal': 133.9, 'capacity_gal': 2800.0}, [6.732, 1621]]], [['warm day uplift', {'temp_c': 30, 'target_lb': 12500.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1483]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 255.0, 'capacity_gal': 2800.0}, [6.84, 1061]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 505.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19050.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': 41, 'target_lb': 11350.0, 'onboard_gal': 968.5, 'capacity_gal': 1500.0}, 'ERR_CAPACITY'], ['sampled case 2', {'temp_c': 22, 'target_lb': 16520.0, 'onboard_gal': 628.8, 'capacity_gal': 1500.0}, 'ERR_CAPACITY'], ['sampled case 3', {'temp_c': -22, 'target_lb': 8500.0, 'onboard_gal': 1100.2, 'capacity_gal': 1500.0}, [6.848, 142]]]]\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":"f31d1782098465e1974d9e8516576f8f3c0b0cf5aad04ea4525f0dd2af9e37dc","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    dens = round(6.7 + 0.004 * (x['temp_c'] - 15), 3)\n    need = x['target_lb'] / dens - x['onboard_gal']\n    if need <= 0: return [dens, 0]\n    up = math.ceil(round(need, 6))\n    if x['onboard_gal'] + up > x['capacity_gal']: return 'ERR_CAPACITY'\n    return [dens, up]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['warm day uplift', {'temp_c': 30, 'target_lb': 12100.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1423]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 251.0, 'capacity_gal': 2800.0}, [6.84, 1065]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 501.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19010.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': 39, 'target_lb': 11250.0, 'onboard_gal': 1045.9, 'capacity_gal': 3000.0}, [6.604, 658]], ['sampled case 2', {'temp_c': 43, 'target_lb': 7430.0, 'onboard_gal': 1471.0, 'capacity_gal': 1500.0}, [6.588, 0]], ['sampled case 3', {'temp_c': 32, 'target_lb': 13530.0, 'onboard_gal': 1415.1, 'capacity_gal': 3000.0}, [6.632, 626]]], [['warm day uplift', {'temp_c': 30, 'target_lb': 12200.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1438]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 252.0, 'capacity_gal': 2800.0}, [6.84, 1064]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 502.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19020.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': -6, 'target_lb': 17110.0, 'onboard_gal': 738.4, 'capacity_gal': 3000.0}, [6.784, 1784]], ['sampled case 2', {'temp_c': -18, 'target_lb': 12230.0, 'onboard_gal': 914.0, 'capacity_gal': 1500.0}, 'ERR_CAPACITY'], ['sampled case 3', {'temp_c': -10, 'target_lb': 4890.0, 'onboard_gal': 1152.8, 'capacity_gal': 2800.0}, [6.8, 0]]], [['warm day uplift', {'temp_c': 30, 'target_lb': 12300.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1453]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 253.0, 'capacity_gal': 2800.0}, [6.84, 1063]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 503.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19030.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': 35, 'target_lb': 9630.0, 'onboard_gal': 1062.7, 'capacity_gal': 3000.0}, [6.62, 392]], ['sampled case 2', {'temp_c': -7, 'target_lb': 18780.0, 'onboard_gal': 704.7, 'capacity_gal': 3000.0}, [6.788, 2062]], ['sampled case 3', {'temp_c': -5, 'target_lb': 6020.0, 'onboard_gal': 776.7, 'capacity_gal': 1500.0}, [6.78, 112]]], [['warm day uplift', {'temp_c': 30, 'target_lb': 12400.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1468]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 254.0, 'capacity_gal': 2800.0}, [6.84, 1062]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 504.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19040.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': 0, 'target_lb': 12260.0, 'onboard_gal': 149.5, 'capacity_gal': 1500.0}, 'ERR_CAPACITY'], ['sampled case 2', {'temp_c': -16, 'target_lb': 6400.0, 'onboard_gal': 1488.9, 'capacity_gal': 2800.0}, [6.824, 0]], ['sampled case 3', {'temp_c': 7, 'target_lb': 11810.0, 'onboard_gal': 133.9, 'capacity_gal': 2800.0}, [6.732, 1621]]], [['warm day uplift', {'temp_c': 30, 'target_lb': 12500.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1483]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 255.0, 'capacity_gal': 2800.0}, [6.84, 1061]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 505.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19050.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': 41, 'target_lb': 11350.0, 'onboard_gal': 968.5, 'capacity_gal': 1500.0}, 'ERR_CAPACITY'], ['sampled case 2', {'temp_c': 22, 'target_lb': 16520.0, 'onboard_gal': 628.8, 'capacity_gal': 1500.0}, 'ERR_CAPACITY'], ['sampled case 3', {'temp_c': -22, 'target_lb': 8500.0, 'onboard_gal': 1100.2, 'capacity_gal': 1500.0}, [6.848, 142]]]]\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":"7ebbb613bbfba75efe208a24df92d68d0a134943e2c27c126e1d4e13691009f5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    dens = round(6.7 - 0.004 * (x['temp_c'] - 15), 3)\n    need = x['target_lb'] / dens - x['onboard_gal']\n    if need <= 0: return [dens, 0]\n    up = math.ceil(round(need, 6))\n    if x['onboard_gal'] + up > x['capacity_gal']: return 'ERR_CAPACITY'\n    return [dens, up]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['warm day uplift', {'temp_c': 30, 'target_lb': 12100.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1423]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 251.0, 'capacity_gal': 2800.0}, [6.84, 1065]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 501.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19010.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': 39, 'target_lb': 11250.0, 'onboard_gal': 1045.9, 'capacity_gal': 3000.0}, [6.604, 658]], ['sampled case 2', {'temp_c': 43, 'target_lb': 7430.0, 'onboard_gal': 1471.0, 'capacity_gal': 1500.0}, [6.588, 0]], ['sampled case 3', {'temp_c': 32, 'target_lb': 13530.0, 'onboard_gal': 1415.1, 'capacity_gal': 3000.0}, [6.632, 626]]], [['warm day uplift', {'temp_c': 30, 'target_lb': 12200.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1438]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 252.0, 'capacity_gal': 2800.0}, [6.84, 1064]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 502.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19020.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': -6, 'target_lb': 17110.0, 'onboard_gal': 738.4, 'capacity_gal': 3000.0}, [6.784, 1784]], ['sampled case 2', {'temp_c': -18, 'target_lb': 12230.0, 'onboard_gal': 914.0, 'capacity_gal': 1500.0}, 'ERR_CAPACITY'], ['sampled case 3', {'temp_c': -10, 'target_lb': 4890.0, 'onboard_gal': 1152.8, 'capacity_gal': 2800.0}, [6.8, 0]]], [['warm day uplift', {'temp_c': 30, 'target_lb': 12300.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1453]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 253.0, 'capacity_gal': 2800.0}, [6.84, 1063]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 503.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19030.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': 35, 'target_lb': 9630.0, 'onboard_gal': 1062.7, 'capacity_gal': 3000.0}, [6.62, 392]], ['sampled case 2', {'temp_c': -7, 'target_lb': 18780.0, 'onboard_gal': 704.7, 'capacity_gal': 3000.0}, [6.788, 2062]], ['sampled case 3', {'temp_c': -5, 'target_lb': 6020.0, 'onboard_gal': 776.7, 'capacity_gal': 1500.0}, [6.78, 112]]], [['warm day uplift', {'temp_c': 30, 'target_lb': 12400.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1468]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 254.0, 'capacity_gal': 2800.0}, [6.84, 1062]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 504.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19040.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': 0, 'target_lb': 12260.0, 'onboard_gal': 149.5, 'capacity_gal': 1500.0}, 'ERR_CAPACITY'], ['sampled case 2', {'temp_c': -16, 'target_lb': 6400.0, 'onboard_gal': 1488.9, 'capacity_gal': 2800.0}, [6.824, 0]], ['sampled case 3', {'temp_c': 7, 'target_lb': 11810.0, 'onboard_gal': 133.9, 'capacity_gal': 2800.0}, [6.732, 1621]]], [['warm day uplift', {'temp_c': 30, 'target_lb': 12500.0, 'onboard_gal': 400.0, 'capacity_gal': 2800.0}, [6.64, 1483]], ['cold day uplift', {'temp_c': -20, 'target_lb': 9000.0, 'onboard_gal': 255.0, 'capacity_gal': 2800.0}, [6.84, 1061]], ['already enough fuel', {'temp_c': 15, 'target_lb': 3000.0, 'onboard_gal': 505.0, 'capacity_gal': 2800.0}, [6.7, 0]], ['exact whole gallons', {'temp_c': 15, 'target_lb': 6700.0, 'onboard_gal': 200.0, 'capacity_gal': 2800.0}, [6.7, 800]], ['exceeds capacity', {'temp_c': 5, 'target_lb': 19050.0, 'onboard_gal': 300.0, 'capacity_gal': 2800.0}, 'ERR_CAPACITY'], ['fills to exactly capacity', {'temp_c': 15, 'target_lb': 18760.0, 'onboard_gal': 500.0, 'capacity_gal': 2800.0}, [6.7, 2300]], ['sampled case 1', {'temp_c': 41, 'target_lb': 11350.0, 'onboard_gal': 968.5, 'capacity_gal': 1500.0}, 'ERR_CAPACITY'], ['sampled case 2', {'temp_c': 22, 'target_lb': 16520.0, 'onboard_gal': 628.8, 'capacity_gal': 1500.0}, 'ERR_CAPACITY'], ['sampled case 3', {'temp_c': -22, 'target_lb': 8500.0, 'onboard_gal': 1100.2, 'capacity_gal': 1500.0}, [6.848, 142]]]]\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-fuel-uplift-volume-density-temp-sign","generated_at":"2026-09-29T14:47:41.992025+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Fuel is ordered in volume but planned in weight; the conversion depends on temperature-corrected density and must not short-fuel the aircraft.","repair":"Density falls by 0.004 lb/gal per degree above 15 C.","root_cause":"The temperature correction increases density as temperature rises.","sha256":"da7bed2f375d1cfdd3bbb281b07db31c915822680ea6820786ed9c63095efd38","title":"Warm fuel treated as denser · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":81.253,"exit_code":1,"observations":[{"actual":[6.58,1439],"check":"warm day uplift","expected":[6.64,1423],"passed":false},{"actual":[6.78,1077],"check":"cold day uplift","expected":[6.84,1065],"passed":false},{"actual":[6.64,0],"check":"already enough fuel","expected":[6.7,0],"passed":false},{"actual":[6.64,810],"check":"exact whole gallons","expected":[6.7,800],"passed":false},{"actual":"ERR_CAPACITY","check":"exceeds capacity","expected":"ERR_CAPACITY","passed":true},{"actual":"ERR_CAPACITY","check":"fills to exactly capacity","expected":[6.7,2300],"passed":false},{"actual":[6.544,674],"check":"sampled case 1","expected":[6.604,658],"passed":false},{"actual":[6.528,0],"check":"sampled case 2","expected":[6.588,0],"passed":false},{"actual":[6.572,644],"check":"sampled case 3","expected":[6.632,626],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"warm day uplift\", \"actual\": [6.58, 1439], \"expected\": [6.64, 1423], \"passed\": false}, {\"check\": \"cold day uplift\", \"actual\": [6.78, 1077], \"expected\": [6.84, 1065], \"passed\": false}, {\"check\": \"already enough fuel\", \"actual\": [6.64, 0], \"expected\": [6.7, 0], \"passed\": false}, {\"check\": \"exact whole gallons\", \"actual\": [6.64, 810], \"expected\": [6.7, 800], \"passed\": false}, {\"check\": \"exceeds capacity\", \"actual\": \"ERR_CAPACITY\", \"expected\": \"ERR_CAPACITY\", \"passed\": true}, {\"check\": \"fills to exactly capacity\", \"actual\": \"ERR_CAPACITY\", \"expected\": [6.7, 2300], \"passed\": false}, {\"check\": \"sampled case 1\", \"actual\": [6.544, 674], \"expected\": [6.604, 658], \"passed\": false}, {\"check\": \"sampled case 2\", \"actual\": [6.528, 0], \"expected\": [6.588, 0], \"passed\": false}, {\"check\": \"sampled case 3\", \"actual\": [6.572, 644], \"expected\": [6.632, 626], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":55.993,"exit_code":1,"observations":[{"actual":[6.76,1390],"check":"warm day uplift","expected":[6.64,1423],"passed":false},{"actual":[6.56,1121],"check":"cold day uplift","expected":[6.84,1065],"passed":false},{"actual":[6.7,0],"check":"already enough fuel","expected":[6.7,0],"passed":true},{"actual":[6.7,800],"check":"exact whole gallons","expected":[6.7,800],"passed":true},{"actual":"ERR_CAPACITY","check":"exceeds capacity","expected":"ERR_CAPACITY","passed":true},{"actual":[6.7,2300],"check":"fills to exactly capacity","expected":[6.7,2300],"passed":true},{"actual":[6.796,610],"check":"sampled case 1","expected":[6.604,658],"passed":false},{"actual":[6.812,0],"check":"sampled case 2","expected":[6.588,0],"passed":false},{"actual":[6.768,585],"check":"sampled case 3","expected":[6.632,626],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"warm day uplift\", \"actual\": [6.76, 1390], \"expected\": [6.64, 1423], \"passed\": false}, {\"check\": \"cold day uplift\", \"actual\": [6.56, 1121], \"expected\": [6.84, 1065], \"passed\": false}, {\"check\": \"already enough fuel\", \"actual\": [6.7, 0], \"expected\": [6.7, 0], \"passed\": true}, {\"check\": \"exact whole gallons\", \"actual\": [6.7, 800], \"expected\": [6.7, 800], \"passed\": true}, {\"check\": \"exceeds capacity\", \"actual\": \"ERR_CAPACITY\", \"expected\": \"ERR_CAPACITY\", \"passed\": true}, {\"check\": \"fills to exactly capacity\", \"actual\": [6.7, 2300], \"expected\": [6.7, 2300], \"passed\": true}, {\"check\": \"sampled case 1\", \"actual\": [6.796, 610], \"expected\": [6.604, 658], \"passed\": false}, {\"check\": \"sampled case 2\", \"actual\": [6.812, 0], \"expected\": [6.588, 0], \"passed\": false}, {\"check\": \"sampled case 3\", \"actual\": [6.768, 585], \"expected\": [6.632, 626], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":59.371,"exit_code":0,"observations":[{"actual":[6.64,1423],"check":"warm day uplift","expected":[6.64,1423],"passed":true},{"actual":[6.84,1065],"check":"cold day uplift","expected":[6.84,1065],"passed":true},{"actual":[6.7,0],"check":"already enough fuel","expected":[6.7,0],"passed":true},{"actual":[6.7,800],"check":"exact whole gallons","expected":[6.7,800],"passed":true},{"actual":"ERR_CAPACITY","check":"exceeds capacity","expected":"ERR_CAPACITY","passed":true},{"actual":[6.7,2300],"check":"fills to exactly capacity","expected":[6.7,2300],"passed":true},{"actual":[6.604,658],"check":"sampled case 1","expected":[6.604,658],"passed":true},{"actual":[6.588,0],"check":"sampled case 2","expected":[6.588,0],"passed":true},{"actual":[6.632,626],"check":"sampled case 3","expected":[6.632,626],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"warm day uplift\", \"actual\": [6.64, 1423], \"expected\": [6.64, 1423], \"passed\": true}, {\"check\": \"cold day uplift\", \"actual\": [6.84, 1065], \"expected\": [6.84, 1065], \"passed\": true}, {\"check\": \"already enough fuel\", \"actual\": [6.7, 0], \"expected\": [6.7, 0], \"passed\": true}, {\"check\": \"exact whole gallons\", \"actual\": [6.7, 800], \"expected\": [6.7, 800], \"passed\": true}, {\"check\": \"exceeds capacity\", \"actual\": \"ERR_CAPACITY\", \"expected\": \"ERR_CAPACITY\", \"passed\": true}, {\"check\": \"fills to exactly capacity\", \"actual\": [6.7, 2300], \"expected\": [6.7, 2300], \"passed\": true}, {\"check\": \"sampled case 1\", \"actual\": [6.604, 658], \"expected\": [6.604, 658], \"passed\": true}, {\"check\": \"sampled case 2\", \"actual\": [6.588, 0], \"expected\": [6.588, 0], \"passed\": true}, {\"check\": \"sampled case 3\", \"actual\": [6.632, 626], \"expected\": [6.632, 626], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}