{"abstract":"Utility-category loads well aft of 40.5 in are reported IN.","category":"Aviation weight and balance","checks":12,"contract":"Input [weight lb, CG in, 'normal'|'utility']. Below 1500 lb -> 'ERR_BELOW_EMPTY'. Max weight 2550 normal / 2200 utility -> 'OVERWEIGHT' first. Forward limit 35.0 in up to 1950 lb then linear to 41.0 in at 2550 lb; aft limit 47.3 normal / 40.5 utility. Limits inclusive; else 'FWD','AFT','IN'.","evaluation_group":"w2-aviation-weight-balance-cg-envelope","failed_approach":"Choosing the aft limit from weight instead of category penalises light normal-category loads.","family":"w2-aviation-weight-balance-cg-envelope-utility-aft-limit","id":"FA-65881","implementations":{"attempt":{"sha256":"cb60ba3a86e42e0fee9eccb1bbe487364fae475a26021f87de69aba3fa0bb8a6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    w, cg, cat = x\n    if w < 1500: return 'ERR_BELOW_EMPTY'\n    maxw = 2550 if cat == 'normal' else 2200\n    if w > maxw: return 'OVERWEIGHT'\n    if w <= 1950:\n        fwd = 35.0\n    else:\n        fwd = 35.0 + (w - 1950) * (41.0 - 35.0) / (2550 - 1950)\n    aft = 40.5 if w <= 2200 else 47.3\n    if cg < fwd - 1e-9: return 'FWD'\n    if cg > aft + 1e-9: return 'AFT'\n    return 'IN'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['mid-envelope normal', [2110, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2301, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.1, 'normal'], 'FWD'], ['aft of utility limit', [2100, 41.1, 'utility'], 'AFT'], ['below empty weight', [1499, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [2415, 48.96, 'normal'], 'AFT'], ['sampled case 2', [2550, 34.9, 'normal'], 'FWD'], ['sampled case 3', [1950, 42.86, 'utility'], 'AFT']], [['mid-envelope normal', [2120, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2302, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.2, 'normal'], 'FWD'], ['aft of utility limit', [2100, 41.2, 'utility'], 'AFT'], ['below empty weight', [1498, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [1950, 37.89, 'utility'], 'IN'], ['sampled case 2', [2561, 48.01, 'normal'], 'OVERWEIGHT'], ['sampled case 3', [2550, 45.7, 'normal'], 'IN']], [['mid-envelope normal', [2130, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2303, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.3, 'normal'], 'FWD'], ['aft of utility limit', [2100, 41.3, 'utility'], 'AFT'], ['below empty weight', [1497, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [1950, 34.67, 'utility'], 'FWD'], ['sampled case 2', [1500, 42.58, 'utility'], 'AFT'], ['sampled case 3', [2200, 48.0, 'utility'], 'AFT']], [['mid-envelope normal', [2140, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2304, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.4, 'normal'], 'FWD'], ['aft of utility limit', [2100, 41.4, 'utility'], 'AFT'], ['below empty weight', [1496, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [2200, 42.7, 'normal'], 'IN'], ['sampled case 2', [1969, 47.53, 'normal'], 'AFT'], ['sampled case 3', [1500, 48.2, 'normal'], 'AFT']], [['mid-envelope normal', [2150, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2305, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.5, 'normal'], 'IN'], ['aft of utility limit', [2100, 41.5, 'utility'], 'AFT'], ['below empty weight', [1495, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [1950, 45.06, 'normal'], 'IN'], ['sampled case 2', [2200, 43.63, 'utility'], 'AFT'], ['sampled case 3', [2200, 41.43, 'normal'], 'IN']]]\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":"134c191bbbd460e1f817abcf08f2c2af252d5d59b09bd58bd46b1766553c5d1e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    w, cg, cat = x\n    if w < 1500: return 'ERR_BELOW_EMPTY'\n    maxw = 2550 if cat == 'normal' else 2200\n    if w > maxw: return 'OVERWEIGHT'\n    if w <= 1950:\n        fwd = 35.0\n    else:\n        fwd = 35.0 + (w - 1950) * (41.0 - 35.0) / (2550 - 1950)\n    aft = 47.3\n    if cg < fwd - 1e-9: return 'FWD'\n    if cg > aft + 1e-9: return 'AFT'\n    return 'IN'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['mid-envelope normal', [2110, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2301, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.1, 'normal'], 'FWD'], ['aft of utility limit', [2100, 41.1, 'utility'], 'AFT'], ['below empty weight', [1499, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [2415, 48.96, 'normal'], 'AFT'], ['sampled case 2', [2550, 34.9, 'normal'], 'FWD'], ['sampled case 3', [1950, 42.86, 'utility'], 'AFT']], [['mid-envelope normal', [2120, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2302, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.2, 'normal'], 'FWD'], ['aft of utility limit', [2100, 41.2, 'utility'], 'AFT'], ['below empty weight', [1498, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [1950, 37.89, 'utility'], 'IN'], ['sampled case 2', [2561, 48.01, 'normal'], 'OVERWEIGHT'], ['sampled case 3', [2550, 45.7, 'normal'], 'IN']], [['mid-envelope normal', [2130, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2303, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.3, 'normal'], 'FWD'], ['aft of utility limit', [2100, 41.3, 'utility'], 'AFT'], ['below empty weight', [1497, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [1950, 34.67, 'utility'], 'FWD'], ['sampled case 2', [1500, 42.58, 'utility'], 'AFT'], ['sampled case 3', [2200, 48.0, 'utility'], 'AFT']], [['mid-envelope normal', [2140, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2304, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.4, 'normal'], 'FWD'], ['aft of utility limit', [2100, 41.4, 'utility'], 'AFT'], ['below empty weight', [1496, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [2200, 42.7, 'normal'], 'IN'], ['sampled case 2', [1969, 47.53, 'normal'], 'AFT'], ['sampled case 3', [1500, 48.2, 'normal'], 'AFT']], [['mid-envelope normal', [2150, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2305, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.5, 'normal'], 'IN'], ['aft of utility limit', [2100, 41.5, 'utility'], 'AFT'], ['below empty weight', [1495, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [1950, 45.06, 'normal'], 'IN'], ['sampled case 2', [2200, 43.63, 'utility'], 'AFT'], ['sampled case 3', [2200, 41.43, 'normal'], 'IN']]]\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":"9df248af105dacbd8e70f90c709fe7488581c9d78c4c9e4867b1e146821ab25c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    w, cg, cat = x\n    if w < 1500: return 'ERR_BELOW_EMPTY'\n    maxw = 2550 if cat == 'normal' else 2200\n    if w > maxw: return 'OVERWEIGHT'\n    if w <= 1950:\n        fwd = 35.0\n    else:\n        fwd = 35.0 + (w - 1950) * (41.0 - 35.0) / (2550 - 1950)\n    aft = 47.3 if cat == 'normal' else 40.5\n    if cg < fwd - 1e-9: return 'FWD'\n    if cg > aft + 1e-9: return 'AFT'\n    return 'IN'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['mid-envelope normal', [2110, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2301, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.1, 'normal'], 'FWD'], ['aft of utility limit', [2100, 41.1, 'utility'], 'AFT'], ['below empty weight', [1499, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [2415, 48.96, 'normal'], 'AFT'], ['sampled case 2', [2550, 34.9, 'normal'], 'FWD'], ['sampled case 3', [1950, 42.86, 'utility'], 'AFT']], [['mid-envelope normal', [2120, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2302, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.2, 'normal'], 'FWD'], ['aft of utility limit', [2100, 41.2, 'utility'], 'AFT'], ['below empty weight', [1498, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [1950, 37.89, 'utility'], 'IN'], ['sampled case 2', [2561, 48.01, 'normal'], 'OVERWEIGHT'], ['sampled case 3', [2550, 45.7, 'normal'], 'IN']], [['mid-envelope normal', [2130, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2303, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.3, 'normal'], 'FWD'], ['aft of utility limit', [2100, 41.3, 'utility'], 'AFT'], ['below empty weight', [1497, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [1950, 34.67, 'utility'], 'FWD'], ['sampled case 2', [1500, 42.58, 'utility'], 'AFT'], ['sampled case 3', [2200, 48.0, 'utility'], 'AFT']], [['mid-envelope normal', [2140, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2304, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.4, 'normal'], 'FWD'], ['aft of utility limit', [2100, 41.4, 'utility'], 'AFT'], ['below empty weight', [1496, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [2200, 42.7, 'normal'], 'IN'], ['sampled case 2', [1969, 47.53, 'normal'], 'AFT'], ['sampled case 3', [1500, 48.2, 'normal'], 'AFT']], [['mid-envelope normal', [2150, 42.0, 'normal'], 'IN'], ['on sloped forward line', [2250, 38.0, 'normal'], 'IN'], ['on aft limit utility', [2000, 40.5, 'utility'], 'IN'], ['utility overweight but normal legal', [2305, 42.0, 'utility'], 'OVERWEIGHT'], ['exactly max gross normal', [2550, 41.0, 'normal'], 'IN'], ['forward of sloped line', [2400, 39.5, 'normal'], 'IN'], ['aft of utility limit', [2100, 41.5, 'utility'], 'AFT'], ['below empty weight', [1495, 40.0, 'normal'], 'ERR_BELOW_EMPTY'], ['exactly empty weight', [1500, 36.0, 'utility'], 'IN'], ['sampled case 1', [1950, 45.06, 'normal'], 'IN'], ['sampled case 2', [2200, 43.63, 'utility'], 'AFT'], ['sampled case 3', [2200, 41.43, 'normal'], 'IN']]]\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-cg-envelope-utility-aft-limit","generated_at":"2026-09-29T14:47:37.944146+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A category-dependent CG envelope with a sloped forward boundary; limit lines are part of the approved envelope.","repair":"Choose the aft limit from the category: 47.3 in normal, 40.5 in utility.","root_cause":"The aft limit is constant and never switches to the tighter utility value.","sha256":"f3e1e8f79627508027b452f59ad37426c4b3e558bfc0828a579f6563c05469b1","title":"Utility aft limit replaced by the normal aft limit · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.942,"exit_code":1,"observations":[{"actual":"AFT","check":"mid-envelope normal","expected":"IN","passed":false},{"actual":"IN","check":"on sloped forward line","expected":"IN","passed":true},{"actual":"IN","check":"on aft limit utility","expected":"IN","passed":true},{"actual":"OVERWEIGHT","check":"utility overweight but normal legal","expected":"OVERWEIGHT","passed":true},{"actual":"IN","check":"exactly max gross normal","expected":"IN","passed":true},{"actual":"FWD","check":"forward of sloped line","expected":"FWD","passed":true},{"actual":"AFT","check":"aft of utility limit","expected":"AFT","passed":true},{"actual":"ERR_BELOW_EMPTY","check":"below empty weight","expected":"ERR_BELOW_EMPTY","passed":true},{"actual":"IN","check":"exactly empty weight","expected":"IN","passed":true},{"actual":"AFT","check":"sampled case 1","expected":"AFT","passed":true},{"actual":"FWD","check":"sampled case 2","expected":"FWD","passed":true},{"actual":"AFT","check":"sampled case 3","expected":"AFT","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"mid-envelope normal\", \"actual\": \"AFT\", \"expected\": \"IN\", \"passed\": false}, {\"check\": \"on sloped forward line\", \"actual\": \"IN\", \"expected\": \"IN\", \"passed\": true}, {\"check\": \"on aft limit utility\", \"actual\": \"IN\", \"expected\": \"IN\", \"passed\": true}, {\"check\": \"utility overweight but normal legal\", \"actual\": \"OVERWEIGHT\", \"expected\": \"OVERWEIGHT\", \"passed\": true}, {\"check\": \"exactly max gross normal\", \"actual\": \"IN\", \"expected\": \"IN\", \"passed\": true}, {\"check\": \"forward of sloped line\", \"actual\": \"FWD\", \"expected\": \"FWD\", \"passed\": true}, {\"check\": \"aft of utility limit\", \"actual\": \"AFT\", \"expected\": \"AFT\", \"passed\": true}, {\"check\": \"below empty weight\", \"actual\": \"ERR_BELOW_EMPTY\", \"expected\": \"ERR_BELOW_EMPTY\", \"passed\": true}, {\"check\": \"exactly empty weight\", \"actual\": \"IN\", \"expected\": \"IN\", \"passed\": true}, {\"check\": \"sampled case 1\", \"actual\": \"AFT\", \"expected\": \"AFT\", \"passed\": true}, {\"check\": \"sampled case 2\", \"actual\": \"FWD\", \"expected\": \"FWD\", \"passed\": true}, {\"check\": \"sampled case 3\", \"actual\": \"AFT\", \"expected\": \"AFT\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.759,"exit_code":1,"observations":[{"actual":"IN","check":"mid-envelope normal","expected":"IN","passed":true},{"actual":"IN","check":"on sloped forward line","expected":"IN","passed":true},{"actual":"IN","check":"on aft limit utility","expected":"IN","passed":true},{"actual":"OVERWEIGHT","check":"utility overweight but normal legal","expected":"OVERWEIGHT","passed":true},{"actual":"IN","check":"exactly max gross normal","expected":"IN","passed":true},{"actual":"FWD","check":"forward of sloped line","expected":"FWD","passed":true},{"actual":"IN","check":"aft of utility limit","expected":"AFT","passed":false},{"actual":"ERR_BELOW_EMPTY","check":"below empty weight","expected":"ERR_BELOW_EMPTY","passed":true},{"actual":"IN","check":"exactly empty weight","expected":"IN","passed":true},{"actual":"AFT","check":"sampled case 1","expected":"AFT","passed":true},{"actual":"FWD","check":"sampled case 2","expected":"FWD","passed":true},{"actual":"IN","check":"sampled case 3","expected":"AFT","passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"mid-envelope normal\", \"actual\": \"IN\", \"expected\": \"IN\", \"passed\": true}, {\"check\": \"on sloped forward line\", \"actual\": \"IN\", \"expected\": \"IN\", \"passed\": true}, {\"check\": \"on aft limit utility\", \"actual\": \"IN\", \"expected\": \"IN\", \"passed\": true}, {\"check\": \"utility overweight but normal legal\", \"actual\": \"OVERWEIGHT\", \"expected\": \"OVERWEIGHT\", \"passed\": true}, {\"check\": \"exactly max gross normal\", \"actual\": \"IN\", \"expected\": \"IN\", \"passed\": true}, {\"check\": \"forward of sloped line\", \"actual\": \"FWD\", \"expected\": \"FWD\", \"passed\": true}, {\"check\": \"aft of utility limit\", \"actual\": \"IN\", \"expected\": \"AFT\", \"passed\": false}, {\"check\": \"below empty weight\", \"actual\": \"ERR_BELOW_EMPTY\", \"expected\": \"ERR_BELOW_EMPTY\", \"passed\": true}, {\"check\": \"exactly empty weight\", \"actual\": \"IN\", \"expected\": \"IN\", \"passed\": true}, {\"check\": \"sampled case 1\", \"actual\": \"AFT\", \"expected\": \"AFT\", \"passed\": true}, {\"check\": \"sampled case 2\", \"actual\": \"FWD\", \"expected\": \"FWD\", \"passed\": true}, {\"check\": \"sampled case 3\", \"actual\": \"IN\", \"expected\": \"AFT\", \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.341,"exit_code":0,"observations":[{"actual":"IN","check":"mid-envelope normal","expected":"IN","passed":true},{"actual":"IN","check":"on sloped forward line","expected":"IN","passed":true},{"actual":"IN","check":"on aft limit utility","expected":"IN","passed":true},{"actual":"OVERWEIGHT","check":"utility overweight but normal legal","expected":"OVERWEIGHT","passed":true},{"actual":"IN","check":"exactly max gross normal","expected":"IN","passed":true},{"actual":"FWD","check":"forward of sloped line","expected":"FWD","passed":true},{"actual":"AFT","check":"aft of utility limit","expected":"AFT","passed":true},{"actual":"ERR_BELOW_EMPTY","check":"below empty weight","expected":"ERR_BELOW_EMPTY","passed":true},{"actual":"IN","check":"exactly empty weight","expected":"IN","passed":true},{"actual":"AFT","check":"sampled case 1","expected":"AFT","passed":true},{"actual":"FWD","check":"sampled case 2","expected":"FWD","passed":true},{"actual":"AFT","check":"sampled case 3","expected":"AFT","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"mid-envelope normal\", \"actual\": \"IN\", \"expected\": \"IN\", \"passed\": true}, {\"check\": \"on sloped forward line\", \"actual\": \"IN\", \"expected\": \"IN\", \"passed\": true}, {\"check\": \"on aft limit utility\", \"actual\": \"IN\", \"expected\": \"IN\", \"passed\": true}, {\"check\": \"utility overweight but normal legal\", \"actual\": \"OVERWEIGHT\", \"expected\": \"OVERWEIGHT\", \"passed\": true}, {\"check\": \"exactly max gross normal\", \"actual\": \"IN\", \"expected\": \"IN\", \"passed\": true}, {\"check\": \"forward of sloped line\", \"actual\": \"FWD\", \"expected\": \"FWD\", \"passed\": true}, {\"check\": \"aft of utility limit\", \"actual\": \"AFT\", \"expected\": \"AFT\", \"passed\": true}, {\"check\": \"below empty weight\", \"actual\": \"ERR_BELOW_EMPTY\", \"expected\": \"ERR_BELOW_EMPTY\", \"passed\": true}, {\"check\": \"exactly empty weight\", \"actual\": \"IN\", \"expected\": \"IN\", \"passed\": true}, {\"check\": \"sampled case 1\", \"actual\": \"AFT\", \"expected\": \"AFT\", \"passed\": true}, {\"check\": \"sampled case 2\", \"actual\": \"FWD\", \"expected\": \"FWD\", \"passed\": true}, {\"check\": \"sampled case 3\", \"actual\": \"AFT\", \"expected\": \"AFT\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}