{"abstract":"Tickets sold before the travel window opens always fail COMMENCE.","category":"Airline fare rule evaluation","checks":10,"contract":"Input {'sale','first_travel','last_travel','sale_window','travel_window','complete_by'} ISO dates. Sale date within the inclusive sale window, first travel within the inclusive travel (commencement) window, last travel on or before complete_by. Return failures in order SALE, COMMENCE, COMPLETE.","contract_signature":"x","evaluation_group":"w2-airline-fare-rules-sale-travel-windows","failed_approach":"Checking the window start against the sale date still rejects tickets sold before the window opens.","family":"w2-airline-fare-rules-sale-travel-windows-commence-uses-sale-date","id":"FA-66836","implementations":{"attempt":{"sha256":"5445cd46baf132289751027632847b7074d053b6e2e4fddda16831b4b3c187f2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime\nN = 1\nobservations = []\ndef solve(x):\n    p = datetime.date.fromisoformat\n    fails = []\n    s0, s1 = map(p, x['sale_window'])\n    t0, t1 = map(p, x['travel_window'])\n    if not (s0 <= p(x['sale']) <= s1): fails.append('SALE')\n    if not (t0 <= p(x['sale']) and p(x['first_travel']) <= t1): fails.append('COMMENCE')\n    if p(x['last_travel']) > p(x['complete_by']): fails.append('COMPLETE')\n    return fails\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['trip finishing after commence window', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-01', 'first_travel': '2027-05-28', 'last_travel': '2027-06-03'}, []], ['sold on last sale day', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-28', 'first_travel': '2027-03-10', 'last_travel': '2027-03-17'}, []], ['completes exactly on deadline', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-01', 'last_travel': '2027-06-15'}, []], ['completes a day late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-20', 'last_travel': '2027-06-17'}, ['COMPLETE']], ['sold before travel window opens', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-11', 'first_travel': '2027-03-01', 'last_travel': '2027-03-05'}, []], ['commences too late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-10', 'first_travel': '2027-06-01', 'last_travel': '2027-06-10'}, ['COMMENCE']], ['sold too early', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-09', 'first_travel': '2027-04-01', 'last_travel': '2027-04-08'}, ['SALE']], ['sampled case 1', {'sale_window': ['2027-12-30', '2028-01-23'], 'travel_window': ['2028-01-04', '2028-01-30'], 'complete_by': '2028-02-15', 'sale': '2027-12-31', 'first_travel': '2028-02-08', 'last_travel': '2028-02-13'}, ['COMMENCE']], ['sampled case 2', {'sale_window': ['2027-07-14', '2027-09-01'], 'travel_window': ['2027-07-14', '2027-10-07'], 'complete_by': '2027-11-03', 'sale': '2027-08-26', 'first_travel': '2027-09-15', 'last_travel': '2027-09-27'}, []], ['sampled case 3', {'sale_window': ['2027-04-22', '2027-06-16'], 'travel_window': ['2027-05-05', '2027-07-12'], 'complete_by': '2027-08-03', 'sale': '2027-04-27', 'first_travel': '2027-05-03', 'last_travel': '2027-05-25'}, ['COMMENCE']]], [['trip finishing after commence window', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-02', 'first_travel': '2027-05-28', 'last_travel': '2027-06-04'}, []], ['sold on last sale day', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-28', 'first_travel': '2027-03-10', 'last_travel': '2027-03-17'}, []], ['completes exactly on deadline', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-01', 'last_travel': '2027-06-15'}, []], ['completes a day late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-20', 'last_travel': '2027-06-18'}, ['COMPLETE']], ['sold before travel window opens', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-12', 'first_travel': '2027-03-01', 'last_travel': '2027-03-05'}, []], ['commences too late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-10', 'first_travel': '2027-06-02', 'last_travel': '2027-06-10'}, ['COMMENCE']], ['sold too early', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-09', 'first_travel': '2027-04-01', 'last_travel': '2027-04-08'}, ['SALE']], ['sampled case 1', {'sale_window': ['2027-10-21', '2027-11-05'], 'travel_window': ['2027-12-14', '2028-01-23'], 'complete_by': '2028-02-15', 'sale': '2027-12-06', 'first_travel': '2028-02-16', 'last_travel': '2028-03-01'}, ['SALE', 'COMMENCE', 'COMPLETE']], ['sampled case 2', {'sale_window': ['2027-10-07', '2027-10-26'], 'travel_window': ['2027-11-12', '2028-01-03'], 'complete_by': '2028-01-19', 'sale': '2027-10-27', 'first_travel': '2027-11-02', 'last_travel': '2027-11-14'}, ['SALE', 'COMMENCE']], ['sampled case 3', {'sale_window': ['2027-03-11', '2027-04-21'], 'travel_window': ['2027-03-25', '2027-06-12'], 'complete_by': '2027-07-08', 'sale': '2027-05-11', 'first_travel': '2027-05-21', 'last_travel': '2027-06-05'}, ['SALE']]], [['trip finishing after commence window', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-03', 'first_travel': '2027-05-28', 'last_travel': '2027-06-05'}, []], ['sold on last sale day', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-28', 'first_travel': '2027-03-10', 'last_travel': '2027-03-17'}, []], ['completes exactly on deadline', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-01', 'last_travel': '2027-06-15'}, []], ['completes a day late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-20', 'last_travel': '2027-06-16'}, ['COMPLETE']], ['sold before travel window opens', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-13', 'first_travel': '2027-03-01', 'last_travel': '2027-03-05'}, []], ['commences too late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-10', 'first_travel': '2027-06-03', 'last_travel': '2027-06-10'}, ['COMMENCE']], ['sold too early', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-09', 'first_travel': '2027-04-01', 'last_travel': '2027-04-08'}, ['SALE']], ['sampled case 1', {'sale_window': ['2027-06-20', '2027-08-16'], 'travel_window': ['2027-08-18', '2027-09-23'], 'complete_by': '2027-10-09', 'sale': '2027-06-25', 'first_travel': '2027-11-23', 'last_travel': '2027-12-19'}, ['COMMENCE', 'COMPLETE']], ['sampled case 2', {'sale_window': ['2027-06-05', '2027-07-18'], 'travel_window': ['2027-07-17', '2027-09-14'], 'complete_by': '2027-10-08', 'sale': '2027-07-17', 'first_travel': '2027-09-21', 'last_travel': '2027-09-26'}, ['COMMENCE']], ['sampled case 3', {'sale_window': ['2027-10-11', '2027-11-28'], 'travel_window': ['2027-11-28', '2028-01-22'], 'complete_by': '2028-02-08', 'sale': '2027-11-06', 'first_travel': '2027-12-31', 'last_travel': '2028-01-29'}, []]], [['trip finishing after commence window', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-04', 'first_travel': '2027-05-28', 'last_travel': '2027-06-06'}, []], ['sold on last sale day', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-28', 'first_travel': '2027-03-10', 'last_travel': '2027-03-17'}, []], ['completes exactly on deadline', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-01', 'last_travel': '2027-06-15'}, []], ['completes a day late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-20', 'last_travel': '2027-06-17'}, ['COMPLETE']], ['sold before travel window opens', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-14', 'first_travel': '2027-03-01', 'last_travel': '2027-03-05'}, []], ['commences too late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-10', 'first_travel': '2027-06-04', 'last_travel': '2027-06-10'}, ['COMMENCE']], ['sold too early', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-09', 'first_travel': '2027-04-01', 'last_travel': '2027-04-08'}, ['SALE']], ['sampled case 1', {'sale_window': ['2027-05-07', '2027-05-28'], 'travel_window': ['2027-06-09', '2027-08-31'], 'complete_by': '2027-09-16', 'sale': '2027-06-01', 'first_travel': '2027-06-02', 'last_travel': '2027-06-03'}, ['SALE', 'COMMENCE']], ['sampled case 2', {'sale_window': ['2027-10-02', '2027-11-17'], 'travel_window': ['2027-10-11', '2027-12-26'], 'complete_by': '2028-01-09', 'sale': '2027-12-04', 'first_travel': '2027-12-02', 'last_travel': '2027-12-23'}, ['SALE']], ['sampled case 3', {'sale_window': ['2027-05-15', '2027-06-12'], 'travel_window': ['2027-06-29', '2027-07-19'], 'complete_by': '2027-07-30', 'sale': '2027-07-16', 'first_travel': '2027-10-06', 'last_travel': '2027-10-22'}, ['SALE', 'COMMENCE', 'COMPLETE']]], [['trip finishing after commence window', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-05', 'first_travel': '2027-05-28', 'last_travel': '2027-06-07'}, []], ['sold on last sale day', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-28', 'first_travel': '2027-03-10', 'last_travel': '2027-03-17'}, []], ['completes exactly on deadline', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-01', 'last_travel': '2027-06-15'}, []], ['completes a day late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-20', 'last_travel': '2027-06-18'}, ['COMPLETE']], ['sold before travel window opens', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-15', 'first_travel': '2027-03-01', 'last_travel': '2027-03-05'}, []], ['commences too late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-10', 'first_travel': '2027-06-05', 'last_travel': '2027-06-10'}, ['COMMENCE']], ['sold too early', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-09', 'first_travel': '2027-04-01', 'last_travel': '2027-04-08'}, ['SALE']], ['sampled case 1', {'sale_window': ['2027-07-10', '2027-07-30'], 'travel_window': ['2027-08-12', '2027-11-08'], 'complete_by': '2027-11-08', 'sale': '2027-08-17', 'first_travel': '2027-09-03', 'last_travel': '2027-09-06'}, ['SALE']], ['sampled case 2', {'sale_window': ['2027-02-23', '2027-03-25'], 'travel_window': ['2027-03-20', '2027-05-01'], 'complete_by': '2027-05-16', 'sale': '2027-03-25', 'first_travel': '2027-04-25', 'last_travel': '2027-05-04'}, []], ['sampled case 3', {'sale_window': ['2027-01-05', '2027-01-22'], 'travel_window': ['2027-01-19', '2027-02-25'], 'complete_by': '2027-03-09', 'sale': '2027-01-17', 'first_travel': '2027-01-17', 'last_travel': '2027-01-31'}, ['COMMENCE']]]]\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":"61e8ee64902b346ebf8703cc1a5a27dd386d2dbee01a8eeb488fd089d6468e33","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime\nN = 1\nobservations = []\ndef solve(x):\n    p = datetime.date.fromisoformat\n    fails = []\n    s0, s1 = map(p, x['sale_window'])\n    t0, t1 = map(p, x['travel_window'])\n    if not (s0 <= p(x['sale']) <= s1): fails.append('SALE')\n    if not (t0 <= p(x['sale']) <= t1): fails.append('COMMENCE')\n    if p(x['last_travel']) > p(x['complete_by']): fails.append('COMPLETE')\n    return fails\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['trip finishing after commence window', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-01', 'first_travel': '2027-05-28', 'last_travel': '2027-06-03'}, []], ['sold on last sale day', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-28', 'first_travel': '2027-03-10', 'last_travel': '2027-03-17'}, []], ['completes exactly on deadline', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-01', 'last_travel': '2027-06-15'}, []], ['completes a day late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-20', 'last_travel': '2027-06-17'}, ['COMPLETE']], ['sold before travel window opens', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-11', 'first_travel': '2027-03-01', 'last_travel': '2027-03-05'}, []], ['commences too late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-10', 'first_travel': '2027-06-01', 'last_travel': '2027-06-10'}, ['COMMENCE']], ['sold too early', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-09', 'first_travel': '2027-04-01', 'last_travel': '2027-04-08'}, ['SALE']], ['sampled case 1', {'sale_window': ['2027-12-30', '2028-01-23'], 'travel_window': ['2028-01-04', '2028-01-30'], 'complete_by': '2028-02-15', 'sale': '2027-12-31', 'first_travel': '2028-02-08', 'last_travel': '2028-02-13'}, ['COMMENCE']], ['sampled case 2', {'sale_window': ['2027-07-14', '2027-09-01'], 'travel_window': ['2027-07-14', '2027-10-07'], 'complete_by': '2027-11-03', 'sale': '2027-08-26', 'first_travel': '2027-09-15', 'last_travel': '2027-09-27'}, []], ['sampled case 3', {'sale_window': ['2027-04-22', '2027-06-16'], 'travel_window': ['2027-05-05', '2027-07-12'], 'complete_by': '2027-08-03', 'sale': '2027-04-27', 'first_travel': '2027-05-03', 'last_travel': '2027-05-25'}, ['COMMENCE']]], [['trip finishing after commence window', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-02', 'first_travel': '2027-05-28', 'last_travel': '2027-06-04'}, []], ['sold on last sale day', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-28', 'first_travel': '2027-03-10', 'last_travel': '2027-03-17'}, []], ['completes exactly on deadline', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-01', 'last_travel': '2027-06-15'}, []], ['completes a day late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-20', 'last_travel': '2027-06-18'}, ['COMPLETE']], ['sold before travel window opens', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-12', 'first_travel': '2027-03-01', 'last_travel': '2027-03-05'}, []], ['commences too late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-10', 'first_travel': '2027-06-02', 'last_travel': '2027-06-10'}, ['COMMENCE']], ['sold too early', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-09', 'first_travel': '2027-04-01', 'last_travel': '2027-04-08'}, ['SALE']], ['sampled case 1', {'sale_window': ['2027-10-21', '2027-11-05'], 'travel_window': ['2027-12-14', '2028-01-23'], 'complete_by': '2028-02-15', 'sale': '2027-12-06', 'first_travel': '2028-02-16', 'last_travel': '2028-03-01'}, ['SALE', 'COMMENCE', 'COMPLETE']], ['sampled case 2', {'sale_window': ['2027-10-07', '2027-10-26'], 'travel_window': ['2027-11-12', '2028-01-03'], 'complete_by': '2028-01-19', 'sale': '2027-10-27', 'first_travel': '2027-11-02', 'last_travel': '2027-11-14'}, ['SALE', 'COMMENCE']], ['sampled case 3', {'sale_window': ['2027-03-11', '2027-04-21'], 'travel_window': ['2027-03-25', '2027-06-12'], 'complete_by': '2027-07-08', 'sale': '2027-05-11', 'first_travel': '2027-05-21', 'last_travel': '2027-06-05'}, ['SALE']]], [['trip finishing after commence window', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-03', 'first_travel': '2027-05-28', 'last_travel': '2027-06-05'}, []], ['sold on last sale day', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-28', 'first_travel': '2027-03-10', 'last_travel': '2027-03-17'}, []], ['completes exactly on deadline', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-01', 'last_travel': '2027-06-15'}, []], ['completes a day late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-20', 'last_travel': '2027-06-16'}, ['COMPLETE']], ['sold before travel window opens', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-13', 'first_travel': '2027-03-01', 'last_travel': '2027-03-05'}, []], ['commences too late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-10', 'first_travel': '2027-06-03', 'last_travel': '2027-06-10'}, ['COMMENCE']], ['sold too early', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-09', 'first_travel': '2027-04-01', 'last_travel': '2027-04-08'}, ['SALE']], ['sampled case 1', {'sale_window': ['2027-06-20', '2027-08-16'], 'travel_window': ['2027-08-18', '2027-09-23'], 'complete_by': '2027-10-09', 'sale': '2027-06-25', 'first_travel': '2027-11-23', 'last_travel': '2027-12-19'}, ['COMMENCE', 'COMPLETE']], ['sampled case 2', {'sale_window': ['2027-06-05', '2027-07-18'], 'travel_window': ['2027-07-17', '2027-09-14'], 'complete_by': '2027-10-08', 'sale': '2027-07-17', 'first_travel': '2027-09-21', 'last_travel': '2027-09-26'}, ['COMMENCE']], ['sampled case 3', {'sale_window': ['2027-10-11', '2027-11-28'], 'travel_window': ['2027-11-28', '2028-01-22'], 'complete_by': '2028-02-08', 'sale': '2027-11-06', 'first_travel': '2027-12-31', 'last_travel': '2028-01-29'}, []]], [['trip finishing after commence window', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-04', 'first_travel': '2027-05-28', 'last_travel': '2027-06-06'}, []], ['sold on last sale day', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-28', 'first_travel': '2027-03-10', 'last_travel': '2027-03-17'}, []], ['completes exactly on deadline', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-01', 'last_travel': '2027-06-15'}, []], ['completes a day late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-20', 'last_travel': '2027-06-17'}, ['COMPLETE']], ['sold before travel window opens', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-14', 'first_travel': '2027-03-01', 'last_travel': '2027-03-05'}, []], ['commences too late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-10', 'first_travel': '2027-06-04', 'last_travel': '2027-06-10'}, ['COMMENCE']], ['sold too early', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-09', 'first_travel': '2027-04-01', 'last_travel': '2027-04-08'}, ['SALE']], ['sampled case 1', {'sale_window': ['2027-05-07', '2027-05-28'], 'travel_window': ['2027-06-09', '2027-08-31'], 'complete_by': '2027-09-16', 'sale': '2027-06-01', 'first_travel': '2027-06-02', 'last_travel': '2027-06-03'}, ['SALE', 'COMMENCE']], ['sampled case 2', {'sale_window': ['2027-10-02', '2027-11-17'], 'travel_window': ['2027-10-11', '2027-12-26'], 'complete_by': '2028-01-09', 'sale': '2027-12-04', 'first_travel': '2027-12-02', 'last_travel': '2027-12-23'}, ['SALE']], ['sampled case 3', {'sale_window': ['2027-05-15', '2027-06-12'], 'travel_window': ['2027-06-29', '2027-07-19'], 'complete_by': '2027-07-30', 'sale': '2027-07-16', 'first_travel': '2027-10-06', 'last_travel': '2027-10-22'}, ['SALE', 'COMMENCE', 'COMPLETE']]], [['trip finishing after commence window', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-05', 'first_travel': '2027-05-28', 'last_travel': '2027-06-07'}, []], ['sold on last sale day', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-28', 'first_travel': '2027-03-10', 'last_travel': '2027-03-17'}, []], ['completes exactly on deadline', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-01', 'last_travel': '2027-06-15'}, []], ['completes a day late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-20', 'first_travel': '2027-05-20', 'last_travel': '2027-06-18'}, ['COMPLETE']], ['sold before travel window opens', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-15', 'first_travel': '2027-03-01', 'last_travel': '2027-03-05'}, []], ['commences too late', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-02-10', 'first_travel': '2027-06-05', 'last_travel': '2027-06-10'}, ['COMMENCE']], ['sold too early', {'sale_window': ['2027-01-10', '2027-02-28'], 'travel_window': ['2027-03-01', '2027-05-31'], 'complete_by': '2027-06-15', 'sale': '2027-01-09', 'first_travel': '2027-04-01', 'last_travel': '2027-04-08'}, ['SALE']], ['sampled case 1', {'sale_window': ['2027-07-10', '2027-07-30'], 'travel_window': ['2027-08-12', '2027-11-08'], 'complete_by': '2027-11-08', 'sale': '2027-08-17', 'first_travel': '2027-09-03', 'last_travel': '2027-09-06'}, ['SALE']], ['sampled case 2', {'sale_window': ['2027-02-23', '2027-03-25'], 'travel_window': ['2027-03-20', '2027-05-01'], 'complete_by': '2027-05-16', 'sale': '2027-03-25', 'first_travel': '2027-04-25', 'last_travel': '2027-05-04'}, []], ['sampled case 3', {'sale_window': ['2027-01-05', '2027-01-22'], 'travel_window': ['2027-01-19', '2027-02-25'], 'complete_by': '2027-03-09', 'sale': '2027-01-17', 'first_travel': '2027-01-17', 'last_travel': '2027-01-31'}, ['COMMENCE']]]]\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-sale-travel-windows-commence-uses-sale-date","generated_at":"2026-09-29T14:47:47.407952+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Promotional fares restrict the ticketing period, the period in which travel must commence and a separate completion deadline.","root_cause":"The travel-window test reads the sale date instead of the first travel date.","sha256":"ba7a11916905268a82cae9cb76490ccfcc7da1171a108cd3682188c51e33402c","title":"Travel window checked against the sale date · 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":39.51,"exit_code":1,"observations":[{"actual":["COMMENCE"],"check":"trip finishing after commence window","expected":[],"passed":false},{"actual":["COMMENCE"],"check":"sold on last sale day","expected":[],"passed":false},{"actual":["COMMENCE"],"check":"completes exactly on deadline","expected":[],"passed":false},{"actual":["COMMENCE","COMPLETE"],"check":"completes a day late","expected":["COMPLETE"],"passed":false},{"actual":["COMMENCE"],"check":"sold before travel window opens","expected":[],"passed":false},{"actual":["COMMENCE"],"check":"commences too late","expected":["COMMENCE"],"passed":true},{"actual":["SALE","COMMENCE"],"check":"sold too early","expected":["SALE"],"passed":false},{"actual":["COMMENCE"],"check":"sampled case 1","expected":["COMMENCE"],"passed":true},{"actual":[],"check":"sampled case 2","expected":[],"passed":true},{"actual":["COMMENCE"],"check":"sampled case 3","expected":["COMMENCE"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trip finishing after commence window\", \"actual\": [\"COMMENCE\"], \"expected\": [], \"passed\": false}, {\"check\": \"sold on last sale day\", \"actual\": [\"COMMENCE\"], \"expected\": [], \"passed\": false}, {\"check\": \"completes exactly on deadline\", \"actual\": [\"COMMENCE\"], \"expected\": [], \"passed\": false}, {\"check\": \"completes a day late\", \"actual\": [\"COMMENCE\", \"COMPLETE\"], \"expected\": [\"COMPLETE\"], \"passed\": false}, {\"check\": \"sold before travel window opens\", \"actual\": [\"COMMENCE\"], \"expected\": [], \"passed\": false}, {\"check\": \"commences too late\", \"actual\": [\"COMMENCE\"], \"expected\": [\"COMMENCE\"], \"passed\": true}, {\"check\": \"sold too early\", \"actual\": [\"SALE\", \"COMMENCE\"], \"expected\": [\"SALE\"], \"passed\": false}, {\"check\": \"sampled case 1\", \"actual\": [\"COMMENCE\"], \"expected\": [\"COMMENCE\"], \"passed\": true}, {\"check\": \"sampled case 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"sampled case 3\", \"actual\": [\"COMMENCE\"], \"expected\": [\"COMMENCE\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.97,"exit_code":1,"observations":[{"actual":["COMMENCE"],"check":"trip finishing after commence window","expected":[],"passed":false},{"actual":["COMMENCE"],"check":"sold on last sale day","expected":[],"passed":false},{"actual":["COMMENCE"],"check":"completes exactly on deadline","expected":[],"passed":false},{"actual":["COMMENCE","COMPLETE"],"check":"completes a day late","expected":["COMPLETE"],"passed":false},{"actual":["COMMENCE"],"check":"sold before travel window opens","expected":[],"passed":false},{"actual":["COMMENCE"],"check":"commences too late","expected":["COMMENCE"],"passed":true},{"actual":["SALE","COMMENCE"],"check":"sold too early","expected":["SALE"],"passed":false},{"actual":["COMMENCE"],"check":"sampled case 1","expected":["COMMENCE"],"passed":true},{"actual":[],"check":"sampled case 2","expected":[],"passed":true},{"actual":["COMMENCE"],"check":"sampled case 3","expected":["COMMENCE"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trip finishing after commence window\", \"actual\": [\"COMMENCE\"], \"expected\": [], \"passed\": false}, {\"check\": \"sold on last sale day\", \"actual\": [\"COMMENCE\"], \"expected\": [], \"passed\": false}, {\"check\": \"completes exactly on deadline\", \"actual\": [\"COMMENCE\"], \"expected\": [], \"passed\": false}, {\"check\": \"completes a day late\", \"actual\": [\"COMMENCE\", \"COMPLETE\"], \"expected\": [\"COMPLETE\"], \"passed\": false}, {\"check\": \"sold before travel window opens\", \"actual\": [\"COMMENCE\"], \"expected\": [], \"passed\": false}, {\"check\": \"commences too late\", \"actual\": [\"COMMENCE\"], \"expected\": [\"COMMENCE\"], \"passed\": true}, {\"check\": \"sold too early\", \"actual\": [\"SALE\", \"COMMENCE\"], \"expected\": [\"SALE\"], \"passed\": false}, {\"check\": \"sampled case 1\", \"actual\": [\"COMMENCE\"], \"expected\": [\"COMMENCE\"], \"passed\": true}, {\"check\": \"sampled case 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"sampled case 3\", \"actual\": [\"COMMENCE\"], \"expected\": [\"COMMENCE\"], \"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."}}