{"abstract":"An open coupon earlier in the itinerary is voided because a later sector was missed.","category":"Airline fare rule evaluation","checks":9,"contract":"Input {'status':[FLOWN|OPEN|NOSHOW per coupon],'fee'}. After the first NOSHOW, every later OPEN coupon becomes VOID (earlier coupons are untouched, FLOWN stays FLOWN). The no-show fee is charged once per ticket. Return [statuses, fee].","contract_signature":"x","evaluation_group":"w2-airline-fare-rules-no-show-sequence","failed_approach":"Looking one coupon back still voids the coupon immediately before a no-show.","family":"w2-airline-fare-rules-no-show-sequence-void-earlier-coupons","id":"FA-66761","implementations":{"attempt":{"sha256":"720e5af125ff32623592a0f3b6d52fc829ca695abc12b6d2d7cb399b2e884986","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    st = list(x['status'])\n    fee = 0\n    seen = False\n    for i, s in enumerate(st):\n        if s == 'NOSHOW':\n            if not seen: fee += x['fee']\n            seen = True\n        elif s == 'OPEN' and 'NOSHOW' in st[max(0, i - 1):]:\n            st[i] = 'VOID'\n    return [st, fee]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['missed second leg', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'OPEN'], 'fee': 101}, [['FLOWN', 'NOSHOW', 'VOID', 'VOID'], 101]], ['missed first leg', {'status': ['NOSHOW', 'OPEN', 'OPEN'], 'fee': 150}, [['NOSHOW', 'VOID', 'VOID'], 150]], ['open before noshow', {'status': ['OPEN', 'NOSHOW', 'OPEN'], 'fee': 75}, [['OPEN', 'NOSHOW', 'VOID'], 75]], ['two noshows', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'NOSHOW', 'OPEN'], 'fee': 120}, [['FLOWN', 'NOSHOW', 'VOID', 'NOSHOW', 'VOID'], 120]], ['flown anomaly after noshow', {'status': ['NOSHOW', 'FLOWN', 'OPEN'], 'fee': 90}, [['NOSHOW', 'FLOWN', 'VOID'], 90]], ['all flown', {'status': ['FLOWN', 'FLOWN'], 'fee': 100}, [['FLOWN', 'FLOWN'], 0]], ['sampled case 1', {'status': ['OPEN', 'NOSHOW', 'OPEN', 'NOSHOW', 'NOSHOW', 'OPEN'], 'fee': 100}, [['OPEN', 'NOSHOW', 'VOID', 'NOSHOW', 'NOSHOW', 'VOID'], 100]], ['sampled case 2', {'status': ['FLOWN', 'OPEN', 'FLOWN', 'OPEN', 'OPEN', 'OPEN'], 'fee': 150}, [['FLOWN', 'OPEN', 'FLOWN', 'OPEN', 'OPEN', 'OPEN'], 0]], ['sampled case 3', {'status': ['OPEN'], 'fee': 100}, [['OPEN'], 0]]], [['missed second leg', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'OPEN'], 'fee': 102}, [['FLOWN', 'NOSHOW', 'VOID', 'VOID'], 102]], ['missed first leg', {'status': ['NOSHOW', 'OPEN', 'OPEN'], 'fee': 150}, [['NOSHOW', 'VOID', 'VOID'], 150]], ['open before noshow', {'status': ['OPEN', 'NOSHOW', 'OPEN'], 'fee': 150}, [['OPEN', 'NOSHOW', 'VOID'], 150]], ['two noshows', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'NOSHOW', 'OPEN'], 'fee': 120}, [['FLOWN', 'NOSHOW', 'VOID', 'NOSHOW', 'VOID'], 120]], ['flown anomaly after noshow', {'status': ['NOSHOW', 'FLOWN', 'OPEN'], 'fee': 90}, [['NOSHOW', 'FLOWN', 'VOID'], 90]], ['all flown', {'status': ['FLOWN', 'FLOWN', 'FLOWN'], 'fee': 100}, [['FLOWN', 'FLOWN', 'FLOWN'], 0]], ['sampled case 1', {'status': ['OPEN', 'OPEN', 'NOSHOW', 'OPEN'], 'fee': 150}, [['OPEN', 'OPEN', 'NOSHOW', 'VOID'], 150]], ['sampled case 2', {'status': ['OPEN', 'OPEN', 'NOSHOW', 'NOSHOW', 'NOSHOW'], 'fee': 50}, [['OPEN', 'OPEN', 'NOSHOW', 'NOSHOW', 'NOSHOW'], 50]], ['sampled case 3', {'status': ['FLOWN', 'NOSHOW', 'NOSHOW', 'NOSHOW', 'OPEN'], 'fee': 100}, [['FLOWN', 'NOSHOW', 'NOSHOW', 'NOSHOW', 'VOID'], 100]]], [['missed second leg', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'OPEN'], 'fee': 103}, [['FLOWN', 'NOSHOW', 'VOID', 'VOID'], 103]], ['missed first leg', {'status': ['NOSHOW', 'OPEN', 'OPEN'], 'fee': 150}, [['NOSHOW', 'VOID', 'VOID'], 150]], ['open before noshow', {'status': ['OPEN', 'NOSHOW', 'OPEN'], 'fee': 225}, [['OPEN', 'NOSHOW', 'VOID'], 225]], ['two noshows', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'NOSHOW', 'OPEN'], 'fee': 120}, [['FLOWN', 'NOSHOW', 'VOID', 'NOSHOW', 'VOID'], 120]], ['flown anomaly after noshow', {'status': ['NOSHOW', 'FLOWN', 'OPEN'], 'fee': 90}, [['NOSHOW', 'FLOWN', 'VOID'], 90]], ['all flown', {'status': ['FLOWN', 'FLOWN', 'FLOWN', 'FLOWN'], 'fee': 100}, [['FLOWN', 'FLOWN', 'FLOWN', 'FLOWN'], 0]], ['sampled case 1', {'status': ['OPEN', 'FLOWN', 'FLOWN', 'FLOWN', 'NOSHOW', 'NOSHOW'], 'fee': 75}, [['OPEN', 'FLOWN', 'FLOWN', 'FLOWN', 'NOSHOW', 'NOSHOW'], 75]], ['sampled case 2', {'status': ['FLOWN', 'OPEN', 'OPEN', 'OPEN', 'OPEN', 'FLOWN'], 'fee': 75}, [['FLOWN', 'OPEN', 'OPEN', 'OPEN', 'OPEN', 'FLOWN'], 0]], ['sampled case 3', {'status': ['OPEN'], 'fee': 50}, [['OPEN'], 0]]], [['missed second leg', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'OPEN'], 'fee': 104}, [['FLOWN', 'NOSHOW', 'VOID', 'VOID'], 104]], ['missed first leg', {'status': ['NOSHOW', 'OPEN', 'OPEN'], 'fee': 150}, [['NOSHOW', 'VOID', 'VOID'], 150]], ['open before noshow', {'status': ['OPEN', 'NOSHOW', 'OPEN'], 'fee': 300}, [['OPEN', 'NOSHOW', 'VOID'], 300]], ['two noshows', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'NOSHOW', 'OPEN'], 'fee': 120}, [['FLOWN', 'NOSHOW', 'VOID', 'NOSHOW', 'VOID'], 120]], ['flown anomaly after noshow', {'status': ['NOSHOW', 'FLOWN', 'OPEN'], 'fee': 90}, [['NOSHOW', 'FLOWN', 'VOID'], 90]], ['all flown', {'status': ['FLOWN', 'FLOWN', 'FLOWN', 'FLOWN', 'FLOWN'], 'fee': 100}, [['FLOWN', 'FLOWN', 'FLOWN', 'FLOWN', 'FLOWN'], 0]], ['sampled case 1', {'status': ['OPEN', 'NOSHOW', 'OPEN', 'OPEN', 'FLOWN'], 'fee': 75}, [['OPEN', 'NOSHOW', 'VOID', 'VOID', 'FLOWN'], 75]], ['sampled case 2', {'status': ['NOSHOW', 'OPEN', 'OPEN', 'FLOWN'], 'fee': 75}, [['NOSHOW', 'VOID', 'VOID', 'FLOWN'], 75]], ['sampled case 3', {'status': ['OPEN', 'OPEN', 'OPEN', 'FLOWN', 'OPEN', 'NOSHOW'], 'fee': 50}, [['OPEN', 'OPEN', 'OPEN', 'FLOWN', 'OPEN', 'NOSHOW'], 50]]], [['missed second leg', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'OPEN'], 'fee': 105}, [['FLOWN', 'NOSHOW', 'VOID', 'VOID'], 105]], ['missed first leg', {'status': ['NOSHOW', 'OPEN', 'OPEN'], 'fee': 150}, [['NOSHOW', 'VOID', 'VOID'], 150]], ['open before noshow', {'status': ['OPEN', 'NOSHOW', 'OPEN'], 'fee': 375}, [['OPEN', 'NOSHOW', 'VOID'], 375]], ['two noshows', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'NOSHOW', 'OPEN'], 'fee': 120}, [['FLOWN', 'NOSHOW', 'VOID', 'NOSHOW', 'VOID'], 120]], ['flown anomaly after noshow', {'status': ['NOSHOW', 'FLOWN', 'OPEN'], 'fee': 90}, [['NOSHOW', 'FLOWN', 'VOID'], 90]], ['all flown', {'status': ['FLOWN', 'FLOWN', 'FLOWN', 'FLOWN', 'FLOWN', 'FLOWN'], 'fee': 100}, [['FLOWN', 'FLOWN', 'FLOWN', 'FLOWN', 'FLOWN', 'FLOWN'], 0]], ['sampled case 1', {'status': ['NOSHOW', 'OPEN'], 'fee': 150}, [['NOSHOW', 'VOID'], 150]], ['sampled case 2', {'status': ['OPEN', 'OPEN', 'FLOWN', 'NOSHOW', 'OPEN', 'OPEN'], 'fee': 50}, [['OPEN', 'OPEN', 'FLOWN', 'NOSHOW', 'VOID', 'VOID'], 50]], ['sampled case 3', {'status': ['FLOWN', 'OPEN', 'NOSHOW', 'OPEN', 'NOSHOW', 'OPEN'], 'fee': 150}, [['FLOWN', 'OPEN', 'NOSHOW', 'VOID', 'NOSHOW', 'VOID'], 150]]]]\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":"12c5596fcdafe5eec6256f249e4676a51711ec6a00c6a604be337be4825b222e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    st = list(x['status'])\n    fee = 0\n    seen = False\n    for i, s in enumerate(st):\n        if s == 'NOSHOW':\n            if not seen: fee += x['fee']\n            seen = True\n        elif s == 'OPEN' and 'NOSHOW' in st:\n            st[i] = 'VOID'\n    return [st, fee]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['missed second leg', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'OPEN'], 'fee': 101}, [['FLOWN', 'NOSHOW', 'VOID', 'VOID'], 101]], ['missed first leg', {'status': ['NOSHOW', 'OPEN', 'OPEN'], 'fee': 150}, [['NOSHOW', 'VOID', 'VOID'], 150]], ['open before noshow', {'status': ['OPEN', 'NOSHOW', 'OPEN'], 'fee': 75}, [['OPEN', 'NOSHOW', 'VOID'], 75]], ['two noshows', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'NOSHOW', 'OPEN'], 'fee': 120}, [['FLOWN', 'NOSHOW', 'VOID', 'NOSHOW', 'VOID'], 120]], ['flown anomaly after noshow', {'status': ['NOSHOW', 'FLOWN', 'OPEN'], 'fee': 90}, [['NOSHOW', 'FLOWN', 'VOID'], 90]], ['all flown', {'status': ['FLOWN', 'FLOWN'], 'fee': 100}, [['FLOWN', 'FLOWN'], 0]], ['sampled case 1', {'status': ['OPEN', 'NOSHOW', 'OPEN', 'NOSHOW', 'NOSHOW', 'OPEN'], 'fee': 100}, [['OPEN', 'NOSHOW', 'VOID', 'NOSHOW', 'NOSHOW', 'VOID'], 100]], ['sampled case 2', {'status': ['FLOWN', 'OPEN', 'FLOWN', 'OPEN', 'OPEN', 'OPEN'], 'fee': 150}, [['FLOWN', 'OPEN', 'FLOWN', 'OPEN', 'OPEN', 'OPEN'], 0]], ['sampled case 3', {'status': ['OPEN'], 'fee': 100}, [['OPEN'], 0]]], [['missed second leg', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'OPEN'], 'fee': 102}, [['FLOWN', 'NOSHOW', 'VOID', 'VOID'], 102]], ['missed first leg', {'status': ['NOSHOW', 'OPEN', 'OPEN'], 'fee': 150}, [['NOSHOW', 'VOID', 'VOID'], 150]], ['open before noshow', {'status': ['OPEN', 'NOSHOW', 'OPEN'], 'fee': 150}, [['OPEN', 'NOSHOW', 'VOID'], 150]], ['two noshows', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'NOSHOW', 'OPEN'], 'fee': 120}, [['FLOWN', 'NOSHOW', 'VOID', 'NOSHOW', 'VOID'], 120]], ['flown anomaly after noshow', {'status': ['NOSHOW', 'FLOWN', 'OPEN'], 'fee': 90}, [['NOSHOW', 'FLOWN', 'VOID'], 90]], ['all flown', {'status': ['FLOWN', 'FLOWN', 'FLOWN'], 'fee': 100}, [['FLOWN', 'FLOWN', 'FLOWN'], 0]], ['sampled case 1', {'status': ['OPEN', 'OPEN', 'NOSHOW', 'OPEN'], 'fee': 150}, [['OPEN', 'OPEN', 'NOSHOW', 'VOID'], 150]], ['sampled case 2', {'status': ['OPEN', 'OPEN', 'NOSHOW', 'NOSHOW', 'NOSHOW'], 'fee': 50}, [['OPEN', 'OPEN', 'NOSHOW', 'NOSHOW', 'NOSHOW'], 50]], ['sampled case 3', {'status': ['FLOWN', 'NOSHOW', 'NOSHOW', 'NOSHOW', 'OPEN'], 'fee': 100}, [['FLOWN', 'NOSHOW', 'NOSHOW', 'NOSHOW', 'VOID'], 100]]], [['missed second leg', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'OPEN'], 'fee': 103}, [['FLOWN', 'NOSHOW', 'VOID', 'VOID'], 103]], ['missed first leg', {'status': ['NOSHOW', 'OPEN', 'OPEN'], 'fee': 150}, [['NOSHOW', 'VOID', 'VOID'], 150]], ['open before noshow', {'status': ['OPEN', 'NOSHOW', 'OPEN'], 'fee': 225}, [['OPEN', 'NOSHOW', 'VOID'], 225]], ['two noshows', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'NOSHOW', 'OPEN'], 'fee': 120}, [['FLOWN', 'NOSHOW', 'VOID', 'NOSHOW', 'VOID'], 120]], ['flown anomaly after noshow', {'status': ['NOSHOW', 'FLOWN', 'OPEN'], 'fee': 90}, [['NOSHOW', 'FLOWN', 'VOID'], 90]], ['all flown', {'status': ['FLOWN', 'FLOWN', 'FLOWN', 'FLOWN'], 'fee': 100}, [['FLOWN', 'FLOWN', 'FLOWN', 'FLOWN'], 0]], ['sampled case 1', {'status': ['OPEN', 'FLOWN', 'FLOWN', 'FLOWN', 'NOSHOW', 'NOSHOW'], 'fee': 75}, [['OPEN', 'FLOWN', 'FLOWN', 'FLOWN', 'NOSHOW', 'NOSHOW'], 75]], ['sampled case 2', {'status': ['FLOWN', 'OPEN', 'OPEN', 'OPEN', 'OPEN', 'FLOWN'], 'fee': 75}, [['FLOWN', 'OPEN', 'OPEN', 'OPEN', 'OPEN', 'FLOWN'], 0]], ['sampled case 3', {'status': ['OPEN'], 'fee': 50}, [['OPEN'], 0]]], [['missed second leg', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'OPEN'], 'fee': 104}, [['FLOWN', 'NOSHOW', 'VOID', 'VOID'], 104]], ['missed first leg', {'status': ['NOSHOW', 'OPEN', 'OPEN'], 'fee': 150}, [['NOSHOW', 'VOID', 'VOID'], 150]], ['open before noshow', {'status': ['OPEN', 'NOSHOW', 'OPEN'], 'fee': 300}, [['OPEN', 'NOSHOW', 'VOID'], 300]], ['two noshows', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'NOSHOW', 'OPEN'], 'fee': 120}, [['FLOWN', 'NOSHOW', 'VOID', 'NOSHOW', 'VOID'], 120]], ['flown anomaly after noshow', {'status': ['NOSHOW', 'FLOWN', 'OPEN'], 'fee': 90}, [['NOSHOW', 'FLOWN', 'VOID'], 90]], ['all flown', {'status': ['FLOWN', 'FLOWN', 'FLOWN', 'FLOWN', 'FLOWN'], 'fee': 100}, [['FLOWN', 'FLOWN', 'FLOWN', 'FLOWN', 'FLOWN'], 0]], ['sampled case 1', {'status': ['OPEN', 'NOSHOW', 'OPEN', 'OPEN', 'FLOWN'], 'fee': 75}, [['OPEN', 'NOSHOW', 'VOID', 'VOID', 'FLOWN'], 75]], ['sampled case 2', {'status': ['NOSHOW', 'OPEN', 'OPEN', 'FLOWN'], 'fee': 75}, [['NOSHOW', 'VOID', 'VOID', 'FLOWN'], 75]], ['sampled case 3', {'status': ['OPEN', 'OPEN', 'OPEN', 'FLOWN', 'OPEN', 'NOSHOW'], 'fee': 50}, [['OPEN', 'OPEN', 'OPEN', 'FLOWN', 'OPEN', 'NOSHOW'], 50]]], [['missed second leg', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'OPEN'], 'fee': 105}, [['FLOWN', 'NOSHOW', 'VOID', 'VOID'], 105]], ['missed first leg', {'status': ['NOSHOW', 'OPEN', 'OPEN'], 'fee': 150}, [['NOSHOW', 'VOID', 'VOID'], 150]], ['open before noshow', {'status': ['OPEN', 'NOSHOW', 'OPEN'], 'fee': 375}, [['OPEN', 'NOSHOW', 'VOID'], 375]], ['two noshows', {'status': ['FLOWN', 'NOSHOW', 'OPEN', 'NOSHOW', 'OPEN'], 'fee': 120}, [['FLOWN', 'NOSHOW', 'VOID', 'NOSHOW', 'VOID'], 120]], ['flown anomaly after noshow', {'status': ['NOSHOW', 'FLOWN', 'OPEN'], 'fee': 90}, [['NOSHOW', 'FLOWN', 'VOID'], 90]], ['all flown', {'status': ['FLOWN', 'FLOWN', 'FLOWN', 'FLOWN', 'FLOWN', 'FLOWN'], 'fee': 100}, [['FLOWN', 'FLOWN', 'FLOWN', 'FLOWN', 'FLOWN', 'FLOWN'], 0]], ['sampled case 1', {'status': ['NOSHOW', 'OPEN'], 'fee': 150}, [['NOSHOW', 'VOID'], 150]], ['sampled case 2', {'status': ['OPEN', 'OPEN', 'FLOWN', 'NOSHOW', 'OPEN', 'OPEN'], 'fee': 50}, [['OPEN', 'OPEN', 'FLOWN', 'NOSHOW', 'VOID', 'VOID'], 50]], ['sampled case 3', {'status': ['FLOWN', 'OPEN', 'NOSHOW', 'OPEN', 'NOSHOW', 'OPEN'], 'fee': 150}, [['FLOWN', 'OPEN', 'NOSHOW', 'VOID', 'NOSHOW', 'VOID'], 150]]]]\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 stipulated toy fare-rule contract with invented constants; it is not an ATPCO or carrier tariff implementation and makes no claim of industry-standard 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-airline-fare-rules-no-show-sequence-void-earlier-coupons","generated_at":"2026-09-29T14:47:46.800297+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Coupon sequence rules cancel onward segments after a no-show and assess a single penalty.","root_cause":"Voiding checks whether any NOSHOW exists on the ticket instead of whether one has already occurred.","sha256":"c3e7f2c2cb368424a96ba785f03b94106c108f9c731ba0ebebc5fcc09df409bf","title":"Coupons before the no-show also cancelled · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":40.854,"exit_code":1,"observations":[{"actual":[["FLOWN","NOSHOW","VOID","OPEN"],101],"check":"missed second leg","expected":[["FLOWN","NOSHOW","VOID","VOID"],101],"passed":false},{"actual":[["NOSHOW","VOID","OPEN"],150],"check":"missed first leg","expected":[["NOSHOW","VOID","VOID"],150],"passed":false},{"actual":[["VOID","NOSHOW","VOID"],75],"check":"open before noshow","expected":[["OPEN","NOSHOW","VOID"],75],"passed":false},{"actual":[["FLOWN","NOSHOW","VOID","NOSHOW","VOID"],120],"check":"two noshows","expected":[["FLOWN","NOSHOW","VOID","NOSHOW","VOID"],120],"passed":true},{"actual":[["NOSHOW","FLOWN","OPEN"],90],"check":"flown anomaly after noshow","expected":[["NOSHOW","FLOWN","VOID"],90],"passed":false},{"actual":[["FLOWN","FLOWN"],0],"check":"all flown","expected":[["FLOWN","FLOWN"],0],"passed":true},{"actual":[["VOID","NOSHOW","VOID","NOSHOW","NOSHOW","VOID"],100],"check":"sampled case 1","expected":[["OPEN","NOSHOW","VOID","NOSHOW","NOSHOW","VOID"],100],"passed":false},{"actual":[["FLOWN","OPEN","FLOWN","OPEN","OPEN","OPEN"],0],"check":"sampled case 2","expected":[["FLOWN","OPEN","FLOWN","OPEN","OPEN","OPEN"],0],"passed":true},{"actual":[["OPEN"],0],"check":"sampled case 3","expected":[["OPEN"],0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"missed second leg\", \"actual\": [[\"FLOWN\", \"NOSHOW\", \"VOID\", \"OPEN\"], 101], \"expected\": [[\"FLOWN\", \"NOSHOW\", \"VOID\", \"VOID\"], 101], \"passed\": false}, {\"check\": \"missed first leg\", \"actual\": [[\"NOSHOW\", \"VOID\", \"OPEN\"], 150], \"expected\": [[\"NOSHOW\", \"VOID\", \"VOID\"], 150], \"passed\": false}, {\"check\": \"open before noshow\", \"actual\": [[\"VOID\", \"NOSHOW\", \"VOID\"], 75], \"expected\": [[\"OPEN\", \"NOSHOW\", \"VOID\"], 75], \"passed\": false}, {\"check\": \"two noshows\", \"actual\": [[\"FLOWN\", \"NOSHOW\", \"VOID\", \"NOSHOW\", \"VOID\"], 120], \"expected\": [[\"FLOWN\", \"NOSHOW\", \"VOID\", \"NOSHOW\", \"VOID\"], 120], \"passed\": true}, {\"check\": \"flown anomaly after noshow\", \"actual\": [[\"NOSHOW\", \"FLOWN\", \"OPEN\"], 90], \"expected\": [[\"NOSHOW\", \"FLOWN\", \"VOID\"], 90], \"passed\": false}, {\"check\": \"all flown\", \"actual\": [[\"FLOWN\", \"FLOWN\"], 0], \"expected\": [[\"FLOWN\", \"FLOWN\"], 0], \"passed\": true}, {\"check\": \"sampled case 1\", \"actual\": [[\"VOID\", \"NOSHOW\", \"VOID\", \"NOSHOW\", \"NOSHOW\", \"VOID\"], 100], \"expected\": [[\"OPEN\", \"NOSHOW\", \"VOID\", \"NOSHOW\", \"NOSHOW\", \"VOID\"], 100], \"passed\": false}, {\"check\": \"sampled case 2\", \"actual\": [[\"FLOWN\", \"OPEN\", \"FLOWN\", \"OPEN\", \"OPEN\", \"OPEN\"], 0], \"expected\": [[\"FLOWN\", \"OPEN\", \"FLOWN\", \"OPEN\", \"OPEN\", \"OPEN\"], 0], \"passed\": true}, {\"check\": \"sampled case 3\", \"actual\": [[\"OPEN\"], 0], \"expected\": [[\"OPEN\"], 0], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.667,"exit_code":1,"observations":[{"actual":[["FLOWN","NOSHOW","VOID","VOID"],101],"check":"missed second leg","expected":[["FLOWN","NOSHOW","VOID","VOID"],101],"passed":true},{"actual":[["NOSHOW","VOID","VOID"],150],"check":"missed first leg","expected":[["NOSHOW","VOID","VOID"],150],"passed":true},{"actual":[["VOID","NOSHOW","VOID"],75],"check":"open before noshow","expected":[["OPEN","NOSHOW","VOID"],75],"passed":false},{"actual":[["FLOWN","NOSHOW","VOID","NOSHOW","VOID"],120],"check":"two noshows","expected":[["FLOWN","NOSHOW","VOID","NOSHOW","VOID"],120],"passed":true},{"actual":[["NOSHOW","FLOWN","VOID"],90],"check":"flown anomaly after noshow","expected":[["NOSHOW","FLOWN","VOID"],90],"passed":true},{"actual":[["FLOWN","FLOWN"],0],"check":"all flown","expected":[["FLOWN","FLOWN"],0],"passed":true},{"actual":[["VOID","NOSHOW","VOID","NOSHOW","NOSHOW","VOID"],100],"check":"sampled case 1","expected":[["OPEN","NOSHOW","VOID","NOSHOW","NOSHOW","VOID"],100],"passed":false},{"actual":[["FLOWN","OPEN","FLOWN","OPEN","OPEN","OPEN"],0],"check":"sampled case 2","expected":[["FLOWN","OPEN","FLOWN","OPEN","OPEN","OPEN"],0],"passed":true},{"actual":[["OPEN"],0],"check":"sampled case 3","expected":[["OPEN"],0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"missed second leg\", \"actual\": [[\"FLOWN\", \"NOSHOW\", \"VOID\", \"VOID\"], 101], \"expected\": [[\"FLOWN\", \"NOSHOW\", \"VOID\", \"VOID\"], 101], \"passed\": true}, {\"check\": \"missed first leg\", \"actual\": [[\"NOSHOW\", \"VOID\", \"VOID\"], 150], \"expected\": [[\"NOSHOW\", \"VOID\", \"VOID\"], 150], \"passed\": true}, {\"check\": \"open before noshow\", \"actual\": [[\"VOID\", \"NOSHOW\", \"VOID\"], 75], \"expected\": [[\"OPEN\", \"NOSHOW\", \"VOID\"], 75], \"passed\": false}, {\"check\": \"two noshows\", \"actual\": [[\"FLOWN\", \"NOSHOW\", \"VOID\", \"NOSHOW\", \"VOID\"], 120], \"expected\": [[\"FLOWN\", \"NOSHOW\", \"VOID\", \"NOSHOW\", \"VOID\"], 120], \"passed\": true}, {\"check\": \"flown anomaly after noshow\", \"actual\": [[\"NOSHOW\", \"FLOWN\", \"VOID\"], 90], \"expected\": [[\"NOSHOW\", \"FLOWN\", \"VOID\"], 90], \"passed\": true}, {\"check\": \"all flown\", \"actual\": [[\"FLOWN\", \"FLOWN\"], 0], \"expected\": [[\"FLOWN\", \"FLOWN\"], 0], \"passed\": true}, {\"check\": \"sampled case 1\", \"actual\": [[\"VOID\", \"NOSHOW\", \"VOID\", \"NOSHOW\", \"NOSHOW\", \"VOID\"], 100], \"expected\": [[\"OPEN\", \"NOSHOW\", \"VOID\", \"NOSHOW\", \"NOSHOW\", \"VOID\"], 100], \"passed\": false}, {\"check\": \"sampled case 2\", \"actual\": [[\"FLOWN\", \"OPEN\", \"FLOWN\", \"OPEN\", \"OPEN\", \"OPEN\"], 0], \"expected\": [[\"FLOWN\", \"OPEN\", \"FLOWN\", \"OPEN\", \"OPEN\", \"OPEN\"], 0], \"passed\": true}, {\"check\": \"sampled case 3\", \"actual\": [[\"OPEN\"], 0], \"expected\": [[\"OPEN\"], 0], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}