{"abstract":"The decoded time state disagrees with the explicit regression oracle for valid.","category":"Time representation","checks":11,"contract":"Four timestamps are ordered by message path: client send c0, server receive s1, server send s2, client receive c3. Constant offset server-minus-client is estimated by symmetric path assumption. Preserve exact half-tick fractions; report network round trip, offset, projected server now, local send/receive server equivalents, one-way path estimate and delay bounds from nonnegative path delays.","evaluation_group":"s3-time-four_timestamp_exchange","failed_approach":"The partial correction still substitutes round_trip > 0 at the same fault site.","family":"s3-time_representation-four-timestamp-exchange-valid","id":"FA-18031","implementations":{"attempt":{"sha256":"6f43c40cc32ed5935c376ae518add807d67c63517a592ec997d356da3d1b4fc2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    client_span = r['c3'] - r['c0']\n    server_span = r['s2'] - r['s1']\n    round_trip = client_span - server_span\n    offset_low = r['s2'] - r['c3']\n    offset_high = r['s1'] - r['c0']\n    offset = Fraction(offset_low + offset_high,2)\n    projected = r['now'] + offset\n    one_way = Fraction(round_trip,2)\n    valid = round_trip > 0\n    uncertainty = Fraction(offset_high - offset_low,2)\n    return [valid,str(offset),str(projected),str(one_way),[offset_low,offset_high],str(uncertainty),str(r['c0']+offset),str(r['c3']+offset)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 10}), [True, '5', '15', '2', [3, 7], '2', '5', '11'])\ncheck('fixture 2', solve({'c0': 10, 's1': 9, 's2': 12, 'c3': 18, 'now': 20}), [True, '-7/2', '33/2', '5/2', [-6, -1], '5/2', '13/2', '29/2'])\ncheck('fixture 3', solve({'c0': 0, 's1': 5, 's2': 5, 'c3': 0, 'now': 2}), [True, '5', '7', '0', [5, 5], '0', '5', '5'])\ncheck('fixture 4', solve({'c0': 10, 's1': 10, 's2': 20, 'c3': 15, 'now': 30}), [False, '5/2', '65/2', '-5/2', [5, 0], '-5/2', '25/2', '35/2'])\ncheck('fixture 5', solve({'c0': 20, 's1': 10, 's2': 10, 'c3': 10, 'now': 30}), [False, '-5', '25', '-5', [0, -10], '-5', '15', '5'])\ncheck('fixture 6', solve({'c0': 0, 's1': 1, 's2': 2, 'c3': 4, 'now': 5}), [True, '-1/2', '9/2', '3/2', [-2, 1], '3/2', '-1/2', '7/2'])\ncheck('fixture 7', solve({'c0': -10, 's1': -5, 's2': -3, 'c3': -2, 'now': 0}), [True, '2', '2', '3', [-1, 5], '3', '-8', '0'])\ncheck('fixture 8', solve({'c0': 100, 's1': 150, 's2': 170, 'c3': 140, 'now': 200}), [True, '40', '240', '10', [30, 50], '10', '140', '180'])\ncheck('fixture 9', solve({'c0': 0, 's1': -5, 's2': -3, 'c3': 5, 'now': 10}), [True, '-13/2', '7/2', '3/2', [-8, -5], '3/2', '-13/2', '-3/2'])\ncheck('fixture 10', solve({'c0': 2, 's1': 5, 's2': 5, 'c3': 8, 'now': 10}), [True, '0', '10', '3', [-3, 3], '3', '2', '8'])\nvariant = [({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 11}, [True, '5', '16', '2', [3, 7], '2', '5', '11']), ({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 12}, [True, '5', '17', '2', [3, 7], '2', '5', '11']), ({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 13}, [True, '5', '18', '2', [3, 7], '2', '5', '11']), ({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 14}, [True, '5', '19', '2', [3, 7], '2', '5', '11']), ({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 15}, [True, '5', '20', '2', [3, 7], '2', '5', '11'])]\ncheck(\"variant capture\", solve(variant[N-1][0]), variant[N-1][1])\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":"c03e266a3b910d6e1f423d9311cb09c70d0c1842c968d34439695f389c487a5c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    client_span = r['c3'] - r['c0']\n    server_span = r['s2'] - r['s1']\n    round_trip = client_span - server_span\n    offset_low = r['s2'] - r['c3']\n    offset_high = r['s1'] - r['c0']\n    offset = Fraction(offset_low + offset_high,2)\n    projected = r['now'] + offset\n    one_way = Fraction(round_trip,2)\n    valid = True\n    uncertainty = Fraction(offset_high - offset_low,2)\n    return [valid,str(offset),str(projected),str(one_way),[offset_low,offset_high],str(uncertainty),str(r['c0']+offset),str(r['c3']+offset)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 10}), [True, '5', '15', '2', [3, 7], '2', '5', '11'])\ncheck('fixture 2', solve({'c0': 10, 's1': 9, 's2': 12, 'c3': 18, 'now': 20}), [True, '-7/2', '33/2', '5/2', [-6, -1], '5/2', '13/2', '29/2'])\ncheck('fixture 3', solve({'c0': 0, 's1': 5, 's2': 5, 'c3': 0, 'now': 2}), [True, '5', '7', '0', [5, 5], '0', '5', '5'])\ncheck('fixture 4', solve({'c0': 10, 's1': 10, 's2': 20, 'c3': 15, 'now': 30}), [False, '5/2', '65/2', '-5/2', [5, 0], '-5/2', '25/2', '35/2'])\ncheck('fixture 5', solve({'c0': 20, 's1': 10, 's2': 10, 'c3': 10, 'now': 30}), [False, '-5', '25', '-5', [0, -10], '-5', '15', '5'])\ncheck('fixture 6', solve({'c0': 0, 's1': 1, 's2': 2, 'c3': 4, 'now': 5}), [True, '-1/2', '9/2', '3/2', [-2, 1], '3/2', '-1/2', '7/2'])\ncheck('fixture 7', solve({'c0': -10, 's1': -5, 's2': -3, 'c3': -2, 'now': 0}), [True, '2', '2', '3', [-1, 5], '3', '-8', '0'])\ncheck('fixture 8', solve({'c0': 100, 's1': 150, 's2': 170, 'c3': 140, 'now': 200}), [True, '40', '240', '10', [30, 50], '10', '140', '180'])\ncheck('fixture 9', solve({'c0': 0, 's1': -5, 's2': -3, 'c3': 5, 'now': 10}), [True, '-13/2', '7/2', '3/2', [-8, -5], '3/2', '-13/2', '-3/2'])\ncheck('fixture 10', solve({'c0': 2, 's1': 5, 's2': 5, 'c3': 8, 'now': 10}), [True, '0', '10', '3', [-3, 3], '3', '2', '8'])\nvariant = [({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 11}, [True, '5', '16', '2', [3, 7], '2', '5', '11']), ({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 12}, [True, '5', '17', '2', [3, 7], '2', '5', '11']), ({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 13}, [True, '5', '18', '2', [3, 7], '2', '5', '11']), ({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 14}, [True, '5', '19', '2', [3, 7], '2', '5', '11']), ({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 15}, [True, '5', '20', '2', [3, 7], '2', '5', '11'])]\ncheck(\"variant capture\", solve(variant[N-1][0]), variant[N-1][1])\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"},"fixed":{"sha256":"99a166f1a681d535cda721910b25cbc07889b501d8dc68785ba50f74a4403813","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    client_span = r['c3'] - r['c0']\n    server_span = r['s2'] - r['s1']\n    round_trip = client_span - server_span\n    offset_low = r['s2'] - r['c3']\n    offset_high = r['s1'] - r['c0']\n    offset = Fraction(offset_low + offset_high,2)\n    projected = r['now'] + offset\n    one_way = Fraction(round_trip,2)\n    valid = round_trip >= 0\n    uncertainty = Fraction(offset_high - offset_low,2)\n    return [valid,str(offset),str(projected),str(one_way),[offset_low,offset_high],str(uncertainty),str(r['c0']+offset),str(r['c3']+offset)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 10}), [True, '5', '15', '2', [3, 7], '2', '5', '11'])\ncheck('fixture 2', solve({'c0': 10, 's1': 9, 's2': 12, 'c3': 18, 'now': 20}), [True, '-7/2', '33/2', '5/2', [-6, -1], '5/2', '13/2', '29/2'])\ncheck('fixture 3', solve({'c0': 0, 's1': 5, 's2': 5, 'c3': 0, 'now': 2}), [True, '5', '7', '0', [5, 5], '0', '5', '5'])\ncheck('fixture 4', solve({'c0': 10, 's1': 10, 's2': 20, 'c3': 15, 'now': 30}), [False, '5/2', '65/2', '-5/2', [5, 0], '-5/2', '25/2', '35/2'])\ncheck('fixture 5', solve({'c0': 20, 's1': 10, 's2': 10, 'c3': 10, 'now': 30}), [False, '-5', '25', '-5', [0, -10], '-5', '15', '5'])\ncheck('fixture 6', solve({'c0': 0, 's1': 1, 's2': 2, 'c3': 4, 'now': 5}), [True, '-1/2', '9/2', '3/2', [-2, 1], '3/2', '-1/2', '7/2'])\ncheck('fixture 7', solve({'c0': -10, 's1': -5, 's2': -3, 'c3': -2, 'now': 0}), [True, '2', '2', '3', [-1, 5], '3', '-8', '0'])\ncheck('fixture 8', solve({'c0': 100, 's1': 150, 's2': 170, 'c3': 140, 'now': 200}), [True, '40', '240', '10', [30, 50], '10', '140', '180'])\ncheck('fixture 9', solve({'c0': 0, 's1': -5, 's2': -3, 'c3': 5, 'now': 10}), [True, '-13/2', '7/2', '3/2', [-8, -5], '3/2', '-13/2', '-3/2'])\ncheck('fixture 10', solve({'c0': 2, 's1': 5, 's2': 5, 'c3': 8, 'now': 10}), [True, '0', '10', '3', [-3, 3], '3', '2', '8'])\nvariant = [({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 11}, [True, '5', '16', '2', [3, 7], '2', '5', '11']), ({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 12}, [True, '5', '17', '2', [3, 7], '2', '5', '11']), ({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 13}, [True, '5', '18', '2', [3, 7], '2', '5', '11']), ({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 14}, [True, '5', '19', '2', [3, 7], '2', '5', '11']), ({'c0': 0, 's1': 7, 's2': 9, 'c3': 6, 'now': 15}, [True, '5', '20', '2', [3, 7], '2', '5', '11'])]\ncheck(\"variant capture\", solve(variant[N-1][0]), variant[N-1][1])\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":"Deterministic integer reference model with stipulated units and policies; not a complete clock, wire standard or platform implementation. 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":"s3-time_representation-four-timestamp-exchange-valid","generated_at":"2026-09-29T14:39:53.337529+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Clock transfer and timestamp consumers require preserved coordinate, phase, validity and elapsed-time semantics.","repair":"Preserve the declared coordinate and state contract at valid: valid = round_trip >= 0.","root_cause":"Exchange validity admits impossible negative propagation or rejects zero delay.","sha256":"9a497540afaa752e5a461d2b7761032d2b712cf38673f58e50eef8e8dfee8b40","title":"Exchange validity admits impossible negative propagation or rejects zero delay · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":49.305,"exit_code":1,"observations":[{"actual":[true,"5","15","2",[3,7],"2","5","11"],"check":"fixture 1","expected":[true,"5","15","2",[3,7],"2","5","11"],"passed":true},{"actual":[true,"-7/2","33/2","5/2",[-6,-1],"5/2","13/2","29/2"],"check":"fixture 2","expected":[true,"-7/2","33/2","5/2",[-6,-1],"5/2","13/2","29/2"],"passed":true},{"actual":[false,"5","7","0",[5,5],"0","5","5"],"check":"fixture 3","expected":[true,"5","7","0",[5,5],"0","5","5"],"passed":false},{"actual":[false,"5/2","65/2","-5/2",[5,0],"-5/2","25/2","35/2"],"check":"fixture 4","expected":[false,"5/2","65/2","-5/2",[5,0],"-5/2","25/2","35/2"],"passed":true},{"actual":[false,"-5","25","-5",[0,-10],"-5","15","5"],"check":"fixture 5","expected":[false,"-5","25","-5",[0,-10],"-5","15","5"],"passed":true},{"actual":[true,"-1/2","9/2","3/2",[-2,1],"3/2","-1/2","7/2"],"check":"fixture 6","expected":[true,"-1/2","9/2","3/2",[-2,1],"3/2","-1/2","7/2"],"passed":true},{"actual":[true,"2","2","3",[-1,5],"3","-8","0"],"check":"fixture 7","expected":[true,"2","2","3",[-1,5],"3","-8","0"],"passed":true},{"actual":[true,"40","240","10",[30,50],"10","140","180"],"check":"fixture 8","expected":[true,"40","240","10",[30,50],"10","140","180"],"passed":true},{"actual":[true,"-13/2","7/2","3/2",[-8,-5],"3/2","-13/2","-3/2"],"check":"fixture 9","expected":[true,"-13/2","7/2","3/2",[-8,-5],"3/2","-13/2","-3/2"],"passed":true},{"actual":[true,"0","10","3",[-3,3],"3","2","8"],"check":"fixture 10","expected":[true,"0","10","3",[-3,3],"3","2","8"],"passed":true},{"actual":[true,"5","16","2",[3,7],"2","5","11"],"check":"variant capture","expected":[true,"5","16","2",[3,7],"2","5","11"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, \"5\", \"15\", \"2\", [3, 7], \"2\", \"5\", \"11\"], \"expected\": [true, \"5\", \"15\", \"2\", [3, 7], \"2\", \"5\", \"11\"], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [true, \"-7/2\", \"33/2\", \"5/2\", [-6, -1], \"5/2\", \"13/2\", \"29/2\"], \"expected\": [true, \"-7/2\", \"33/2\", \"5/2\", [-6, -1], \"5/2\", \"13/2\", \"29/2\"], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [false, \"5\", \"7\", \"0\", [5, 5], \"0\", \"5\", \"5\"], \"expected\": [true, \"5\", \"7\", \"0\", [5, 5], \"0\", \"5\", \"5\"], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [false, \"5/2\", \"65/2\", \"-5/2\", [5, 0], \"-5/2\", \"25/2\", \"35/2\"], \"expected\": [false, \"5/2\", \"65/2\", \"-5/2\", [5, 0], \"-5/2\", \"25/2\", \"35/2\"], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [false, \"-5\", \"25\", \"-5\", [0, -10], \"-5\", \"15\", \"5\"], \"expected\": [false, \"-5\", \"25\", \"-5\", [0, -10], \"-5\", \"15\", \"5\"], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [true, \"-1/2\", \"9/2\", \"3/2\", [-2, 1], \"3/2\", \"-1/2\", \"7/2\"], \"expected\": [true, \"-1/2\", \"9/2\", \"3/2\", [-2, 1], \"3/2\", \"-1/2\", \"7/2\"], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [true, \"2\", \"2\", \"3\", [-1, 5], \"3\", \"-8\", \"0\"], \"expected\": [true, \"2\", \"2\", \"3\", [-1, 5], \"3\", \"-8\", \"0\"], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [true, \"40\", \"240\", \"10\", [30, 50], \"10\", \"140\", \"180\"], \"expected\": [true, \"40\", \"240\", \"10\", [30, 50], \"10\", \"140\", \"180\"], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [true, \"-13/2\", \"7/2\", \"3/2\", [-8, -5], \"3/2\", \"-13/2\", \"-3/2\"], \"expected\": [true, \"-13/2\", \"7/2\", \"3/2\", [-8, -5], \"3/2\", \"-13/2\", \"-3/2\"], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [true, \"0\", \"10\", \"3\", [-3, 3], \"3\", \"2\", \"8\"], \"expected\": [true, \"0\", \"10\", \"3\", [-3, 3], \"3\", \"2\", \"8\"], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [true, \"5\", \"16\", \"2\", [3, 7], \"2\", \"5\", \"11\"], \"expected\": [true, \"5\", \"16\", \"2\", [3, 7], \"2\", \"5\", \"11\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.899,"exit_code":1,"observations":[{"actual":[true,"5","15","2",[3,7],"2","5","11"],"check":"fixture 1","expected":[true,"5","15","2",[3,7],"2","5","11"],"passed":true},{"actual":[true,"-7/2","33/2","5/2",[-6,-1],"5/2","13/2","29/2"],"check":"fixture 2","expected":[true,"-7/2","33/2","5/2",[-6,-1],"5/2","13/2","29/2"],"passed":true},{"actual":[true,"5","7","0",[5,5],"0","5","5"],"check":"fixture 3","expected":[true,"5","7","0",[5,5],"0","5","5"],"passed":true},{"actual":[true,"5/2","65/2","-5/2",[5,0],"-5/2","25/2","35/2"],"check":"fixture 4","expected":[false,"5/2","65/2","-5/2",[5,0],"-5/2","25/2","35/2"],"passed":false},{"actual":[true,"-5","25","-5",[0,-10],"-5","15","5"],"check":"fixture 5","expected":[false,"-5","25","-5",[0,-10],"-5","15","5"],"passed":false},{"actual":[true,"-1/2","9/2","3/2",[-2,1],"3/2","-1/2","7/2"],"check":"fixture 6","expected":[true,"-1/2","9/2","3/2",[-2,1],"3/2","-1/2","7/2"],"passed":true},{"actual":[true,"2","2","3",[-1,5],"3","-8","0"],"check":"fixture 7","expected":[true,"2","2","3",[-1,5],"3","-8","0"],"passed":true},{"actual":[true,"40","240","10",[30,50],"10","140","180"],"check":"fixture 8","expected":[true,"40","240","10",[30,50],"10","140","180"],"passed":true},{"actual":[true,"-13/2","7/2","3/2",[-8,-5],"3/2","-13/2","-3/2"],"check":"fixture 9","expected":[true,"-13/2","7/2","3/2",[-8,-5],"3/2","-13/2","-3/2"],"passed":true},{"actual":[true,"0","10","3",[-3,3],"3","2","8"],"check":"fixture 10","expected":[true,"0","10","3",[-3,3],"3","2","8"],"passed":true},{"actual":[true,"5","16","2",[3,7],"2","5","11"],"check":"variant capture","expected":[true,"5","16","2",[3,7],"2","5","11"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, \"5\", \"15\", \"2\", [3, 7], \"2\", \"5\", \"11\"], \"expected\": [true, \"5\", \"15\", \"2\", [3, 7], \"2\", \"5\", \"11\"], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [true, \"-7/2\", \"33/2\", \"5/2\", [-6, -1], \"5/2\", \"13/2\", \"29/2\"], \"expected\": [true, \"-7/2\", \"33/2\", \"5/2\", [-6, -1], \"5/2\", \"13/2\", \"29/2\"], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [true, \"5\", \"7\", \"0\", [5, 5], \"0\", \"5\", \"5\"], \"expected\": [true, \"5\", \"7\", \"0\", [5, 5], \"0\", \"5\", \"5\"], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [true, \"5/2\", \"65/2\", \"-5/2\", [5, 0], \"-5/2\", \"25/2\", \"35/2\"], \"expected\": [false, \"5/2\", \"65/2\", \"-5/2\", [5, 0], \"-5/2\", \"25/2\", \"35/2\"], \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": [true, \"-5\", \"25\", \"-5\", [0, -10], \"-5\", \"15\", \"5\"], \"expected\": [false, \"-5\", \"25\", \"-5\", [0, -10], \"-5\", \"15\", \"5\"], \"passed\": false}, {\"check\": \"fixture 6\", \"actual\": [true, \"-1/2\", \"9/2\", \"3/2\", [-2, 1], \"3/2\", \"-1/2\", \"7/2\"], \"expected\": [true, \"-1/2\", \"9/2\", \"3/2\", [-2, 1], \"3/2\", \"-1/2\", \"7/2\"], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [true, \"2\", \"2\", \"3\", [-1, 5], \"3\", \"-8\", \"0\"], \"expected\": [true, \"2\", \"2\", \"3\", [-1, 5], \"3\", \"-8\", \"0\"], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [true, \"40\", \"240\", \"10\", [30, 50], \"10\", \"140\", \"180\"], \"expected\": [true, \"40\", \"240\", \"10\", [30, 50], \"10\", \"140\", \"180\"], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [true, \"-13/2\", \"7/2\", \"3/2\", [-8, -5], \"3/2\", \"-13/2\", \"-3/2\"], \"expected\": [true, \"-13/2\", \"7/2\", \"3/2\", [-8, -5], \"3/2\", \"-13/2\", \"-3/2\"], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [true, \"0\", \"10\", \"3\", [-3, 3], \"3\", \"2\", \"8\"], \"expected\": [true, \"0\", \"10\", \"3\", [-3, 3], \"3\", \"2\", \"8\"], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [true, \"5\", \"16\", \"2\", [3, 7], \"2\", \"5\", \"11\"], \"expected\": [true, \"5\", \"16\", \"2\", [3, 7], \"2\", \"5\", \"11\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":47.428,"exit_code":0,"observations":[{"actual":[true,"5","15","2",[3,7],"2","5","11"],"check":"fixture 1","expected":[true,"5","15","2",[3,7],"2","5","11"],"passed":true},{"actual":[true,"-7/2","33/2","5/2",[-6,-1],"5/2","13/2","29/2"],"check":"fixture 2","expected":[true,"-7/2","33/2","5/2",[-6,-1],"5/2","13/2","29/2"],"passed":true},{"actual":[true,"5","7","0",[5,5],"0","5","5"],"check":"fixture 3","expected":[true,"5","7","0",[5,5],"0","5","5"],"passed":true},{"actual":[false,"5/2","65/2","-5/2",[5,0],"-5/2","25/2","35/2"],"check":"fixture 4","expected":[false,"5/2","65/2","-5/2",[5,0],"-5/2","25/2","35/2"],"passed":true},{"actual":[false,"-5","25","-5",[0,-10],"-5","15","5"],"check":"fixture 5","expected":[false,"-5","25","-5",[0,-10],"-5","15","5"],"passed":true},{"actual":[true,"-1/2","9/2","3/2",[-2,1],"3/2","-1/2","7/2"],"check":"fixture 6","expected":[true,"-1/2","9/2","3/2",[-2,1],"3/2","-1/2","7/2"],"passed":true},{"actual":[true,"2","2","3",[-1,5],"3","-8","0"],"check":"fixture 7","expected":[true,"2","2","3",[-1,5],"3","-8","0"],"passed":true},{"actual":[true,"40","240","10",[30,50],"10","140","180"],"check":"fixture 8","expected":[true,"40","240","10",[30,50],"10","140","180"],"passed":true},{"actual":[true,"-13/2","7/2","3/2",[-8,-5],"3/2","-13/2","-3/2"],"check":"fixture 9","expected":[true,"-13/2","7/2","3/2",[-8,-5],"3/2","-13/2","-3/2"],"passed":true},{"actual":[true,"0","10","3",[-3,3],"3","2","8"],"check":"fixture 10","expected":[true,"0","10","3",[-3,3],"3","2","8"],"passed":true},{"actual":[true,"5","16","2",[3,7],"2","5","11"],"check":"variant capture","expected":[true,"5","16","2",[3,7],"2","5","11"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, \"5\", \"15\", \"2\", [3, 7], \"2\", \"5\", \"11\"], \"expected\": [true, \"5\", \"15\", \"2\", [3, 7], \"2\", \"5\", \"11\"], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [true, \"-7/2\", \"33/2\", \"5/2\", [-6, -1], \"5/2\", \"13/2\", \"29/2\"], \"expected\": [true, \"-7/2\", \"33/2\", \"5/2\", [-6, -1], \"5/2\", \"13/2\", \"29/2\"], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [true, \"5\", \"7\", \"0\", [5, 5], \"0\", \"5\", \"5\"], \"expected\": [true, \"5\", \"7\", \"0\", [5, 5], \"0\", \"5\", \"5\"], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [false, \"5/2\", \"65/2\", \"-5/2\", [5, 0], \"-5/2\", \"25/2\", \"35/2\"], \"expected\": [false, \"5/2\", \"65/2\", \"-5/2\", [5, 0], \"-5/2\", \"25/2\", \"35/2\"], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [false, \"-5\", \"25\", \"-5\", [0, -10], \"-5\", \"15\", \"5\"], \"expected\": [false, \"-5\", \"25\", \"-5\", [0, -10], \"-5\", \"15\", \"5\"], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [true, \"-1/2\", \"9/2\", \"3/2\", [-2, 1], \"3/2\", \"-1/2\", \"7/2\"], \"expected\": [true, \"-1/2\", \"9/2\", \"3/2\", [-2, 1], \"3/2\", \"-1/2\", \"7/2\"], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [true, \"2\", \"2\", \"3\", [-1, 5], \"3\", \"-8\", \"0\"], \"expected\": [true, \"2\", \"2\", \"3\", [-1, 5], \"3\", \"-8\", \"0\"], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [true, \"40\", \"240\", \"10\", [30, 50], \"10\", \"140\", \"180\"], \"expected\": [true, \"40\", \"240\", \"10\", [30, 50], \"10\", \"140\", \"180\"], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [true, \"-13/2\", \"7/2\", \"3/2\", [-8, -5], \"3/2\", \"-13/2\", \"-3/2\"], \"expected\": [true, \"-13/2\", \"7/2\", \"3/2\", [-8, -5], \"3/2\", \"-13/2\", \"-3/2\"], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [true, \"0\", \"10\", \"3\", [-3, 3], \"3\", \"2\", \"8\"], \"expected\": [true, \"0\", \"10\", \"3\", [-3, 3], \"3\", \"2\", \"8\"], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [true, \"5\", \"16\", \"2\", [3, 7], \"2\", \"5\", \"11\"], \"expected\": [true, \"5\", \"16\", \"2\", [3, 7], \"2\", \"5\", \"11\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}