{"abstract":"A family of four is charged four outbound weekend surcharges but a single inbound one.","category":"Airline fare rule evaluation","checks":9,"contract":"Input {'outbound','inbound' (ISO or None),'weekend_days' ISO digits,'surcharge','rt_rule' EACH|OUTBOUND,'pax'}. Each direction is surcharged by its own departure weekday; with OUTBOUND only the outbound direction is assessed. The per-passenger total is multiplied by pax.","contract_signature":"x","evaluation_group":"w2-airline-fare-rules-weekend-surcharge","failed_approach":"Keeping the final multiplier as well squares the outbound passenger count.","family":"w2-airline-fare-rules-weekend-surcharge-pax-multiplier-scope","id":"FA-66691","implementations":{"attempt":{"sha256":"3efae9bb9af563d4b705108062c3b0edc3ed6d73aab24e49f2e750902677128a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime\nN = 1\nobservations = []\ndef solve(x):\n    wk = x['weekend_days']\n    def sur(ds):\n        return x['surcharge'] if str(datetime.date.fromisoformat(ds).isoweekday()) in wk else 0\n    total = sur(x['outbound']) * x['pax']\n    if x['inbound'] is not None and x['rt_rule'] == 'EACH':\n        total += sur(x['inbound'])\n    return total * x['pax']\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['weekday out weekend back', {'outbound': '2027-03-02', 'inbound': '2027-03-13', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 2}, 50], ['weekend out weekday back', {'outbound': '2027-03-12', 'inbound': '2027-03-16', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 1}, 25], ['outbound-only rule', {'outbound': '2027-03-13', 'inbound': '2027-03-20', 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'OUTBOUND', 'pax': 1}, 30], ['one-way weekend', {'outbound': '2027-03-14', 'inbound': None, 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'EACH', 'pax': 3}, 90], ['both weekend family', {'outbound': '2027-03-12', 'inbound': '2027-03-14', 'weekend_days': '567', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 4}, 160], ['no surcharge', {'outbound': '2027-03-02', 'inbound': '2027-03-04', 'weekend_days': '67', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 2}, 0], ['sampled case 1', {'outbound': '2027-08-29', 'inbound': '2027-09-14', 'weekend_days': '7', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 5}, 125], ['sampled case 2', {'outbound': '2029-05-04', 'inbound': '2029-05-06', 'weekend_days': '7', 'surcharge': 10, 'rt_rule': 'EACH', 'pax': 4}, 40], ['sampled case 3', {'outbound': '2029-02-23', 'inbound': '2029-03-13', 'weekend_days': '57', 'surcharge': 10, 'rt_rule': 'EACH', 'pax': 1}, 10]], [['weekday out weekend back', {'outbound': '2027-03-03', 'inbound': '2027-03-13', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 2}, 50], ['weekend out weekday back', {'outbound': '2027-03-12', 'inbound': '2027-03-17', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 1}, 25], ['outbound-only rule', {'outbound': '2027-03-13', 'inbound': '2027-03-20', 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'OUTBOUND', 'pax': 2}, 60], ['one-way weekend', {'outbound': '2027-03-14', 'inbound': None, 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'EACH', 'pax': 3}, 90], ['both weekend family', {'outbound': '2027-03-12', 'inbound': '2027-03-13', 'weekend_days': '567', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 4}, 160], ['no surcharge', {'outbound': '2027-03-02', 'inbound': '2027-03-03', 'weekend_days': '67', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 2}, 0], ['sampled case 1', {'outbound': '2029-10-08', 'inbound': None, 'weekend_days': '7', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 2}, 0], ['sampled case 2', {'outbound': '2028-10-14', 'inbound': '2028-10-29', 'weekend_days': '57', 'surcharge': 30, 'rt_rule': 'OUTBOUND', 'pax': 4}, 0], ['sampled case 3', {'outbound': '2027-01-22', 'inbound': '2027-01-27', 'weekend_days': '7', 'surcharge': 25, 'rt_rule': 'OUTBOUND', 'pax': 3}, 0]], [['weekday out weekend back', {'outbound': '2027-03-01', 'inbound': '2027-03-13', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 2}, 50], ['weekend out weekday back', {'outbound': '2027-03-12', 'inbound': '2027-03-15', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 1}, 25], ['outbound-only rule', {'outbound': '2027-03-13', 'inbound': '2027-03-20', 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'OUTBOUND', 'pax': 3}, 90], ['one-way weekend', {'outbound': '2027-03-14', 'inbound': None, 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'EACH', 'pax': 3}, 90], ['both weekend family', {'outbound': '2027-03-12', 'inbound': '2027-03-14', 'weekend_days': '567', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 4}, 160], ['no surcharge', {'outbound': '2027-03-02', 'inbound': '2027-03-04', 'weekend_days': '67', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 2}, 0], ['sampled case 1', {'outbound': '2028-10-14', 'inbound': None, 'weekend_days': '7', 'surcharge': 10, 'rt_rule': 'EACH', 'pax': 5}, 0], ['sampled case 2', {'outbound': '2027-03-30', 'inbound': '2027-04-13', 'weekend_days': '7', 'surcharge': 30, 'rt_rule': 'EACH', 'pax': 4}, 0], ['sampled case 3', {'outbound': '2028-09-18', 'inbound': '2028-09-29', 'weekend_days': '67', 'surcharge': 10, 'rt_rule': 'OUTBOUND', 'pax': 4}, 0]], [['weekday out weekend back', {'outbound': '2027-03-02', 'inbound': '2027-03-13', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 2}, 50], ['weekend out weekday back', {'outbound': '2027-03-12', 'inbound': '2027-03-16', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 1}, 25], ['outbound-only rule', {'outbound': '2027-03-13', 'inbound': '2027-03-20', 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'OUTBOUND', 'pax': 4}, 120], ['one-way weekend', {'outbound': '2027-03-14', 'inbound': None, 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'EACH', 'pax': 3}, 90], ['both weekend family', {'outbound': '2027-03-12', 'inbound': '2027-03-13', 'weekend_days': '567', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 4}, 160], ['no surcharge', {'outbound': '2027-03-02', 'inbound': '2027-03-03', 'weekend_days': '67', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 2}, 0], ['sampled case 1', {'outbound': '2029-09-11', 'inbound': '2029-09-13', 'weekend_days': '57', 'surcharge': 10, 'rt_rule': 'EACH', 'pax': 4}, 0], ['sampled case 2', {'outbound': '2027-09-08', 'inbound': None, 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'OUTBOUND', 'pax': 4}, 0], ['sampled case 3', {'outbound': '2028-08-06', 'inbound': '2028-08-16', 'weekend_days': '57', 'surcharge': 30, 'rt_rule': 'EACH', 'pax': 2}, 60]], [['weekday out weekend back', {'outbound': '2027-03-03', 'inbound': '2027-03-13', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 2}, 50], ['weekend out weekday back', {'outbound': '2027-03-12', 'inbound': '2027-03-17', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 1}, 25], ['outbound-only rule', {'outbound': '2027-03-13', 'inbound': '2027-03-20', 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'OUTBOUND', 'pax': 5}, 150], ['one-way weekend', {'outbound': '2027-03-14', 'inbound': None, 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'EACH', 'pax': 3}, 90], ['both weekend family', {'outbound': '2027-03-12', 'inbound': '2027-03-14', 'weekend_days': '567', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 4}, 160], ['no surcharge', {'outbound': '2027-03-02', 'inbound': '2027-03-04', 'weekend_days': '67', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 2}, 0], ['sampled case 1', {'outbound': '2029-06-29', 'inbound': '2029-07-16', 'weekend_days': '7', 'surcharge': 25, 'rt_rule': 'OUTBOUND', 'pax': 2}, 0], ['sampled case 2', {'outbound': '2028-01-20', 'inbound': None, 'weekend_days': '57', 'surcharge': 30, 'rt_rule': 'OUTBOUND', 'pax': 1}, 0], ['sampled case 3', {'outbound': '2028-07-21', 'inbound': None, 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'OUTBOUND', 'pax': 4}, 100]]]\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":"478f546583e768a7ff9cc7b3577a379084cf857a3702310662ef0ecc1884eee2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime\nN = 1\nobservations = []\ndef solve(x):\n    wk = x['weekend_days']\n    def sur(ds):\n        return x['surcharge'] if str(datetime.date.fromisoformat(ds).isoweekday()) in wk else 0\n    total = sur(x['outbound']) * x['pax']\n    if x['inbound'] is not None and x['rt_rule'] == 'EACH':\n        total += sur(x['inbound'])\n    return total\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['weekday out weekend back', {'outbound': '2027-03-02', 'inbound': '2027-03-13', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 2}, 50], ['weekend out weekday back', {'outbound': '2027-03-12', 'inbound': '2027-03-16', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 1}, 25], ['outbound-only rule', {'outbound': '2027-03-13', 'inbound': '2027-03-20', 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'OUTBOUND', 'pax': 1}, 30], ['one-way weekend', {'outbound': '2027-03-14', 'inbound': None, 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'EACH', 'pax': 3}, 90], ['both weekend family', {'outbound': '2027-03-12', 'inbound': '2027-03-14', 'weekend_days': '567', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 4}, 160], ['no surcharge', {'outbound': '2027-03-02', 'inbound': '2027-03-04', 'weekend_days': '67', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 2}, 0], ['sampled case 1', {'outbound': '2027-08-29', 'inbound': '2027-09-14', 'weekend_days': '7', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 5}, 125], ['sampled case 2', {'outbound': '2029-05-04', 'inbound': '2029-05-06', 'weekend_days': '7', 'surcharge': 10, 'rt_rule': 'EACH', 'pax': 4}, 40], ['sampled case 3', {'outbound': '2029-02-23', 'inbound': '2029-03-13', 'weekend_days': '57', 'surcharge': 10, 'rt_rule': 'EACH', 'pax': 1}, 10]], [['weekday out weekend back', {'outbound': '2027-03-03', 'inbound': '2027-03-13', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 2}, 50], ['weekend out weekday back', {'outbound': '2027-03-12', 'inbound': '2027-03-17', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 1}, 25], ['outbound-only rule', {'outbound': '2027-03-13', 'inbound': '2027-03-20', 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'OUTBOUND', 'pax': 2}, 60], ['one-way weekend', {'outbound': '2027-03-14', 'inbound': None, 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'EACH', 'pax': 3}, 90], ['both weekend family', {'outbound': '2027-03-12', 'inbound': '2027-03-13', 'weekend_days': '567', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 4}, 160], ['no surcharge', {'outbound': '2027-03-02', 'inbound': '2027-03-03', 'weekend_days': '67', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 2}, 0], ['sampled case 1', {'outbound': '2029-10-08', 'inbound': None, 'weekend_days': '7', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 2}, 0], ['sampled case 2', {'outbound': '2028-10-14', 'inbound': '2028-10-29', 'weekend_days': '57', 'surcharge': 30, 'rt_rule': 'OUTBOUND', 'pax': 4}, 0], ['sampled case 3', {'outbound': '2027-01-22', 'inbound': '2027-01-27', 'weekend_days': '7', 'surcharge': 25, 'rt_rule': 'OUTBOUND', 'pax': 3}, 0]], [['weekday out weekend back', {'outbound': '2027-03-01', 'inbound': '2027-03-13', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 2}, 50], ['weekend out weekday back', {'outbound': '2027-03-12', 'inbound': '2027-03-15', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 1}, 25], ['outbound-only rule', {'outbound': '2027-03-13', 'inbound': '2027-03-20', 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'OUTBOUND', 'pax': 3}, 90], ['one-way weekend', {'outbound': '2027-03-14', 'inbound': None, 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'EACH', 'pax': 3}, 90], ['both weekend family', {'outbound': '2027-03-12', 'inbound': '2027-03-14', 'weekend_days': '567', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 4}, 160], ['no surcharge', {'outbound': '2027-03-02', 'inbound': '2027-03-04', 'weekend_days': '67', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 2}, 0], ['sampled case 1', {'outbound': '2028-10-14', 'inbound': None, 'weekend_days': '7', 'surcharge': 10, 'rt_rule': 'EACH', 'pax': 5}, 0], ['sampled case 2', {'outbound': '2027-03-30', 'inbound': '2027-04-13', 'weekend_days': '7', 'surcharge': 30, 'rt_rule': 'EACH', 'pax': 4}, 0], ['sampled case 3', {'outbound': '2028-09-18', 'inbound': '2028-09-29', 'weekend_days': '67', 'surcharge': 10, 'rt_rule': 'OUTBOUND', 'pax': 4}, 0]], [['weekday out weekend back', {'outbound': '2027-03-02', 'inbound': '2027-03-13', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 2}, 50], ['weekend out weekday back', {'outbound': '2027-03-12', 'inbound': '2027-03-16', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 1}, 25], ['outbound-only rule', {'outbound': '2027-03-13', 'inbound': '2027-03-20', 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'OUTBOUND', 'pax': 4}, 120], ['one-way weekend', {'outbound': '2027-03-14', 'inbound': None, 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'EACH', 'pax': 3}, 90], ['both weekend family', {'outbound': '2027-03-12', 'inbound': '2027-03-13', 'weekend_days': '567', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 4}, 160], ['no surcharge', {'outbound': '2027-03-02', 'inbound': '2027-03-03', 'weekend_days': '67', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 2}, 0], ['sampled case 1', {'outbound': '2029-09-11', 'inbound': '2029-09-13', 'weekend_days': '57', 'surcharge': 10, 'rt_rule': 'EACH', 'pax': 4}, 0], ['sampled case 2', {'outbound': '2027-09-08', 'inbound': None, 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'OUTBOUND', 'pax': 4}, 0], ['sampled case 3', {'outbound': '2028-08-06', 'inbound': '2028-08-16', 'weekend_days': '57', 'surcharge': 30, 'rt_rule': 'EACH', 'pax': 2}, 60]], [['weekday out weekend back', {'outbound': '2027-03-03', 'inbound': '2027-03-13', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 2}, 50], ['weekend out weekday back', {'outbound': '2027-03-12', 'inbound': '2027-03-17', 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'EACH', 'pax': 1}, 25], ['outbound-only rule', {'outbound': '2027-03-13', 'inbound': '2027-03-20', 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'OUTBOUND', 'pax': 5}, 150], ['one-way weekend', {'outbound': '2027-03-14', 'inbound': None, 'weekend_days': '67', 'surcharge': 30, 'rt_rule': 'EACH', 'pax': 3}, 90], ['both weekend family', {'outbound': '2027-03-12', 'inbound': '2027-03-14', 'weekend_days': '567', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 4}, 160], ['no surcharge', {'outbound': '2027-03-02', 'inbound': '2027-03-04', 'weekend_days': '67', 'surcharge': 20, 'rt_rule': 'EACH', 'pax': 2}, 0], ['sampled case 1', {'outbound': '2029-06-29', 'inbound': '2029-07-16', 'weekend_days': '7', 'surcharge': 25, 'rt_rule': 'OUTBOUND', 'pax': 2}, 0], ['sampled case 2', {'outbound': '2028-01-20', 'inbound': None, 'weekend_days': '57', 'surcharge': 30, 'rt_rule': 'OUTBOUND', 'pax': 1}, 0], ['sampled case 3', {'outbound': '2028-07-21', 'inbound': None, 'weekend_days': '567', 'surcharge': 25, 'rt_rule': 'OUTBOUND', 'pax': 4}, 100]]]\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-weekend-surcharge-pax-multiplier-scope","generated_at":"2026-09-29T14:47:46.182048+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Day-of-week surcharges are assessed per fare component on its own travel date, and the rule may restrict assessment to the outbound direction.","root_cause":"The passenger multiplier is applied to the outbound amount only.","sha256":"da741a9d03642bfb853df48cd575f23292700bbb557b828164c01c71ff189b82","title":"Only the outbound surcharge multiplied by passengers · 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":41.972,"exit_code":1,"observations":[{"actual":50,"check":"weekday out weekend back","expected":50,"passed":true},{"actual":25,"check":"weekend out weekday back","expected":25,"passed":true},{"actual":30,"check":"outbound-only rule","expected":30,"passed":true},{"actual":270,"check":"one-way weekend","expected":90,"passed":false},{"actual":400,"check":"both weekend family","expected":160,"passed":false},{"actual":0,"check":"no surcharge","expected":0,"passed":true},{"actual":625,"check":"sampled case 1","expected":125,"passed":false},{"actual":40,"check":"sampled case 2","expected":40,"passed":true},{"actual":10,"check":"sampled case 3","expected":10,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"weekday out weekend back\", \"actual\": 50, \"expected\": 50, \"passed\": true}, {\"check\": \"weekend out weekday back\", \"actual\": 25, \"expected\": 25, \"passed\": true}, {\"check\": \"outbound-only rule\", \"actual\": 30, \"expected\": 30, \"passed\": true}, {\"check\": \"one-way weekend\", \"actual\": 270, \"expected\": 90, \"passed\": false}, {\"check\": \"both weekend family\", \"actual\": 400, \"expected\": 160, \"passed\": false}, {\"check\": \"no surcharge\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"sampled case 1\", \"actual\": 625, \"expected\": 125, \"passed\": false}, {\"check\": \"sampled case 2\", \"actual\": 40, \"expected\": 40, \"passed\": true}, {\"check\": \"sampled case 3\", \"actual\": 10, \"expected\": 10, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.755,"exit_code":1,"observations":[{"actual":25,"check":"weekday out weekend back","expected":50,"passed":false},{"actual":25,"check":"weekend out weekday back","expected":25,"passed":true},{"actual":30,"check":"outbound-only rule","expected":30,"passed":true},{"actual":90,"check":"one-way weekend","expected":90,"passed":true},{"actual":100,"check":"both weekend family","expected":160,"passed":false},{"actual":0,"check":"no surcharge","expected":0,"passed":true},{"actual":125,"check":"sampled case 1","expected":125,"passed":true},{"actual":10,"check":"sampled case 2","expected":40,"passed":false},{"actual":10,"check":"sampled case 3","expected":10,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"weekday out weekend back\", \"actual\": 25, \"expected\": 50, \"passed\": false}, {\"check\": \"weekend out weekday back\", \"actual\": 25, \"expected\": 25, \"passed\": true}, {\"check\": \"outbound-only rule\", \"actual\": 30, \"expected\": 30, \"passed\": true}, {\"check\": \"one-way weekend\", \"actual\": 90, \"expected\": 90, \"passed\": true}, {\"check\": \"both weekend family\", \"actual\": 100, \"expected\": 160, \"passed\": false}, {\"check\": \"no surcharge\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"sampled case 1\", \"actual\": 125, \"expected\": 125, \"passed\": true}, {\"check\": \"sampled case 2\", \"actual\": 10, \"expected\": 40, \"passed\": false}, {\"check\": \"sampled case 3\", \"actual\": 10, \"expected\": 10, \"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."}}