{"abstract":"Mid-cycle the running compressor stops and the other starts, adding a start per cycle.","category":"HVAC thermostat control","checks":8,"contract":"Two-compressor cooling with lead/lag rotation, per sample in tenths F. Stage 1 starts above setpoint + 1.0 F and ends at <= setpoint (ending stage 2 too); stage 2 starts above setpoint + 3.0 F and ends at <= setpoint + 1.0 F. Stage 1 runs the lead compressor and stage 2 the other one; the lead swaps when a cooling cycle ends. Return [compressor0, compressor1] per sample.","contract_signature":"setpoint, temps","evaluation_group":"w2-hvac-thermostat-control-lead-lag-compressors","failed_approach":"Swapping at the start of each cycle starts the wrong compressor on the first cycle.","family":"w2-hvac-thermostat-control-lead-lag-compressors-rotation-point","id":"FA-92796","implementations":{"attempt":{"sha256":"44660759ffd2837f12e1934ad329c0d33e45280e79d53e7dbfab43ef1af03d1c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(setpoint, temps):\n    lead = 0\n    s1 = False\n    s2 = False\n    out = []\n    for temp in temps:\n        if s1 and temp <= setpoint:\n            s1 = False\n            s2 = False\n        elif not s1 and temp > setpoint + 10:\n            s1 = True\n            lead = 1 - lead\n        if s1:\n            if s2 and temp <= setpoint + 10:\n                s2 = False\n            elif not s2 and temp > setpoint + 30:\n                s2 = True\n        comps = [False, False]\n        if s1:\n            comps[lead] = True\n        if s2:\n            comps[1 - lead] = True\n        out.append(comps)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: two cycles',\n   [750, [765, 770, 785, 770, 758, 750, 762, 790, 750]],\n   [[True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, False],\n    [False, False],\n    [False, True],\n    [True, True],\n    [False, False]]],\n  ['regression: stage two exit',\n   [750, [790, 775, 765, 761, 760, 755, 750]],\n   [[True, True], [True, True], [True, True], [True, True], [True, False], [True, False], [False, False]]],\n  ['regression: back to back cycles',\n   [750, [761, 750, 761, 781, 750, 790, 790]],\n   [[True, False], [False, False], [False, True], [True, True], [False, False], [True, True], [True, True]]],\n  ['control: scenario 1',\n   [750, [791, 800, 788, 797, 797, 800, 800, 794, 783, 786, 794, 800, 796, 800, 793]],\n   [[True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['regression: scenario 2',\n   [750, [773, 772, 761, 772, 763, 774, 780, 778, 772, 783, 782, 782, 789, 780, 788, 791]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['regression: scenario 3',\n   [750,\n    [763, 769, 774, 780, 786, 775, 770, 775, 764, 773, 765, 772, 760, 771, 761, 760, 749, 738, 740, 739]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]],\n  ['regression: scenario 4',\n   [750,\n    [756, 768, 779, 785, 774, 770, 779, 785, 789, 793, 789, 794, 783, 795, 795, 798, 800, 800, 800, 800]],\n   [[False, False],\n    [True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['control: scenario 5',\n   [750, [737, 734, 746, 756, 754, 757, 746, 734, 742, 746, 747, 754, 742, 743, 743, 740, 741, 730, 730]],\n   [[False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]]],\n [['regression: stage two exit',\n   [750, [790, 775, 765, 761, 760, 755, 750]],\n   [[True, True], [True, True], [True, True], [True, True], [True, False], [True, False], [False, False]]],\n  ['regression: back to back cycles',\n   [750, [761, 750, 761, 781, 750, 790, 790]],\n   [[True, False], [False, False], [False, True], [True, True], [False, False], [True, True], [True, True]]],\n  ['regression: two cycles',\n   [750, [765, 770, 785, 770, 758, 750, 762, 790, 750]],\n   [[True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, False],\n    [False, False],\n    [False, True],\n    [True, True],\n    [False, False]]],\n  ['control: scenario 1',\n   [750, [781, 777, 789, 785, 797, 797, 794, 792, 789, 796, 791, 779, 788, 794, 800]],\n   [[True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['control: scenario 2',\n   [750,\n    [789,\n     800,\n     793,\n     797,\n     800,\n     800,\n     800,\n     789,\n     799,\n     800,\n     797,\n     794,\n     798,\n     787,\n     798,\n     794,\n     800,\n     791,\n     785,\n     774,\n     785]],\n   [[True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['regression: scenario 3',\n   [750, [772, 766, 758, 765, 758, 750, 747, 754, 765, 761, 757, 760]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, True],\n    [False, True],\n    [False, True],\n    [False, True]]],\n  ['regression: scenario 4',\n   [750, [755, 754, 746, 745, 752, 763, 766, 771, 761, 750, 745, 748, 742, 746, 743, 738, 747, 739]],\n   [[False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]],\n  ['regression: scenario 5',\n   [750, [779, 781, 782, 790, 792, 800, 800, 797, 800, 800, 800, 793, 793, 786, 793]],\n   [[True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]]],\n [['regression: back to back cycles',\n   [750, [761, 750, 761, 781, 750, 790, 790]],\n   [[True, False], [False, False], [False, True], [True, True], [False, False], [True, True], [True, True]]],\n  ['regression: scenario 1',\n   [750, [762, 759, 748, 748, 738, 734, 743, 743, 736, 730, 730, 740, 745, 743, 754]],\n   [[True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]],\n  ['regression: two cycles',\n   [750, [765, 770, 785, 770, 758, 750, 762, 790, 750]],\n   [[True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, False],\n    [False, False],\n    [False, True],\n    [True, True],\n    [False, False]]],\n  ['regression: stage two exit',\n   [750, [790, 775, 765, 761, 760, 755, 750]],\n   [[True, True], [True, True], [True, True], [True, True], [True, False], [True, False], [False, False]]],\n  ['regression: scenario 2',\n   [750, [799, 791, 800, 795, 787, 776, 768, 762, 752, 742, 732, 734, 742, 749]],\n   [[True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]],\n  ['regression: scenario 3',\n   [750, [761, 772, 779, 779, 782, 785, 785, 790, 799, 800, 800, 800, 794]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['regression: scenario 4',\n   [750, [774, 775, 785, 773, 771, 769, 757, 761, 751, 747, 742, 740, 747, 741, 738, 749]],\n   [[True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]],\n  ['regression: scenario 5',\n   [750, [754, 757, 767, 762, 753, 746, 755, 760, 766, 765, 761, 771]],\n   [[False, False],\n    [False, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, True],\n    [False, True],\n    [False, True],\n    [False, True]]]],\n [['regression: scenario 3',\n   [750,\n    [766,\n     766,\n     761,\n     768,\n     778,\n     773,\n     776,\n     774,\n     773,\n     764,\n     759,\n     752,\n     748,\n     737,\n     737,\n     730,\n     741,\n     751,\n     763,\n     767,\n     758]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, True],\n    [False, True],\n    [False, True]]],\n  ['regression: scenario 1',\n   [750,\n    [768,\n     772,\n     765,\n     773,\n     768,\n     770,\n     772,\n     766,\n     758,\n     765,\n     775,\n     781,\n     777,\n     785,\n     783,\n     782,\n     789,\n     778,\n     772,\n     772,\n     775,\n     763]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['regression: two cycles',\n   [750, [765, 770, 785, 770, 758, 750, 762, 790, 750]],\n   [[True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, False],\n    [False, False],\n    [False, True],\n    [True, True],\n    [False, False]]],\n  ['regression: stage two exit',\n   [750, [790, 775, 765, 761, 760, 755, 750]],\n   [[True, True], [True, True], [True, True], [True, True], [True, False], [True, False], [False, False]]],\n  ['regression: back to back cycles',\n   [750, [761, 750, 761, 781, 750, 790, 790]],\n   [[True, False], [False, False], [False, True], [True, True], [False, False], [True, True], [True, True]]],\n  ['control: scenario 2',\n   [750, [736, 737, 732, 735, 731, 730, 730, 730, 731, 742, 748, 744, 734, 732, 742, 737, 741, 745, 754]],\n   [[False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]],\n  ['regression: scenario 4',\n   [750, [750, 758, 750, 760, 764, 772, 773, 777, 788, 780, 788, 786, 795]],\n   [[False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['regression: scenario 5',\n   [750, [761, 760, 765, 774, 773, 771, 770, 759, 770, 776, 781, 770, 767, 760, 769, 762, 766, 763]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False]]]],\n [['regression: scenario 4',\n   [750, [799, 787, 790, 791, 800, 788, 778, 790, 778, 769, 758, 761, 755, 767, 764]],\n   [[True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False]]],\n  ['regression: scenario 2',\n   [750,\n    [762,\n     763,\n     758,\n     761,\n     758,\n     746,\n     737,\n     733,\n     730,\n     739,\n     742,\n     746,\n     744,\n     745,\n     738,\n     733,\n     730,\n     731,\n     730,\n     730,\n     730,\n     730]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]],\n  ['regression: two cycles',\n   [750, [765, 770, 785, 770, 758, 750, 762, 790, 750]],\n   [[True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, False],\n    [False, False],\n    [False, True],\n    [True, True],\n    [False, False]]],\n  ['regression: stage two exit',\n   [750, [790, 775, 765, 761, 760, 755, 750]],\n   [[True, True], [True, True], [True, True], [True, True], [True, False], [True, False], [False, False]]],\n  ['regression: back to back cycles',\n   [750, [761, 750, 761, 781, 750, 790, 790]],\n   [[True, False], [False, False], [False, True], [True, True], [False, False], [True, True], [True, True]]],\n  ['regression: scenario 1',\n   [750, [766, 778, 774, 767, 764, 771, 779, 770, 767, 762, 752, 755, 756, 753, 746, 758]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False]]],\n  ['regression: scenario 3',\n   [750,\n    [767, 756, 761, 750, 751, 751, 748, 739, 735, 737, 746, 750, 740, 744, 749, 760, 770, 777, 776, 772]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, True],\n    [False, True],\n    [False, True],\n    [False, True]]],\n  ['control: scenario 5',\n   [750, [748, 758, 752, 747, 738, 730, 730, 730, 730, 737, 746, 742, 739, 746]],\n   [[False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]]]]\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":"9d7f6c2c8b838e1a7650c5f0480cffe6e1963b138ebdd44e136d5d47a29f52f8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(setpoint, temps):\n    lead = 0\n    s1 = False\n    s2 = False\n    out = []\n    for temp in temps:\n        if s1 and temp <= setpoint:\n            s1 = False\n            s2 = False\n        elif not s1 and temp > setpoint + 10:\n            s1 = True\n        if s1:\n            if s2 and temp <= setpoint + 10:\n                s2 = False\n                lead = 1 - lead\n            elif not s2 and temp > setpoint + 30:\n                s2 = True\n        comps = [False, False]\n        if s1:\n            comps[lead] = True\n        if s2:\n            comps[1 - lead] = True\n        out.append(comps)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: two cycles',\n   [750, [765, 770, 785, 770, 758, 750, 762, 790, 750]],\n   [[True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, False],\n    [False, False],\n    [False, True],\n    [True, True],\n    [False, False]]],\n  ['regression: stage two exit',\n   [750, [790, 775, 765, 761, 760, 755, 750]],\n   [[True, True], [True, True], [True, True], [True, True], [True, False], [True, False], [False, False]]],\n  ['regression: back to back cycles',\n   [750, [761, 750, 761, 781, 750, 790, 790]],\n   [[True, False], [False, False], [False, True], [True, True], [False, False], [True, True], [True, True]]],\n  ['control: scenario 1',\n   [750, [791, 800, 788, 797, 797, 800, 800, 794, 783, 786, 794, 800, 796, 800, 793]],\n   [[True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['regression: scenario 2',\n   [750, [773, 772, 761, 772, 763, 774, 780, 778, 772, 783, 782, 782, 789, 780, 788, 791]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['regression: scenario 3',\n   [750,\n    [763, 769, 774, 780, 786, 775, 770, 775, 764, 773, 765, 772, 760, 771, 761, 760, 749, 738, 740, 739]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]],\n  ['regression: scenario 4',\n   [750,\n    [756, 768, 779, 785, 774, 770, 779, 785, 789, 793, 789, 794, 783, 795, 795, 798, 800, 800, 800, 800]],\n   [[False, False],\n    [True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['control: scenario 5',\n   [750, [737, 734, 746, 756, 754, 757, 746, 734, 742, 746, 747, 754, 742, 743, 743, 740, 741, 730, 730]],\n   [[False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]]],\n [['regression: stage two exit',\n   [750, [790, 775, 765, 761, 760, 755, 750]],\n   [[True, True], [True, True], [True, True], [True, True], [True, False], [True, False], [False, False]]],\n  ['regression: back to back cycles',\n   [750, [761, 750, 761, 781, 750, 790, 790]],\n   [[True, False], [False, False], [False, True], [True, True], [False, False], [True, True], [True, True]]],\n  ['regression: two cycles',\n   [750, [765, 770, 785, 770, 758, 750, 762, 790, 750]],\n   [[True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, False],\n    [False, False],\n    [False, True],\n    [True, True],\n    [False, False]]],\n  ['control: scenario 1',\n   [750, [781, 777, 789, 785, 797, 797, 794, 792, 789, 796, 791, 779, 788, 794, 800]],\n   [[True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['control: scenario 2',\n   [750,\n    [789,\n     800,\n     793,\n     797,\n     800,\n     800,\n     800,\n     789,\n     799,\n     800,\n     797,\n     794,\n     798,\n     787,\n     798,\n     794,\n     800,\n     791,\n     785,\n     774,\n     785]],\n   [[True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['regression: scenario 3',\n   [750, [772, 766, 758, 765, 758, 750, 747, 754, 765, 761, 757, 760]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, True],\n    [False, True],\n    [False, True],\n    [False, True]]],\n  ['regression: scenario 4',\n   [750, [755, 754, 746, 745, 752, 763, 766, 771, 761, 750, 745, 748, 742, 746, 743, 738, 747, 739]],\n   [[False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]],\n  ['regression: scenario 5',\n   [750, [779, 781, 782, 790, 792, 800, 800, 797, 800, 800, 800, 793, 793, 786, 793]],\n   [[True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]]],\n [['regression: back to back cycles',\n   [750, [761, 750, 761, 781, 750, 790, 790]],\n   [[True, False], [False, False], [False, True], [True, True], [False, False], [True, True], [True, True]]],\n  ['regression: scenario 1',\n   [750, [762, 759, 748, 748, 738, 734, 743, 743, 736, 730, 730, 740, 745, 743, 754]],\n   [[True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]],\n  ['regression: two cycles',\n   [750, [765, 770, 785, 770, 758, 750, 762, 790, 750]],\n   [[True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, False],\n    [False, False],\n    [False, True],\n    [True, True],\n    [False, False]]],\n  ['regression: stage two exit',\n   [750, [790, 775, 765, 761, 760, 755, 750]],\n   [[True, True], [True, True], [True, True], [True, True], [True, False], [True, False], [False, False]]],\n  ['regression: scenario 2',\n   [750, [799, 791, 800, 795, 787, 776, 768, 762, 752, 742, 732, 734, 742, 749]],\n   [[True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]],\n  ['regression: scenario 3',\n   [750, [761, 772, 779, 779, 782, 785, 785, 790, 799, 800, 800, 800, 794]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['regression: scenario 4',\n   [750, [774, 775, 785, 773, 771, 769, 757, 761, 751, 747, 742, 740, 747, 741, 738, 749]],\n   [[True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]],\n  ['regression: scenario 5',\n   [750, [754, 757, 767, 762, 753, 746, 755, 760, 766, 765, 761, 771]],\n   [[False, False],\n    [False, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, True],\n    [False, True],\n    [False, True],\n    [False, True]]]],\n [['regression: scenario 3',\n   [750,\n    [766,\n     766,\n     761,\n     768,\n     778,\n     773,\n     776,\n     774,\n     773,\n     764,\n     759,\n     752,\n     748,\n     737,\n     737,\n     730,\n     741,\n     751,\n     763,\n     767,\n     758]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, True],\n    [False, True],\n    [False, True]]],\n  ['regression: scenario 1',\n   [750,\n    [768,\n     772,\n     765,\n     773,\n     768,\n     770,\n     772,\n     766,\n     758,\n     765,\n     775,\n     781,\n     777,\n     785,\n     783,\n     782,\n     789,\n     778,\n     772,\n     772,\n     775,\n     763]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['regression: two cycles',\n   [750, [765, 770, 785, 770, 758, 750, 762, 790, 750]],\n   [[True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, False],\n    [False, False],\n    [False, True],\n    [True, True],\n    [False, False]]],\n  ['regression: stage two exit',\n   [750, [790, 775, 765, 761, 760, 755, 750]],\n   [[True, True], [True, True], [True, True], [True, True], [True, False], [True, False], [False, False]]],\n  ['regression: back to back cycles',\n   [750, [761, 750, 761, 781, 750, 790, 790]],\n   [[True, False], [False, False], [False, True], [True, True], [False, False], [True, True], [True, True]]],\n  ['control: scenario 2',\n   [750, [736, 737, 732, 735, 731, 730, 730, 730, 731, 742, 748, 744, 734, 732, 742, 737, 741, 745, 754]],\n   [[False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]],\n  ['regression: scenario 4',\n   [750, [750, 758, 750, 760, 764, 772, 773, 777, 788, 780, 788, 786, 795]],\n   [[False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True]]],\n  ['regression: scenario 5',\n   [750, [761, 760, 765, 774, 773, 771, 770, 759, 770, 776, 781, 770, 767, 760, 769, 762, 766, 763]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False]]]],\n [['regression: scenario 4',\n   [750, [799, 787, 790, 791, 800, 788, 778, 790, 778, 769, 758, 761, 755, 767, 764]],\n   [[True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, True],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False]]],\n  ['regression: scenario 2',\n   [750,\n    [762,\n     763,\n     758,\n     761,\n     758,\n     746,\n     737,\n     733,\n     730,\n     739,\n     742,\n     746,\n     744,\n     745,\n     738,\n     733,\n     730,\n     731,\n     730,\n     730,\n     730,\n     730]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]],\n  ['regression: two cycles',\n   [750, [765, 770, 785, 770, 758, 750, 762, 790, 750]],\n   [[True, False],\n    [True, False],\n    [True, True],\n    [True, True],\n    [True, False],\n    [False, False],\n    [False, True],\n    [True, True],\n    [False, False]]],\n  ['regression: stage two exit',\n   [750, [790, 775, 765, 761, 760, 755, 750]],\n   [[True, True], [True, True], [True, True], [True, True], [True, False], [True, False], [False, False]]],\n  ['regression: back to back cycles',\n   [750, [761, 750, 761, 781, 750, 790, 790]],\n   [[True, False], [False, False], [False, True], [True, True], [False, False], [True, True], [True, True]]],\n  ['regression: scenario 1',\n   [750, [766, 778, 774, 767, 764, 771, 779, 770, 767, 762, 752, 755, 756, 753, 746, 758]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False]]],\n  ['regression: scenario 3',\n   [750,\n    [767, 756, 761, 750, 751, 751, 748, 739, 735, 737, 746, 750, 740, 744, 749, 760, 770, 777, 776, 772]],\n   [[True, False],\n    [True, False],\n    [True, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, True],\n    [False, True],\n    [False, True],\n    [False, True]]],\n  ['control: scenario 5',\n   [750, [748, 758, 752, 747, 738, 730, 730, 730, 730, 737, 746, 742, 739, 746]],\n   [[False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False],\n    [False, False]]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic bounded teaching model of one thermostat or HVAC controller decision evaluated per sample. Temperatures are integer tenths of a degree Fahrenheit unless stated otherwise. The contract is a stipulated toy convention, not a claim of conformance to any manufacturer, ASHRAE guideline or code. 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-hvac-thermostat-control-lead-lag-compressors-rotation-point","generated_at":"2026-09-29T14:51:49.181991+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Residential and light-commercial thermostats make these decisions sample by sample; each defect changes equipment calls in a way that shows up as short cycling, comfort complaints or equipment stress.","root_cause":"The lead/lag swap is performed on the stage-2 exit instead of at cycle end.","sha256":"fcb0420a624b9a0731aaf5555961eb6401dc0df987b2155d69f7170622ca633b","title":"Lead compressor swaps when stage 2 drops out · 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.731,"exit_code":1,"observations":[{"actual":[[false,true],[false,true],[true,true],[true,true],[false,true],[false,false],[true,false],[true,true],[false,false]],"check":"regression: two cycles","expected":[[true,false],[true,false],[true,true],[true,true],[true,false],[false,false],[false,true],[true,true],[false,false]],"passed":false},{"actual":[[true,true],[true,true],[true,true],[true,true],[false,true],[false,true],[false,false]],"check":"regression: stage two exit","expected":[[true,true],[true,true],[true,true],[true,true],[true,false],[true,false],[false,false]],"passed":false},{"actual":[[false,true],[false,false],[true,false],[true,true],[false,false],[true,true],[true,true]],"check":"regression: back to back cycles","expected":[[true,false],[false,false],[false,true],[true,true],[false,false],[true,true],[true,true]],"passed":false},{"actual":[[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true]],"check":"control: scenario 1","expected":[[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true]],"passed":true},{"actual":[[false,true],[false,true],[false,true],[false,true],[false,true],[false,true],[false,true],[false,true],[false,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true]],"check":"regression: scenario 2","expected":[[true,false],[true,false],[true,false],[true,false],[true,false],[true,false],[true,false],[true,false],[true,false],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true]],"passed":false},{"actual":[[false,true],[false,true],[false,true],[false,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[false,true],[false,true],[false,true],[false,true],[false,false],[false,false],[false,false],[false,false]],"check":"regression: scenario 3","expected":[[true,false],[true,false],[true,false],[true,false],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,false],[true,false],[true,false],[true,false],[false,false],[false,false],[false,false],[false,false]],"passed":false},{"actual":[[false,false],[false,true],[false,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true]],"check":"regression: scenario 4","expected":[[false,false],[true,false],[true,false],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true]],"passed":false},{"actual":[[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false]],"check":"control: scenario 5","expected":[[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: two cycles\", \"actual\": [[false, true], [false, true], [true, true], [true, true], [false, true], [false, false], [true, false], [true, true], [false, false]], \"expected\": [[true, false], [true, false], [true, true], [true, true], [true, false], [false, false], [false, true], [true, true], [false, false]], \"passed\": false}, {\"check\": \"regression: stage two exit\", \"actual\": [[true, true], [true, true], [true, true], [true, true], [false, true], [false, true], [false, false]], \"expected\": [[true, true], [true, true], [true, true], [true, true], [true, false], [true, false], [false, false]], \"passed\": false}, {\"check\": \"regression: back to back cycles\", \"actual\": [[false, true], [false, false], [true, false], [true, true], [false, false], [true, true], [true, true]], \"expected\": [[true, false], [false, false], [false, true], [true, true], [false, false], [true, true], [true, true]], \"passed\": false}, {\"check\": \"control: scenario 1\", \"actual\": [[true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true]], \"expected\": [[true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true]], \"passed\": true}, {\"check\": \"regression: scenario 2\", \"actual\": [[false, true], [false, true], [false, true], [false, true], [false, true], [false, true], [false, true], [false, true], [false, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true]], \"expected\": [[true, false], [true, false], [true, false], [true, false], [true, false], [true, false], [true, false], [true, false], [true, false], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true]], \"passed\": false}, {\"check\": \"regression: scenario 3\", \"actual\": [[false, true], [false, true], [false, true], [false, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [false, true], [false, true], [false, true], [false, true], [false, false], [false, false], [false, false], [false, false]], \"expected\": [[true, false], [true, false], [true, false], [true, false], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, false], [true, false], [true, false], [true, false], [false, false], [false, false], [false, false], [false, false]], \"passed\": false}, {\"check\": \"regression: scenario 4\", \"actual\": [[false, false], [false, true], [false, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true]], \"expected\": [[false, false], [true, false], [true, false], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true]], \"passed\": false}, {\"check\": \"control: scenario 5\", \"actual\": [[false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false]], \"expected\": [[false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.518,"exit_code":1,"observations":[{"actual":[[true,false],[true,false],[true,true],[true,true],[false,true],[false,false],[false,true],[true,true],[false,false]],"check":"regression: two cycles","expected":[[true,false],[true,false],[true,true],[true,true],[true,false],[false,false],[false,true],[true,true],[false,false]],"passed":false},{"actual":[[true,true],[true,true],[true,true],[true,true],[false,true],[false,true],[false,false]],"check":"regression: stage two exit","expected":[[true,true],[true,true],[true,true],[true,true],[true,false],[true,false],[false,false]],"passed":false},{"actual":[[true,false],[false,false],[true,false],[true,true],[false,false],[true,true],[true,true]],"check":"regression: back to back cycles","expected":[[true,false],[false,false],[false,true],[true,true],[false,false],[true,true],[true,true]],"passed":false},{"actual":[[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true]],"check":"control: scenario 1","expected":[[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true]],"passed":true},{"actual":[[true,false],[true,false],[true,false],[true,false],[true,false],[true,false],[true,false],[true,false],[true,false],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true]],"check":"regression: scenario 2","expected":[[true,false],[true,false],[true,false],[true,false],[true,false],[true,false],[true,false],[true,false],[true,false],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true]],"passed":true},{"actual":[[true,false],[true,false],[true,false],[true,false],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[false,true],[false,true],[false,true],[false,true],[false,false],[false,false],[false,false],[false,false]],"check":"regression: scenario 3","expected":[[true,false],[true,false],[true,false],[true,false],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,false],[true,false],[true,false],[true,false],[false,false],[false,false],[false,false],[false,false]],"passed":false},{"actual":[[false,false],[true,false],[true,false],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true]],"check":"regression: scenario 4","expected":[[false,false],[true,false],[true,false],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true],[true,true]],"passed":true},{"actual":[[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false]],"check":"control: scenario 5","expected":[[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false],[false,false]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: two cycles\", \"actual\": [[true, false], [true, false], [true, true], [true, true], [false, true], [false, false], [false, true], [true, true], [false, false]], \"expected\": [[true, false], [true, false], [true, true], [true, true], [true, false], [false, false], [false, true], [true, true], [false, false]], \"passed\": false}, {\"check\": \"regression: stage two exit\", \"actual\": [[true, true], [true, true], [true, true], [true, true], [false, true], [false, true], [false, false]], \"expected\": [[true, true], [true, true], [true, true], [true, true], [true, false], [true, false], [false, false]], \"passed\": false}, {\"check\": \"regression: back to back cycles\", \"actual\": [[true, false], [false, false], [true, false], [true, true], [false, false], [true, true], [true, true]], \"expected\": [[true, false], [false, false], [false, true], [true, true], [false, false], [true, true], [true, true]], \"passed\": false}, {\"check\": \"control: scenario 1\", \"actual\": [[true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true]], \"expected\": [[true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true]], \"passed\": true}, {\"check\": \"regression: scenario 2\", \"actual\": [[true, false], [true, false], [true, false], [true, false], [true, false], [true, false], [true, false], [true, false], [true, false], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true]], \"expected\": [[true, false], [true, false], [true, false], [true, false], [true, false], [true, false], [true, false], [true, false], [true, false], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true]], \"passed\": true}, {\"check\": \"regression: scenario 3\", \"actual\": [[true, false], [true, false], [true, false], [true, false], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [false, true], [false, true], [false, true], [false, true], [false, false], [false, false], [false, false], [false, false]], \"expected\": [[true, false], [true, false], [true, false], [true, false], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, false], [true, false], [true, false], [true, false], [false, false], [false, false], [false, false], [false, false]], \"passed\": false}, {\"check\": \"regression: scenario 4\", \"actual\": [[false, false], [true, false], [true, false], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true]], \"expected\": [[false, false], [true, false], [true, false], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true], [true, true]], \"passed\": true}, {\"check\": \"control: scenario 5\", \"actual\": [[false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false]], \"expected\": [[false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false], [false, false]], \"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."}}