{"abstract":"The decoded time state disagrees with the explicit regression oracle for slope.","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 1 - Fraction(r['leap'],width) at the same fault site.","family":"s3-time_representation-linear-leap-smear-slope","id":"FA-17816","implementations":{"attempt":{"sha256":"dfa70af3172ef5256b7005e9df41c399bdd3f6ec42645f852ab3c74283cf6ecd","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)\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":"66027d4c3a49d854d3913925c6a6b0cc7007ac926ea775fe4efdf45fecaf7e04","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"},"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-slope","generated_at":"2026-09-29T14:39:51.018149+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 slope: slope = 1 - Fraction(r['leap'],width) if active else Fraction(1).","root_cause":"Smear derivative reverses sign or persists outside interval.","sha256":"aeeeab6b1474101eaf5c6eba2256277b8d84a7cf71acbd02e33841fd907af42c","title":"Smear derivative reverses sign or persists outside interval · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":57.489,"exit_code":1,"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","9/10","1",[10,19],"0"],"check":"fixture 3","expected":["19","1","1",[10,19],"0"],"passed":false},{"actual":["24","9/10","1",[10,19],"0"],"check":"fixture 4","expected":["24","1","1",[10,19],"0"],"passed":false},{"actual":["5","9/10","0",[10,19],"1"],"check":"fixture 5","expected":["5","1","0",[10,19],"1"],"passed":false},{"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":false,"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\", \"9/10\", \"1\", [10, 19], \"0\"], \"expected\": [\"19\", \"1\", \"1\", [10, 19], \"0\"], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [\"24\", \"9/10\", \"1\", [10, 19], \"0\"], \"expected\": [\"24\", \"1\", \"1\", [10, 19], \"0\"], \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": [\"5\", \"9/10\", \"0\", [10, 19], \"1\"], \"expected\": [\"5\", \"1\", \"0\", [10, 19], \"1\"], \"passed\": false}, {\"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\": false}\n"},"broken":{"elapsed_ms":49.239,"exit_code":1,"observations":[{"actual":["10","11/10","0",[10,19],"1"],"check":"fixture 1","expected":["10","9/10","0",[10,19],"1"],"passed":false},{"actual":["29/2","11/10","1/2",[10,19],"1/2"],"check":"fixture 2","expected":["29/2","9/10","1/2",[10,19],"1/2"],"passed":false},{"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","9/10","-1/2",[10,21],"-1/2"],"check":"fixture 6","expected":["31/2","11/10","-1/2",[10,21],"-1/2"],"passed":false},{"actual":["8/3","4/3","1/3",[2,6],"5/3"],"check":"fixture 7","expected":["8/3","2/3","1/3",[2,6],"5/3"],"passed":false},{"actual":["26/3","2/3","-5/3",[2,10],"-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","4/3","1/3",[1,3],"2/3"],"check":"fixture 10","expected":["5/3","2/3","1/3",[1,3],"2/3"],"passed":false},{"actual":["10","6/5","0",[10,18],"2"],"check":"variant capture","expected":["10","4/5","0",[10,18],"2"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [\"10\", \"11/10\", \"0\", [10, 19], \"1\"], \"expected\": [\"10\", \"9/10\", \"0\", [10, 19], \"1\"], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [\"29/2\", \"11/10\", \"1/2\", [10, 19], \"1/2\"], \"expected\": [\"29/2\", \"9/10\", \"1/2\", [10, 19], \"1/2\"], \"passed\": false}, {\"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\", \"9/10\", \"-1/2\", [10, 21], \"-1/2\"], \"expected\": [\"31/2\", \"11/10\", \"-1/2\", [10, 21], \"-1/2\"], \"passed\": false}, {\"check\": \"fixture 7\", \"actual\": [\"8/3\", \"4/3\", \"1/3\", [2, 6], \"5/3\"], \"expected\": [\"8/3\", \"2/3\", \"1/3\", [2, 6], \"5/3\"], \"passed\": false}, {\"check\": \"fixture 8\", \"actual\": [\"26/3\", \"2/3\", \"-5/3\", [2, 10], \"-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\", \"4/3\", \"1/3\", [1, 3], \"2/3\"], \"expected\": [\"5/3\", \"2/3\", \"1/3\", [1, 3], \"2/3\"], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [\"10\", \"6/5\", \"0\", [10, 18], \"2\"], \"expected\": [\"10\", \"4/5\", \"0\", [10, 18], \"2\"], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":101.761,"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"}