{"abstract":"Higher-order denominators get wrong reflection coefficients after the first step.","category":"Digital signal filters","checks":7,"contract":"Input the denominator [a0, a1, ..., an] as rational strings. Normalize by a0 (\"bad-a0\" if missing or 0), drop trailing zero coefficients, then step down: k = last coefficient, unstable if |k| >= 1, else a_i <- (a_i - k a_{p-i}) / (1 - k^2) for i < p. Return {\"stable\": bool, \"reflection\": [k strings so far]}.","evaluation_group":"w2-digital_signal_filters-schur-cohn-stability","failed_approach":"The attempted repair uses a_{p-1-i}, shifted by one.","family":"w2-digital_signal_filters-schur-cohn-stability-step-down-mirror-index","id":"FA-91576","implementations":{"attempt":{"sha256":"9c3ca2ba85861d7bed7885b13edfa540afd3dbb7e19d55453d48b3ba924c7648","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    a = [Fraction(v) for v in x]\n    if not a or a[0] == 0:\n        return 'bad-a0'\n    a = [v / a[0] for v in a]\n    while len(a) > 1 and a[-1] == 0:\n        a.pop()\n    ks = []\n    while len(a) > 1:\n        p = len(a) - 1\n        k = a[p]\n        ks.append(str(k))\n        if abs(k) >= 1:\n            return {'stable': False, 'reflection': ks}\n        a = [(a[i] - k * a[p - 1 - i]) / (1 - k * k) for i in range(p)]\n    return {'stable': True, 'reflection': ks}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: third order', ['1', '-1/2', '1/3', '-1/5'], {'stable': True, 'reflection': ['-1/5', '35/144', '-65/179']}], ['regression: random denominator 10', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['repair check: stable second order', ['1', '-1/2', '1/4'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: marginal pole on unit circle', ['1', '0', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['control: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['control: pole at -1', ['1', '1'], {'stable': False, 'reflection': ['1']}]], [['regression: random denominator 30', ['1', '1/3', '1/2', '1/3'], {'stable': True, 'reflection': ['1/3', '7/16', '3/23']}], ['regression: random denominator 31', ['1', '1/8', '-1', '-1/4'], {'stable': False, 'reflection': ['-1/4', '-31/30']}], ['regression: third order', ['1', '-1/2', '1/3', '-1/5'], {'stable': True, 'reflection': ['-1/5', '35/144', '-65/179']}], ['control: unstable first order', ['1', '-3/2'], {'stable': False, 'reflection': ['-3/2']}], ['control: bad a0', ['0', '1'], 'bad-a0'], ['control: random denominator 0', ['-1', '0'], {'stable': True, 'reflection': []}], ['control: random denominator 3', ['-1', '-1/2'], {'stable': True, 'reflection': ['1/2']}]], [['regression: random denominator 38', ['-1', '1/2', '5/4', '1/3'], {'stable': False, 'reflection': ['-1/3', '-51/32']}], ['regression: random denominator 40', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['repair check: random denominator 2', ['1', '1/3', '1/3'], {'stable': True, 'reflection': ['1/3', '1/4']}], ['control: random denominator 4', ['-1', '0', '5/4'], {'stable': False, 'reflection': ['-5/4']}], ['control: random denominator 6', ['1/2', '1/8'], {'stable': True, 'reflection': ['1/4']}], ['control: random denominator 7', ['1', '3/4', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: random denominator 8', ['1', '-1/4'], {'stable': True, 'reflection': ['-1/4']}]], [['regression: random denominator 49', ['1', '1/2', '-1/2', '1/2'], {'stable': False, 'reflection': ['1/2', '-1']}], ['regression: random denominator 50', ['1', '1/3', '3/4', '1/8'], {'stable': True, 'reflection': ['1/8', '136/189', '46/325']}], ['regression: random denominator 10', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['control: random denominator 9', ['1', '-1', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: random denominator 12', ['1', '5/4', '-1', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: random denominator 14', ['1', '1/8', '5/4'], {'stable': False, 'reflection': ['5/4']}], ['control: random denominator 15', ['1', '-1/4'], {'stable': True, 'reflection': ['-1/4']}]], [['regression: random denominator 10', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['regression: random denominator 27', ['2', '1/3', '-1/2', '1/8'], {'stable': True, 'reflection': ['1/16', '-40/153', '28/113']}], ['repair check: random denominator 13', ['1', '1/8', '1/8', '3/4'], {'stable': True, 'reflection': ['3/4', '1/14', '1/15']}], ['control: random denominator 16', ['1/2', '-1', '3/4'], {'stable': False, 'reflection': ['3/2']}], ['control: random denominator 17', ['1', '1/8'], {'stable': True, 'reflection': ['1/8']}], ['control: random denominator 18', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['control: random denominator 19', ['-1', '3/4'], {'stable': True, 'reflection': ['-3/4']}]]]\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":"71b7e5cfc5e44563052e3af9289401ec90db835a6b9efb1a90b74f316bd0b137","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    a = [Fraction(v) for v in x]\n    if not a or a[0] == 0:\n        return 'bad-a0'\n    a = [v / a[0] for v in a]\n    while len(a) > 1 and a[-1] == 0:\n        a.pop()\n    ks = []\n    while len(a) > 1:\n        p = len(a) - 1\n        k = a[p]\n        ks.append(str(k))\n        if abs(k) >= 1:\n            return {'stable': False, 'reflection': ks}\n        a = [(a[i] - k * a[i]) / (1 - k * k) for i in range(p)]\n    return {'stable': True, 'reflection': ks}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: third order', ['1', '-1/2', '1/3', '-1/5'], {'stable': True, 'reflection': ['-1/5', '35/144', '-65/179']}], ['regression: random denominator 10', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['repair check: stable second order', ['1', '-1/2', '1/4'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: marginal pole on unit circle', ['1', '0', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['control: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['control: pole at -1', ['1', '1'], {'stable': False, 'reflection': ['1']}]], [['regression: random denominator 30', ['1', '1/3', '1/2', '1/3'], {'stable': True, 'reflection': ['1/3', '7/16', '3/23']}], ['regression: random denominator 31', ['1', '1/8', '-1', '-1/4'], {'stable': False, 'reflection': ['-1/4', '-31/30']}], ['regression: third order', ['1', '-1/2', '1/3', '-1/5'], {'stable': True, 'reflection': ['-1/5', '35/144', '-65/179']}], ['control: unstable first order', ['1', '-3/2'], {'stable': False, 'reflection': ['-3/2']}], ['control: bad a0', ['0', '1'], 'bad-a0'], ['control: random denominator 0', ['-1', '0'], {'stable': True, 'reflection': []}], ['control: random denominator 3', ['-1', '-1/2'], {'stable': True, 'reflection': ['1/2']}]], [['regression: random denominator 38', ['-1', '1/2', '5/4', '1/3'], {'stable': False, 'reflection': ['-1/3', '-51/32']}], ['regression: random denominator 40', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['repair check: random denominator 2', ['1', '1/3', '1/3'], {'stable': True, 'reflection': ['1/3', '1/4']}], ['control: random denominator 4', ['-1', '0', '5/4'], {'stable': False, 'reflection': ['-5/4']}], ['control: random denominator 6', ['1/2', '1/8'], {'stable': True, 'reflection': ['1/4']}], ['control: random denominator 7', ['1', '3/4', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: random denominator 8', ['1', '-1/4'], {'stable': True, 'reflection': ['-1/4']}]], [['regression: random denominator 49', ['1', '1/2', '-1/2', '1/2'], {'stable': False, 'reflection': ['1/2', '-1']}], ['regression: random denominator 50', ['1', '1/3', '3/4', '1/8'], {'stable': True, 'reflection': ['1/8', '136/189', '46/325']}], ['regression: random denominator 10', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['control: random denominator 9', ['1', '-1', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: random denominator 12', ['1', '5/4', '-1', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: random denominator 14', ['1', '1/8', '5/4'], {'stable': False, 'reflection': ['5/4']}], ['control: random denominator 15', ['1', '-1/4'], {'stable': True, 'reflection': ['-1/4']}]], [['regression: random denominator 10', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['regression: random denominator 27', ['2', '1/3', '-1/2', '1/8'], {'stable': True, 'reflection': ['1/16', '-40/153', '28/113']}], ['repair check: random denominator 13', ['1', '1/8', '1/8', '3/4'], {'stable': True, 'reflection': ['3/4', '1/14', '1/15']}], ['control: random denominator 16', ['1/2', '-1', '3/4'], {'stable': False, 'reflection': ['3/2']}], ['control: random denominator 17', ['1', '1/8'], {'stable': True, 'reflection': ['1/8']}], ['control: random denominator 18', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['control: random denominator 19', ['-1', '3/4'], {'stable': True, 'reflection': ['-3/4']}]]]\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"},"fixed":{"sha256":"b7084fa09d50f18b2b65e277511bf9d42e1e64cc4492f4b36dd6a30627c4b1b0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    a = [Fraction(v) for v in x]\n    if not a or a[0] == 0:\n        return 'bad-a0'\n    a = [v / a[0] for v in a]\n    while len(a) > 1 and a[-1] == 0:\n        a.pop()\n    ks = []\n    while len(a) > 1:\n        p = len(a) - 1\n        k = a[p]\n        ks.append(str(k))\n        if abs(k) >= 1:\n            return {'stable': False, 'reflection': ks}\n        a = [(a[i] - k * a[p - i]) / (1 - k * k) for i in range(p)]\n    return {'stable': True, 'reflection': ks}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: third order', ['1', '-1/2', '1/3', '-1/5'], {'stable': True, 'reflection': ['-1/5', '35/144', '-65/179']}], ['regression: random denominator 10', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['repair check: stable second order', ['1', '-1/2', '1/4'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: marginal pole on unit circle', ['1', '0', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['control: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['control: pole at -1', ['1', '1'], {'stable': False, 'reflection': ['1']}]], [['regression: random denominator 30', ['1', '1/3', '1/2', '1/3'], {'stable': True, 'reflection': ['1/3', '7/16', '3/23']}], ['regression: random denominator 31', ['1', '1/8', '-1', '-1/4'], {'stable': False, 'reflection': ['-1/4', '-31/30']}], ['regression: third order', ['1', '-1/2', '1/3', '-1/5'], {'stable': True, 'reflection': ['-1/5', '35/144', '-65/179']}], ['control: unstable first order', ['1', '-3/2'], {'stable': False, 'reflection': ['-3/2']}], ['control: bad a0', ['0', '1'], 'bad-a0'], ['control: random denominator 0', ['-1', '0'], {'stable': True, 'reflection': []}], ['control: random denominator 3', ['-1', '-1/2'], {'stable': True, 'reflection': ['1/2']}]], [['regression: random denominator 38', ['-1', '1/2', '5/4', '1/3'], {'stable': False, 'reflection': ['-1/3', '-51/32']}], ['regression: random denominator 40', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['repair check: random denominator 2', ['1', '1/3', '1/3'], {'stable': True, 'reflection': ['1/3', '1/4']}], ['control: random denominator 4', ['-1', '0', '5/4'], {'stable': False, 'reflection': ['-5/4']}], ['control: random denominator 6', ['1/2', '1/8'], {'stable': True, 'reflection': ['1/4']}], ['control: random denominator 7', ['1', '3/4', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: random denominator 8', ['1', '-1/4'], {'stable': True, 'reflection': ['-1/4']}]], [['regression: random denominator 49', ['1', '1/2', '-1/2', '1/2'], {'stable': False, 'reflection': ['1/2', '-1']}], ['regression: random denominator 50', ['1', '1/3', '3/4', '1/8'], {'stable': True, 'reflection': ['1/8', '136/189', '46/325']}], ['regression: random denominator 10', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['control: random denominator 9', ['1', '-1', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: random denominator 12', ['1', '5/4', '-1', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: random denominator 14', ['1', '1/8', '5/4'], {'stable': False, 'reflection': ['5/4']}], ['control: random denominator 15', ['1', '-1/4'], {'stable': True, 'reflection': ['-1/4']}]], [['regression: random denominator 10', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['regression: random denominator 27', ['2', '1/3', '-1/2', '1/8'], {'stable': True, 'reflection': ['1/16', '-40/153', '28/113']}], ['repair check: random denominator 13', ['1', '1/8', '1/8', '3/4'], {'stable': True, 'reflection': ['3/4', '1/14', '1/15']}], ['control: random denominator 16', ['1/2', '-1', '3/4'], {'stable': False, 'reflection': ['3/2']}], ['control: random denominator 17', ['1', '1/8'], {'stable': True, 'reflection': ['1/8']}], ['control: random denominator 18', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['control: random denominator 19', ['-1', '3/4'], {'stable': True, 'reflection': ['-3/4']}]]]\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 with a stipulated toy contract; exact rational arithmetic or fixed-decimal rounding keeps outputs strict JSON. It is not a production DSP library and claims no standards conformance. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-digital_signal_filters-schur-cohn-stability-step-down-mirror-index","generated_at":"2026-09-29T14:51:37.434379+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Checking IIR denominators for stability before deployment prevents runaway filters; step-down slips accept unstable designs.","repair":"Use the reversed polynomial term a_{p-i}.","root_cause":"The recursion uses k a_i instead of k a_{p-i}.","sha256":"18dd1a6a032a713c83a7f282b2fa47d5b444ffd3eeaea26c18dbca1c55c5d414","title":"Stability step-down pairs coefficients with themselves · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.15,"exit_code":1,"observations":[{"actual":{"reflection":["-1/5","5/9","-115/64"],"stable":false},"check":"regression: third order","expected":{"reflection":["-1/5","35/144","-65/179"],"stable":true},"passed":false},{"actual":{"reflection":["-1/2","5/6","-11/2"],"stable":false},"check":"regression: random denominator 10","expected":{"reflection":["-1/2","0","-1/4"],"stable":true},"passed":false},{"actual":{"reflection":["1/4","-4/5"],"stable":true},"check":"repair check: stable second order","expected":{"reflection":["1/4","-2/5"],"stable":true},"passed":false},{"actual":{"reflection":["-1"],"stable":false},"check":"control: marginal pole on unit circle","expected":{"reflection":["-1"],"stable":false},"passed":true},{"actual":{"reflection":["1/2"],"stable":true},"check":"control: trailing zero coefficient","expected":{"reflection":["1/2"],"stable":true},"passed":true},{"actual":{"reflection":["-1/3"],"stable":true},"check":"control: two trailing zeros","expected":{"reflection":["-1/3"],"stable":true},"passed":true},{"actual":{"reflection":["1"],"stable":false},"check":"control: pole at -1","expected":{"reflection":["1"],"stable":false},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: third order\", \"actual\": {\"stable\": false, \"reflection\": [\"-1/5\", \"5/9\", \"-115/64\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"-1/5\", \"35/144\", \"-65/179\"]}, \"passed\": false}, {\"check\": \"regression: random denominator 10\", \"actual\": {\"stable\": false, \"reflection\": [\"-1/2\", \"5/6\", \"-11/2\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"-1/2\", \"0\", \"-1/4\"]}, \"passed\": false}, {\"check\": \"repair check: stable second order\", \"actual\": {\"stable\": true, \"reflection\": [\"1/4\", \"-4/5\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"passed\": false}, {\"check\": \"control: marginal pole on unit circle\", \"actual\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"passed\": true}, {\"check\": \"control: trailing zero coefficient\", \"actual\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"passed\": true}, {\"check\": \"control: two trailing zeros\", \"actual\": {\"stable\": true, \"reflection\": [\"-1/3\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"-1/3\"]}, \"passed\": true}, {\"check\": \"control: pole at -1\", \"actual\": {\"stable\": false, \"reflection\": [\"1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"1\"]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.134,"exit_code":1,"observations":[{"actual":{"reflection":["-1/5","5/12","-15/34"],"stable":true},"check":"regression: third order","expected":{"reflection":["-1/5","35/144","-65/179"],"stable":true},"passed":false},{"actual":{"reflection":["-1/2","1/4","-2/5"],"stable":true},"check":"regression: random denominator 10","expected":{"reflection":["-1/2","0","-1/4"],"stable":true},"passed":false},{"actual":{"reflection":["1/4","-2/5"],"stable":true},"check":"repair check: stable second order","expected":{"reflection":["1/4","-2/5"],"stable":true},"passed":true},{"actual":{"reflection":["-1"],"stable":false},"check":"control: marginal pole on unit circle","expected":{"reflection":["-1"],"stable":false},"passed":true},{"actual":{"reflection":["1/2"],"stable":true},"check":"control: trailing zero coefficient","expected":{"reflection":["1/2"],"stable":true},"passed":true},{"actual":{"reflection":["-1/3"],"stable":true},"check":"control: two trailing zeros","expected":{"reflection":["-1/3"],"stable":true},"passed":true},{"actual":{"reflection":["1"],"stable":false},"check":"control: pole at -1","expected":{"reflection":["1"],"stable":false},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: third order\", \"actual\": {\"stable\": true, \"reflection\": [\"-1/5\", \"5/12\", \"-15/34\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"-1/5\", \"35/144\", \"-65/179\"]}, \"passed\": false}, {\"check\": \"regression: random denominator 10\", \"actual\": {\"stable\": true, \"reflection\": [\"-1/2\", \"1/4\", \"-2/5\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"-1/2\", \"0\", \"-1/4\"]}, \"passed\": false}, {\"check\": \"repair check: stable second order\", \"actual\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"passed\": true}, {\"check\": \"control: marginal pole on unit circle\", \"actual\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"passed\": true}, {\"check\": \"control: trailing zero coefficient\", \"actual\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"passed\": true}, {\"check\": \"control: two trailing zeros\", \"actual\": {\"stable\": true, \"reflection\": [\"-1/3\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"-1/3\"]}, \"passed\": true}, {\"check\": \"control: pole at -1\", \"actual\": {\"stable\": false, \"reflection\": [\"1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"1\"]}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.98,"exit_code":0,"observations":[{"actual":{"reflection":["-1/5","35/144","-65/179"],"stable":true},"check":"regression: third order","expected":{"reflection":["-1/5","35/144","-65/179"],"stable":true},"passed":true},{"actual":{"reflection":["-1/2","0","-1/4"],"stable":true},"check":"regression: random denominator 10","expected":{"reflection":["-1/2","0","-1/4"],"stable":true},"passed":true},{"actual":{"reflection":["1/4","-2/5"],"stable":true},"check":"repair check: stable second order","expected":{"reflection":["1/4","-2/5"],"stable":true},"passed":true},{"actual":{"reflection":["-1"],"stable":false},"check":"control: marginal pole on unit circle","expected":{"reflection":["-1"],"stable":false},"passed":true},{"actual":{"reflection":["1/2"],"stable":true},"check":"control: trailing zero coefficient","expected":{"reflection":["1/2"],"stable":true},"passed":true},{"actual":{"reflection":["-1/3"],"stable":true},"check":"control: two trailing zeros","expected":{"reflection":["-1/3"],"stable":true},"passed":true},{"actual":{"reflection":["1"],"stable":false},"check":"control: pole at -1","expected":{"reflection":["1"],"stable":false},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: third order\", \"actual\": {\"stable\": true, \"reflection\": [\"-1/5\", \"35/144\", \"-65/179\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"-1/5\", \"35/144\", \"-65/179\"]}, \"passed\": true}, {\"check\": \"regression: random denominator 10\", \"actual\": {\"stable\": true, \"reflection\": [\"-1/2\", \"0\", \"-1/4\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"-1/2\", \"0\", \"-1/4\"]}, \"passed\": true}, {\"check\": \"repair check: stable second order\", \"actual\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"passed\": true}, {\"check\": \"control: marginal pole on unit circle\", \"actual\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"passed\": true}, {\"check\": \"control: trailing zero coefficient\", \"actual\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"passed\": true}, {\"check\": \"control: two trailing zeros\", \"actual\": {\"stable\": true, \"reflection\": [\"-1/3\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"-1/3\"]}, \"passed\": true}, {\"check\": \"control: pole at -1\", \"actual\": {\"stable\": false, \"reflection\": [\"1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"1\"]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}