{"abstract":"The decoded time state disagrees with the explicit regression oracle for end_coordinate.","category":"Time representation","checks":11,"contract":"Stipulated smear removes signed leap L linearly over atomic [start,end], with positive width>|L| and clamped progress outside. Return exact rational smeared coordinate, effective slope (inside start-inclusive/end-exclusive window), signed removed correction, smeared endpoint coordinates and remaining signed correction. Fraction outputs use canonical strings.","evaluation_group":"s3-time-linear_leap_smear","failed_approach":"The partial correction still substitutes r['end'] + r['leap'] at the same fault site.","family":"s3-time_representation-linear-leap-smear-end-coordinate","id":"FA-17831","implementations":{"attempt":{"sha256":"d5e208135533ad996c08311f9022ffa854b0c8b54180ffd316de0432e7de8fac","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    width = r['end'] - r['start']\n    progress = Fraction(min(width,max(0,r['atomic'] - r['start'])),width)\n    correction = progress * r['leap']\n    smeared = r['atomic'] - correction\n    active = r['start'] <= r['atomic'] < r['end']\n    slope = 1 - Fraction(r['leap'],width) if active else Fraction(1)\n    residual = r['atomic'] - smeared\n    start_coordinate = r['start']\n    end_coordinate = r['end'] + r['leap']\n    remaining = r['leap'] - correction\n    return [str(smeared),str(slope),str(residual),[start_coordinate,end_coordinate],str(remaining)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'start': 10, 'end': 20, 'atomic': 10, 'leap': 1}), ['10', '9/10', '0', [10, 19], '1'])\ncheck('fixture 2', solve({'start': 10, 'end': 20, 'atomic': 15, 'leap': 1}), ['29/2', '9/10', '1/2', [10, 19], '1/2'])\ncheck('fixture 3', solve({'start': 10, 'end': 20, 'atomic': 20, 'leap': 1}), ['19', '1', '1', [10, 19], '0'])\ncheck('fixture 4', solve({'start': 10, 'end': 20, 'atomic': 25, 'leap': 1}), ['24', '1', '1', [10, 19], '0'])\ncheck('fixture 5', solve({'start': 10, 'end': 20, 'atomic': 5, 'leap': 1}), ['5', '1', '0', [10, 19], '1'])\ncheck('fixture 6', solve({'start': 10, 'end': 20, 'atomic': 15, 'leap': -1}), ['31/2', '11/10', '-1/2', [10, 21], '-1/2'])\ncheck('fixture 7', solve({'start': 2, 'end': 8, 'atomic': 3, 'leap': 2}), ['8/3', '2/3', '1/3', [2, 6], '5/3'])\ncheck('fixture 8', solve({'start': 2, 'end': 8, 'atomic': 7, 'leap': -2}), ['26/3', '4/3', '-5/3', [2, 10], '-1/3'])\ncheck('fixture 9', solve({'start': 10, 'end': 20, 'atomic': 15, 'leap': 0}), ['15', '1', '0', [10, 20], '0'])\ncheck('fixture 10', solve({'start': 1, 'end': 4, 'atomic': 2, 'leap': 1}), ['5/3', '2/3', '1/3', [1, 3], '2/3'])\nvariant = [({'start': 10, 'end': 20, 'atomic': 10, 'leap': 2}, ['10', '4/5', '0', [10, 18], '2']), ({'start': 10, 'end': 20, 'atomic': 10, 'leap': 3}, ['10', '7/10', '0', [10, 17], '3']), ({'start': 10, 'end': 20, 'atomic': 10, 'leap': 4}, ['10', '3/5', '0', [10, 16], '4']), ({'start': 10, 'end': 20, 'atomic': 10, 'leap': 5}, ['10', '1/2', '0', [10, 15], '5']), ({'start': 10, 'end': 20, 'atomic': 10, 'leap': 6}, ['10', '2/5', '0', [10, 14], '6'])]\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":"73e5256fbcacc95c07795caf0649b9a815f61a2e018fe179ec7e901651297776","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    width = r['end'] - r['start']\n    progress = Fraction(min(width,max(0,r['atomic'] - r['start'])),width)\n    correction = progress * r['leap']\n    smeared = r['atomic'] - correction\n    active = r['start'] <= r['atomic'] < r['end']\n    slope = 1 - Fraction(r['leap'],width) if active else Fraction(1)\n    residual = r['atomic'] - smeared\n    start_coordinate = r['start']\n    end_coordinate = r['end']\n    remaining = r['leap'] - correction\n    return [str(smeared),str(slope),str(residual),[start_coordinate,end_coordinate],str(remaining)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'start': 10, 'end': 20, 'atomic': 10, 'leap': 1}), ['10', '9/10', '0', [10, 19], '1'])\ncheck('fixture 2', solve({'start': 10, 'end': 20, 'atomic': 15, 'leap': 1}), ['29/2', '9/10', '1/2', [10, 19], '1/2'])\ncheck('fixture 3', solve({'start': 10, 'end': 20, 'atomic': 20, 'leap': 1}), ['19', '1', '1', [10, 19], '0'])\ncheck('fixture 4', solve({'start': 10, 'end': 20, 'atomic': 25, 'leap': 1}), ['24', '1', '1', [10, 19], '0'])\ncheck('fixture 5', solve({'start': 10, 'end': 20, 'atomic': 5, 'leap': 1}), ['5', '1', '0', [10, 19], '1'])\ncheck('fixture 6', solve({'start': 10, 'end': 20, 'atomic': 15, 'leap': -1}), ['31/2', '11/10', '-1/2', [10, 21], '-1/2'])\ncheck('fixture 7', solve({'start': 2, 'end': 8, 'atomic': 3, 'leap': 2}), ['8/3', '2/3', '1/3', [2, 6], '5/3'])\ncheck('fixture 8', solve({'start': 2, 'end': 8, 'atomic': 7, 'leap': -2}), ['26/3', '4/3', '-5/3', [2, 10], '-1/3'])\ncheck('fixture 9', solve({'start': 10, 'end': 20, 'atomic': 15, 'leap': 0}), ['15', '1', '0', [10, 20], '0'])\ncheck('fixture 10', solve({'start': 1, 'end': 4, 'atomic': 2, 'leap': 1}), ['5/3', '2/3', '1/3', [1, 3], '2/3'])\nvariant = [({'start': 10, 'end': 20, 'atomic': 10, 'leap': 2}, ['10', '4/5', '0', [10, 18], '2']), ({'start': 10, 'end': 20, 'atomic': 10, 'leap': 3}, ['10', '7/10', '0', [10, 17], '3']), ({'start': 10, 'end': 20, 'atomic': 10, 'leap': 4}, ['10', '3/5', '0', [10, 16], '4']), ({'start': 10, 'end': 20, 'atomic': 10, 'leap': 5}, ['10', '1/2', '0', [10, 15], '5']), ({'start': 10, 'end': 20, 'atomic': 10, 'leap': 6}, ['10', '2/5', '0', [10, 14], '6'])]\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":"d861840361a4868d69e9b7ab1a454aac33d01ddadccae48c420745eb0fca9736","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    width = r['end'] - r['start']\n    progress = Fraction(min(width,max(0,r['atomic'] - r['start'])),width)\n    correction = progress * r['leap']\n    smeared = r['atomic'] - correction\n    active = r['start'] <= r['atomic'] < r['end']\n    slope = 1 - Fraction(r['leap'],width) if active else Fraction(1)\n    residual = r['atomic'] - smeared\n    start_coordinate = r['start']\n    end_coordinate = r['end'] - r['leap']\n    remaining = r['leap'] - correction\n    return [str(smeared),str(slope),str(residual),[start_coordinate,end_coordinate],str(remaining)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'start': 10, 'end': 20, 'atomic': 10, 'leap': 1}), ['10', '9/10', '0', [10, 19], '1'])\ncheck('fixture 2', solve({'start': 10, 'end': 20, 'atomic': 15, 'leap': 1}), ['29/2', '9/10', '1/2', [10, 19], '1/2'])\ncheck('fixture 3', solve({'start': 10, 'end': 20, 'atomic': 20, 'leap': 1}), ['19', '1', '1', [10, 19], '0'])\ncheck('fixture 4', solve({'start': 10, 'end': 20, 'atomic': 25, 'leap': 1}), ['24', '1', '1', [10, 19], '0'])\ncheck('fixture 5', solve({'start': 10, 'end': 20, 'atomic': 5, 'leap': 1}), ['5', '1', '0', [10, 19], '1'])\ncheck('fixture 6', solve({'start': 10, 'end': 20, 'atomic': 15, 'leap': -1}), ['31/2', '11/10', '-1/2', [10, 21], '-1/2'])\ncheck('fixture 7', solve({'start': 2, 'end': 8, 'atomic': 3, 'leap': 2}), ['8/3', '2/3', '1/3', [2, 6], '5/3'])\ncheck('fixture 8', solve({'start': 2, 'end': 8, 'atomic': 7, 'leap': -2}), ['26/3', '4/3', '-5/3', [2, 10], '-1/3'])\ncheck('fixture 9', solve({'start': 10, 'end': 20, 'atomic': 15, 'leap': 0}), ['15', '1', '0', [10, 20], '0'])\ncheck('fixture 10', solve({'start': 1, 'end': 4, 'atomic': 2, 'leap': 1}), ['5/3', '2/3', '1/3', [1, 3], '2/3'])\nvariant = [({'start': 10, 'end': 20, 'atomic': 10, 'leap': 2}, ['10', '4/5', '0', [10, 18], '2']), ({'start': 10, 'end': 20, 'atomic': 10, 'leap': 3}, ['10', '7/10', '0', [10, 17], '3']), ({'start': 10, 'end': 20, 'atomic': 10, 'leap': 4}, ['10', '3/5', '0', [10, 16], '4']), ({'start': 10, 'end': 20, 'atomic': 10, 'leap': 5}, ['10', '1/2', '0', [10, 15], '5']), ({'start': 10, 'end': 20, 'atomic': 10, 'leap': 6}, ['10', '2/5', '0', [10, 14], '6'])]\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-linear-leap-smear-end-coordinate","generated_at":"2026-09-29T14:39:51.263669+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 end_coordinate: end_coordinate = r['end'] - r['leap'].","root_cause":"Smear endpoint omits or reverses completed leap removal.","sha256":"81b5f08ce0388a71def9bfee03bd086407388f93c9daa7139bf9c995e20021b2","title":"Smear endpoint omits or reverses completed leap removal · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":47.334,"exit_code":1,"observations":[{"actual":["10","9/10","0",[10,21],"1"],"check":"fixture 1","expected":["10","9/10","0",[10,19],"1"],"passed":false},{"actual":["29/2","9/10","1/2",[10,21],"1/2"],"check":"fixture 2","expected":["29/2","9/10","1/2",[10,19],"1/2"],"passed":false},{"actual":["19","1","1",[10,21],"0"],"check":"fixture 3","expected":["19","1","1",[10,19],"0"],"passed":false},{"actual":["24","1","1",[10,21],"0"],"check":"fixture 4","expected":["24","1","1",[10,19],"0"],"passed":false},{"actual":["5","1","0",[10,21],"1"],"check":"fixture 5","expected":["5","1","0",[10,19],"1"],"passed":false},{"actual":["31/2","11/10","-1/2",[10,19],"-1/2"],"check":"fixture 6","expected":["31/2","11/10","-1/2",[10,21],"-1/2"],"passed":false},{"actual":["8/3","2/3","1/3",[2,10],"5/3"],"check":"fixture 7","expected":["8/3","2/3","1/3",[2,6],"5/3"],"passed":false},{"actual":["26/3","4/3","-5/3",[2,6],"-1/3"],"check":"fixture 8","expected":["26/3","4/3","-5/3",[2,10],"-1/3"],"passed":false},{"actual":["15","1","0",[10,20],"0"],"check":"fixture 9","expected":["15","1","0",[10,20],"0"],"passed":true},{"actual":["5/3","2/3","1/3",[1,5],"2/3"],"check":"fixture 10","expected":["5/3","2/3","1/3",[1,3],"2/3"],"passed":false},{"actual":["10","4/5","0",[10,22],"2"],"check":"variant capture","expected":["10","4/5","0",[10,18],"2"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [\"10\", \"9/10\", \"0\", [10, 21], \"1\"], \"expected\": [\"10\", \"9/10\", \"0\", [10, 19], \"1\"], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [\"29/2\", \"9/10\", \"1/2\", [10, 21], \"1/2\"], \"expected\": [\"29/2\", \"9/10\", \"1/2\", [10, 19], \"1/2\"], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [\"19\", \"1\", \"1\", [10, 21], \"0\"], \"expected\": [\"19\", \"1\", \"1\", [10, 19], \"0\"], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [\"24\", \"1\", \"1\", [10, 21], \"0\"], \"expected\": [\"24\", \"1\", \"1\", [10, 19], \"0\"], \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": [\"5\", \"1\", \"0\", [10, 21], \"1\"], \"expected\": [\"5\", \"1\", \"0\", [10, 19], \"1\"], \"passed\": false}, {\"check\": \"fixture 6\", \"actual\": [\"31/2\", \"11/10\", \"-1/2\", [10, 19], \"-1/2\"], \"expected\": [\"31/2\", \"11/10\", \"-1/2\", [10, 21], \"-1/2\"], \"passed\": false}, {\"check\": \"fixture 7\", \"actual\": [\"8/3\", \"2/3\", \"1/3\", [2, 10], \"5/3\"], \"expected\": [\"8/3\", \"2/3\", \"1/3\", [2, 6], \"5/3\"], \"passed\": false}, {\"check\": \"fixture 8\", \"actual\": [\"26/3\", \"4/3\", \"-5/3\", [2, 6], \"-1/3\"], \"expected\": [\"26/3\", \"4/3\", \"-5/3\", [2, 10], \"-1/3\"], \"passed\": false}, {\"check\": \"fixture 9\", \"actual\": [\"15\", \"1\", \"0\", [10, 20], \"0\"], \"expected\": [\"15\", \"1\", \"0\", [10, 20], \"0\"], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [\"5/3\", \"2/3\", \"1/3\", [1, 5], \"2/3\"], \"expected\": [\"5/3\", \"2/3\", \"1/3\", [1, 3], \"2/3\"], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [\"10\", \"4/5\", \"0\", [10, 22], \"2\"], \"expected\": [\"10\", \"4/5\", \"0\", [10, 18], \"2\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":69.48,"exit_code":1,"observations":[{"actual":["10","9/10","0",[10,20],"1"],"check":"fixture 1","expected":["10","9/10","0",[10,19],"1"],"passed":false},{"actual":["29/2","9/10","1/2",[10,20],"1/2"],"check":"fixture 2","expected":["29/2","9/10","1/2",[10,19],"1/2"],"passed":false},{"actual":["19","1","1",[10,20],"0"],"check":"fixture 3","expected":["19","1","1",[10,19],"0"],"passed":false},{"actual":["24","1","1",[10,20],"0"],"check":"fixture 4","expected":["24","1","1",[10,19],"0"],"passed":false},{"actual":["5","1","0",[10,20],"1"],"check":"fixture 5","expected":["5","1","0",[10,19],"1"],"passed":false},{"actual":["31/2","11/10","-1/2",[10,20],"-1/2"],"check":"fixture 6","expected":["31/2","11/10","-1/2",[10,21],"-1/2"],"passed":false},{"actual":["8/3","2/3","1/3",[2,8],"5/3"],"check":"fixture 7","expected":["8/3","2/3","1/3",[2,6],"5/3"],"passed":false},{"actual":["26/3","4/3","-5/3",[2,8],"-1/3"],"check":"fixture 8","expected":["26/3","4/3","-5/3",[2,10],"-1/3"],"passed":false},{"actual":["15","1","0",[10,20],"0"],"check":"fixture 9","expected":["15","1","0",[10,20],"0"],"passed":true},{"actual":["5/3","2/3","1/3",[1,4],"2/3"],"check":"fixture 10","expected":["5/3","2/3","1/3",[1,3],"2/3"],"passed":false},{"actual":["10","4/5","0",[10,20],"2"],"check":"variant capture","expected":["10","4/5","0",[10,18],"2"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [\"10\", \"9/10\", \"0\", [10, 20], \"1\"], \"expected\": [\"10\", \"9/10\", \"0\", [10, 19], \"1\"], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [\"29/2\", \"9/10\", \"1/2\", [10, 20], \"1/2\"], \"expected\": [\"29/2\", \"9/10\", \"1/2\", [10, 19], \"1/2\"], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [\"19\", \"1\", \"1\", [10, 20], \"0\"], \"expected\": [\"19\", \"1\", \"1\", [10, 19], \"0\"], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [\"24\", \"1\", \"1\", [10, 20], \"0\"], \"expected\": [\"24\", \"1\", \"1\", [10, 19], \"0\"], \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": [\"5\", \"1\", \"0\", [10, 20], \"1\"], \"expected\": [\"5\", \"1\", \"0\", [10, 19], \"1\"], \"passed\": false}, {\"check\": \"fixture 6\", \"actual\": [\"31/2\", \"11/10\", \"-1/2\", [10, 20], \"-1/2\"], \"expected\": [\"31/2\", \"11/10\", \"-1/2\", [10, 21], \"-1/2\"], \"passed\": false}, {\"check\": \"fixture 7\", \"actual\": [\"8/3\", \"2/3\", \"1/3\", [2, 8], \"5/3\"], \"expected\": [\"8/3\", \"2/3\", \"1/3\", [2, 6], \"5/3\"], \"passed\": false}, {\"check\": \"fixture 8\", \"actual\": [\"26/3\", \"4/3\", \"-5/3\", [2, 8], \"-1/3\"], \"expected\": [\"26/3\", \"4/3\", \"-5/3\", [2, 10], \"-1/3\"], \"passed\": false}, {\"check\": \"fixture 9\", \"actual\": [\"15\", \"1\", \"0\", [10, 20], \"0\"], \"expected\": [\"15\", \"1\", \"0\", [10, 20], \"0\"], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [\"5/3\", \"2/3\", \"1/3\", [1, 4], \"2/3\"], \"expected\": [\"5/3\", \"2/3\", \"1/3\", [1, 3], \"2/3\"], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [\"10\", \"4/5\", \"0\", [10, 20], \"2\"], \"expected\": [\"10\", \"4/5\", \"0\", [10, 18], \"2\"], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":47.443,"exit_code":0,"observations":[{"actual":["10","9/10","0",[10,19],"1"],"check":"fixture 1","expected":["10","9/10","0",[10,19],"1"],"passed":true},{"actual":["29/2","9/10","1/2",[10,19],"1/2"],"check":"fixture 2","expected":["29/2","9/10","1/2",[10,19],"1/2"],"passed":true},{"actual":["19","1","1",[10,19],"0"],"check":"fixture 3","expected":["19","1","1",[10,19],"0"],"passed":true},{"actual":["24","1","1",[10,19],"0"],"check":"fixture 4","expected":["24","1","1",[10,19],"0"],"passed":true},{"actual":["5","1","0",[10,19],"1"],"check":"fixture 5","expected":["5","1","0",[10,19],"1"],"passed":true},{"actual":["31/2","11/10","-1/2",[10,21],"-1/2"],"check":"fixture 6","expected":["31/2","11/10","-1/2",[10,21],"-1/2"],"passed":true},{"actual":["8/3","2/3","1/3",[2,6],"5/3"],"check":"fixture 7","expected":["8/3","2/3","1/3",[2,6],"5/3"],"passed":true},{"actual":["26/3","4/3","-5/3",[2,10],"-1/3"],"check":"fixture 8","expected":["26/3","4/3","-5/3",[2,10],"-1/3"],"passed":true},{"actual":["15","1","0",[10,20],"0"],"check":"fixture 9","expected":["15","1","0",[10,20],"0"],"passed":true},{"actual":["5/3","2/3","1/3",[1,3],"2/3"],"check":"fixture 10","expected":["5/3","2/3","1/3",[1,3],"2/3"],"passed":true},{"actual":["10","4/5","0",[10,18],"2"],"check":"variant capture","expected":["10","4/5","0",[10,18],"2"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [\"10\", \"9/10\", \"0\", [10, 19], \"1\"], \"expected\": [\"10\", \"9/10\", \"0\", [10, 19], \"1\"], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [\"29/2\", \"9/10\", \"1/2\", [10, 19], \"1/2\"], \"expected\": [\"29/2\", \"9/10\", \"1/2\", [10, 19], \"1/2\"], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [\"19\", \"1\", \"1\", [10, 19], \"0\"], \"expected\": [\"19\", \"1\", \"1\", [10, 19], \"0\"], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [\"24\", \"1\", \"1\", [10, 19], \"0\"], \"expected\": [\"24\", \"1\", \"1\", [10, 19], \"0\"], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [\"5\", \"1\", \"0\", [10, 19], \"1\"], \"expected\": [\"5\", \"1\", \"0\", [10, 19], \"1\"], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [\"31/2\", \"11/10\", \"-1/2\", [10, 21], \"-1/2\"], \"expected\": [\"31/2\", \"11/10\", \"-1/2\", [10, 21], \"-1/2\"], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [\"8/3\", \"2/3\", \"1/3\", [2, 6], \"5/3\"], \"expected\": [\"8/3\", \"2/3\", \"1/3\", [2, 6], \"5/3\"], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [\"26/3\", \"4/3\", \"-5/3\", [2, 10], \"-1/3\"], \"expected\": [\"26/3\", \"4/3\", \"-5/3\", [2, 10], \"-1/3\"], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [\"15\", \"1\", \"0\", [10, 20], \"0\"], \"expected\": [\"15\", \"1\", \"0\", [10, 20], \"0\"], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [\"5/3\", \"2/3\", \"1/3\", [1, 3], \"2/3\"], \"expected\": [\"5/3\", \"2/3\", \"1/3\", [1, 3], \"2/3\"], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [\"10\", \"4/5\", \"0\", [10, 18], \"2\"], \"expected\": [\"10\", \"4/5\", \"0\", [10, 18], \"2\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}