{"abstract":"Sales on the advertised last day of the promotion fail.","category":"Airline fare rule evaluation","checks":11,"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":"Excluding the first sale day instead rejects the opening day.","family":"w2-airline-fare-rules-sale-travel-windows-sale-end-exclusive","id":"FA-66826","implementations":{"attempt":{"sha256":"3f995d528a3dc2ffae8c9c3ddc832ca156a8e38d74044fa2a44126855cc2e8e6","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['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']], ['regression: sale window upper bound', {'sale_window': ['2027-02-05', '2027-02-25'], 'travel_window': ['2027-02-17', '2027-05-09'], 'complete_by': '2027-05-14', 'sale': '2027-02-05', 'first_travel': '2027-03-02', 'last_travel': '2027-03-26'}, []]], [['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']], ['regression: sale window upper bound', {'sale_window': ['2027-12-14', '2027-12-29'], 'travel_window': ['2028-01-20', '2028-02-18'], 'complete_by': '2028-03-06', 'sale': '2027-12-14', 'first_travel': '2028-03-29', 'last_travel': '2028-04-22'}, ['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-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'}, []], ['regression: sale window upper bound', {'sale_window': ['2027-01-06', '2027-02-05'], 'travel_window': ['2027-01-08', '2027-03-22'], 'complete_by': '2027-03-30', 'sale': '2027-01-06', 'first_travel': '2027-02-24', 'last_travel': '2027-03-03'}, []]], [['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']], ['regression: sale window upper bound', {'sale_window': ['2027-12-22', '2028-01-05'], 'travel_window': ['2028-01-13', '2028-02-12'], 'complete_by': '2028-03-12', 'sale': '2027-12-22', 'first_travel': '2028-03-09', 'last_travel': '2028-03-14'}, ['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']], ['regression: sale window upper bound', {'sale_window': ['2027-12-22', '2028-01-08'], 'travel_window': ['2027-12-30', '2028-01-27'], 'complete_by': '2028-02-01', 'sale': '2027-12-22', 'first_travel': '2028-03-03', 'last_travel': '2028-03-17'}, ['COMMENCE', 'COMPLETE']]]]\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":"6c7529e1b669018dbc802a0e3fc5a730a15b39338ba89b4ad2b4edec1ea17350","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['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']], ['regression: sale window upper bound', {'sale_window': ['2027-02-05', '2027-02-25'], 'travel_window': ['2027-02-17', '2027-05-09'], 'complete_by': '2027-05-14', 'sale': '2027-02-05', 'first_travel': '2027-03-02', 'last_travel': '2027-03-26'}, []]], [['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']], ['regression: sale window upper bound', {'sale_window': ['2027-12-14', '2027-12-29'], 'travel_window': ['2028-01-20', '2028-02-18'], 'complete_by': '2028-03-06', 'sale': '2027-12-14', 'first_travel': '2028-03-29', 'last_travel': '2028-04-22'}, ['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-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'}, []], ['regression: sale window upper bound', {'sale_window': ['2027-01-06', '2027-02-05'], 'travel_window': ['2027-01-08', '2027-03-22'], 'complete_by': '2027-03-30', 'sale': '2027-01-06', 'first_travel': '2027-02-24', 'last_travel': '2027-03-03'}, []]], [['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']], ['regression: sale window upper bound', {'sale_window': ['2027-12-22', '2028-01-05'], 'travel_window': ['2028-01-13', '2028-02-12'], 'complete_by': '2028-03-12', 'sale': '2027-12-22', 'first_travel': '2028-03-09', 'last_travel': '2028-03-14'}, ['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']], ['regression: sale window upper bound', {'sale_window': ['2027-12-22', '2028-01-08'], 'travel_window': ['2027-12-30', '2028-01-27'], 'complete_by': '2028-02-01', 'sale': '2027-12-22', 'first_travel': '2028-03-03', 'last_travel': '2028-03-17'}, ['COMMENCE', 'COMPLETE']]]]\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-sale-end-exclusive","generated_at":"2026-09-29T14:47:47.331532+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 sale window excludes its end date.","sha256":"a3332d3ad87eacf4db5a08fe13ee85ba6c46fcca1552d7a58552ceb29a7de864","title":"Tickets sold on the final sale day rejected · 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.333,"exit_code":1,"observations":[{"actual":[],"check":"trip finishing after commence window","expected":[],"passed":true},{"actual":[],"check":"sold on last sale day","expected":[],"passed":true},{"actual":[],"check":"completes exactly on deadline","expected":[],"passed":true},{"actual":["COMPLETE"],"check":"completes a day late","expected":["COMPLETE"],"passed":true},{"actual":[],"check":"sold before travel window opens","expected":[],"passed":true},{"actual":["COMMENCE"],"check":"commences too late","expected":["COMMENCE"],"passed":true},{"actual":["SALE"],"check":"sold too early","expected":["SALE"],"passed":true},{"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},{"actual":["SALE"],"check":"regression: sale window upper bound","expected":[],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trip finishing after commence window\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"sold on last sale day\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"completes exactly on deadline\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"completes a day late\", \"actual\": [\"COMPLETE\"], \"expected\": [\"COMPLETE\"], \"passed\": true}, {\"check\": \"sold before travel window opens\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"commences too late\", \"actual\": [\"COMMENCE\"], \"expected\": [\"COMMENCE\"], \"passed\": true}, {\"check\": \"sold too early\", \"actual\": [\"SALE\"], \"expected\": [\"SALE\"], \"passed\": true}, {\"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}, {\"check\": \"regression: sale window upper bound\", \"actual\": [\"SALE\"], \"expected\": [], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.691,"exit_code":1,"observations":[{"actual":[],"check":"trip finishing after commence window","expected":[],"passed":true},{"actual":["SALE"],"check":"sold on last sale day","expected":[],"passed":false},{"actual":[],"check":"completes exactly on deadline","expected":[],"passed":true},{"actual":["COMPLETE"],"check":"completes a day late","expected":["COMPLETE"],"passed":true},{"actual":[],"check":"sold before travel window opens","expected":[],"passed":true},{"actual":["COMMENCE"],"check":"commences too late","expected":["COMMENCE"],"passed":true},{"actual":["SALE"],"check":"sold too early","expected":["SALE"],"passed":true},{"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},{"actual":[],"check":"regression: sale window upper bound","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trip finishing after commence window\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"sold on last sale day\", \"actual\": [\"SALE\"], \"expected\": [], \"passed\": false}, {\"check\": \"completes exactly on deadline\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"completes a day late\", \"actual\": [\"COMPLETE\"], \"expected\": [\"COMPLETE\"], \"passed\": true}, {\"check\": \"sold before travel window opens\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"commences too late\", \"actual\": [\"COMMENCE\"], \"expected\": [\"COMMENCE\"], \"passed\": true}, {\"check\": \"sold too early\", \"actual\": [\"SALE\"], \"expected\": [\"SALE\"], \"passed\": true}, {\"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}, {\"check\": \"regression: sale window upper bound\", \"actual\": [], \"expected\": [], \"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."}}