{"abstract":"An unstable first-order denominator reports an empty reflection list, hiding which stage failed.","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 records |k|, losing the sign of negative reflection coefficients.","family":"w2-digital_signal_filters-schur-cohn-stability-failing-coefficient-reporting","id":"FA-91571","implementations":{"attempt":{"sha256":"291514be2b725799dc964901b413eaa24f0d229b1c82f3f204233d30bd3fea1d","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(abs(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: marginal pole on unit circle', ['1', '0', '-1'], {'stable': False, 'reflection': ['-1']}], ['regression: pole at -1', ['1', '1'], {'stable': False, 'reflection': ['1']}], ['repair check: stable second order', ['1', '-1/2', '1/4'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['control: bad a0', ['0', '1'], 'bad-a0'], ['control: random denominator 0', ['-1', '0'], {'stable': True, 'reflection': []}], ['control: random denominator 1', ['1', '1/8', '1/8'], {'stable': True, 'reflection': ['1/8', '1/9']}]], [['regression: random denominator 4', ['-1', '0', '5/4'], {'stable': False, 'reflection': ['-5/4']}], ['regression: random denominator 7', ['1', '3/4', '-1'], {'stable': False, 'reflection': ['-1']}], ['repair check: negative leading coefficient', ['-2', '1', '-1/2'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: random denominator 2', ['1', '1/3', '1/3'], {'stable': True, 'reflection': ['1/3', '1/4']}], ['control: random denominator 3', ['-1', '-1/2'], {'stable': True, 'reflection': ['1/2']}], ['control: random denominator 5', ['1', '1/8', '1/3'], {'stable': True, 'reflection': ['1/3', '3/32']}], ['control: random denominator 6', ['1/2', '1/8'], {'stable': True, 'reflection': ['1/4']}]], [['regression: random denominator 12', ['1', '5/4', '-1', '-1'], {'stable': False, 'reflection': ['-1']}], ['regression: random denominator 14', ['1', '1/8', '5/4'], {'stable': False, 'reflection': ['5/4']}], ['regression: unstable first order', ['1', '-3/2'], {'stable': False, 'reflection': ['-3/2']}], ['control: random denominator 11', ['-1', '0', '-1/2'], {'stable': True, 'reflection': ['1/2', '0']}], ['control: random denominator 13', ['1', '1/8', '1/8', '3/4'], {'stable': True, 'reflection': ['3/4', '1/14', '1/15']}], ['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']}]], [['regression: random denominator 21', ['1/2', '3/4'], {'stable': False, 'reflection': ['3/2']}], ['regression: random denominator 23', ['1', '1/2', '5/4'], {'stable': False, 'reflection': ['5/4']}], ['regression: random denominator 4', ['-1', '0', '5/4'], {'stable': False, 'reflection': ['-5/4']}], ['control: random denominator 22', ['2', '1/8', '3/4'], {'stable': True, 'reflection': ['3/8', '1/22']}], ['control: random denominator 24', ['2', '1/2'], {'stable': True, 'reflection': ['1/4']}], ['control: random denominator 25', ['1', '3/4'], {'stable': True, 'reflection': ['3/4']}], ['control: random denominator 26', ['1', '1/8', '3/4'], {'stable': True, 'reflection': ['3/4', '1/14']}]], [['regression: random denominator 32', ['1/2', '-1/2'], {'stable': False, 'reflection': ['-1']}], ['regression: random denominator 33', ['1', '5/4', '5/4'], {'stable': False, 'reflection': ['5/4']}], ['repair check: random denominator 8', ['1', '-1/4'], {'stable': True, 'reflection': ['-1/4']}], ['control: random denominator 30', ['1', '1/3', '1/2', '1/3'], {'stable': True, 'reflection': ['1/3', '7/16', '3/23']}], ['control: random denominator 35', ['2', '1/8', '1/2', '1/3'], {'stable': True, 'reflection': ['1/6', '69/280', '6/349']}], ['control: random denominator 37', ['1', '1/2', '3/4'], {'stable': True, 'reflection': ['3/4', '2/7']}], ['control: random denominator 44', ['1', '1/2'], {'stable': True, 'reflection': ['1/2']}]]]\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":"dcaa6c53a1ad8bc7e63a527947c9a71ecb04ac5f5e242e50a5988b37dd377228","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        if abs(k) >= 1:\n            return {'stable': False, 'reflection': ks}\n        ks.append(str(k))\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: marginal pole on unit circle', ['1', '0', '-1'], {'stable': False, 'reflection': ['-1']}], ['regression: pole at -1', ['1', '1'], {'stable': False, 'reflection': ['1']}], ['repair check: stable second order', ['1', '-1/2', '1/4'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['control: bad a0', ['0', '1'], 'bad-a0'], ['control: random denominator 0', ['-1', '0'], {'stable': True, 'reflection': []}], ['control: random denominator 1', ['1', '1/8', '1/8'], {'stable': True, 'reflection': ['1/8', '1/9']}]], [['regression: random denominator 4', ['-1', '0', '5/4'], {'stable': False, 'reflection': ['-5/4']}], ['regression: random denominator 7', ['1', '3/4', '-1'], {'stable': False, 'reflection': ['-1']}], ['repair check: negative leading coefficient', ['-2', '1', '-1/2'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: random denominator 2', ['1', '1/3', '1/3'], {'stable': True, 'reflection': ['1/3', '1/4']}], ['control: random denominator 3', ['-1', '-1/2'], {'stable': True, 'reflection': ['1/2']}], ['control: random denominator 5', ['1', '1/8', '1/3'], {'stable': True, 'reflection': ['1/3', '3/32']}], ['control: random denominator 6', ['1/2', '1/8'], {'stable': True, 'reflection': ['1/4']}]], [['regression: random denominator 12', ['1', '5/4', '-1', '-1'], {'stable': False, 'reflection': ['-1']}], ['regression: random denominator 14', ['1', '1/8', '5/4'], {'stable': False, 'reflection': ['5/4']}], ['regression: unstable first order', ['1', '-3/2'], {'stable': False, 'reflection': ['-3/2']}], ['control: random denominator 11', ['-1', '0', '-1/2'], {'stable': True, 'reflection': ['1/2', '0']}], ['control: random denominator 13', ['1', '1/8', '1/8', '3/4'], {'stable': True, 'reflection': ['3/4', '1/14', '1/15']}], ['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']}]], [['regression: random denominator 21', ['1/2', '3/4'], {'stable': False, 'reflection': ['3/2']}], ['regression: random denominator 23', ['1', '1/2', '5/4'], {'stable': False, 'reflection': ['5/4']}], ['regression: random denominator 4', ['-1', '0', '5/4'], {'stable': False, 'reflection': ['-5/4']}], ['control: random denominator 22', ['2', '1/8', '3/4'], {'stable': True, 'reflection': ['3/8', '1/22']}], ['control: random denominator 24', ['2', '1/2'], {'stable': True, 'reflection': ['1/4']}], ['control: random denominator 25', ['1', '3/4'], {'stable': True, 'reflection': ['3/4']}], ['control: random denominator 26', ['1', '1/8', '3/4'], {'stable': True, 'reflection': ['3/4', '1/14']}]], [['regression: random denominator 32', ['1/2', '-1/2'], {'stable': False, 'reflection': ['-1']}], ['regression: random denominator 33', ['1', '5/4', '5/4'], {'stable': False, 'reflection': ['5/4']}], ['repair check: random denominator 8', ['1', '-1/4'], {'stable': True, 'reflection': ['-1/4']}], ['control: random denominator 30', ['1', '1/3', '1/2', '1/3'], {'stable': True, 'reflection': ['1/3', '7/16', '3/23']}], ['control: random denominator 35', ['2', '1/8', '1/2', '1/3'], {'stable': True, 'reflection': ['1/6', '69/280', '6/349']}], ['control: random denominator 37', ['1', '1/2', '3/4'], {'stable': True, 'reflection': ['3/4', '2/7']}], ['control: random denominator 44', ['1', '1/2'], {'stable': True, 'reflection': ['1/2']}]]]\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":"1603f458700e0323f6a6781453623f5d738b1504e369e11f33d24105e4cc5138","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: marginal pole on unit circle', ['1', '0', '-1'], {'stable': False, 'reflection': ['-1']}], ['regression: pole at -1', ['1', '1'], {'stable': False, 'reflection': ['1']}], ['repair check: stable second order', ['1', '-1/2', '1/4'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['control: bad a0', ['0', '1'], 'bad-a0'], ['control: random denominator 0', ['-1', '0'], {'stable': True, 'reflection': []}], ['control: random denominator 1', ['1', '1/8', '1/8'], {'stable': True, 'reflection': ['1/8', '1/9']}]], [['regression: random denominator 4', ['-1', '0', '5/4'], {'stable': False, 'reflection': ['-5/4']}], ['regression: random denominator 7', ['1', '3/4', '-1'], {'stable': False, 'reflection': ['-1']}], ['repair check: negative leading coefficient', ['-2', '1', '-1/2'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: random denominator 2', ['1', '1/3', '1/3'], {'stable': True, 'reflection': ['1/3', '1/4']}], ['control: random denominator 3', ['-1', '-1/2'], {'stable': True, 'reflection': ['1/2']}], ['control: random denominator 5', ['1', '1/8', '1/3'], {'stable': True, 'reflection': ['1/3', '3/32']}], ['control: random denominator 6', ['1/2', '1/8'], {'stable': True, 'reflection': ['1/4']}]], [['regression: random denominator 12', ['1', '5/4', '-1', '-1'], {'stable': False, 'reflection': ['-1']}], ['regression: random denominator 14', ['1', '1/8', '5/4'], {'stable': False, 'reflection': ['5/4']}], ['regression: unstable first order', ['1', '-3/2'], {'stable': False, 'reflection': ['-3/2']}], ['control: random denominator 11', ['-1', '0', '-1/2'], {'stable': True, 'reflection': ['1/2', '0']}], ['control: random denominator 13', ['1', '1/8', '1/8', '3/4'], {'stable': True, 'reflection': ['3/4', '1/14', '1/15']}], ['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']}]], [['regression: random denominator 21', ['1/2', '3/4'], {'stable': False, 'reflection': ['3/2']}], ['regression: random denominator 23', ['1', '1/2', '5/4'], {'stable': False, 'reflection': ['5/4']}], ['regression: random denominator 4', ['-1', '0', '5/4'], {'stable': False, 'reflection': ['-5/4']}], ['control: random denominator 22', ['2', '1/8', '3/4'], {'stable': True, 'reflection': ['3/8', '1/22']}], ['control: random denominator 24', ['2', '1/2'], {'stable': True, 'reflection': ['1/4']}], ['control: random denominator 25', ['1', '3/4'], {'stable': True, 'reflection': ['3/4']}], ['control: random denominator 26', ['1', '1/8', '3/4'], {'stable': True, 'reflection': ['3/4', '1/14']}]], [['regression: random denominator 32', ['1/2', '-1/2'], {'stable': False, 'reflection': ['-1']}], ['regression: random denominator 33', ['1', '5/4', '5/4'], {'stable': False, 'reflection': ['5/4']}], ['repair check: random denominator 8', ['1', '-1/4'], {'stable': True, 'reflection': ['-1/4']}], ['control: random denominator 30', ['1', '1/3', '1/2', '1/3'], {'stable': True, 'reflection': ['1/3', '7/16', '3/23']}], ['control: random denominator 35', ['2', '1/8', '1/2', '1/3'], {'stable': True, 'reflection': ['1/6', '69/280', '6/349']}], ['control: random denominator 37', ['1', '1/2', '3/4'], {'stable': True, 'reflection': ['3/4', '2/7']}], ['control: random denominator 44', ['1', '1/2'], {'stable': True, 'reflection': ['1/2']}]]]\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-failing-coefficient-reporting","generated_at":"2026-09-29T14:51:37.351809+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":"Record k before testing |k| >= 1 so the failing coefficient is reported.","root_cause":"The reflection coefficient is appended only after the stability check passes.","sha256":"8da4026dd0efa20f221efca041fcc0745e4955b1efbaccb69a60990d6543e5a9","title":"Stability test omits the offending reflection coefficient · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.087,"exit_code":1,"observations":[{"actual":{"reflection":["1"],"stable":false},"check":"regression: marginal pole on unit circle","expected":{"reflection":["-1"],"stable":false},"passed":false},{"actual":{"reflection":["1"],"stable":false},"check":"regression: pole at -1","expected":{"reflection":["1"],"stable":false},"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":false},{"actual":{"reflection":["1/2"],"stable":true},"check":"control: trailing zero coefficient","expected":{"reflection":["1/2"],"stable":true},"passed":true},{"actual":"bad-a0","check":"control: bad a0","expected":"bad-a0","passed":true},{"actual":{"reflection":[],"stable":true},"check":"control: random denominator 0","expected":{"reflection":[],"stable":true},"passed":true},{"actual":{"reflection":["1/8","1/9"],"stable":true},"check":"control: random denominator 1","expected":{"reflection":["1/8","1/9"],"stable":true},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: marginal pole on unit circle\", \"actual\": {\"stable\": false, \"reflection\": [\"1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"passed\": false}, {\"check\": \"regression: pole at -1\", \"actual\": {\"stable\": false, \"reflection\": [\"1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"1\"]}, \"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\": false}, {\"check\": \"control: trailing zero coefficient\", \"actual\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"passed\": true}, {\"check\": \"control: bad a0\", \"actual\": \"bad-a0\", \"expected\": \"bad-a0\", \"passed\": true}, {\"check\": \"control: random denominator 0\", \"actual\": {\"stable\": true, \"reflection\": []}, \"expected\": {\"stable\": true, \"reflection\": []}, \"passed\": true}, {\"check\": \"control: random denominator 1\", \"actual\": {\"stable\": true, \"reflection\": [\"1/8\", \"1/9\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/8\", \"1/9\"]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.675,"exit_code":1,"observations":[{"actual":{"reflection":[],"stable":false},"check":"regression: marginal pole on unit circle","expected":{"reflection":["-1"],"stable":false},"passed":false},{"actual":{"reflection":[],"stable":false},"check":"regression: pole at -1","expected":{"reflection":["1"],"stable":false},"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/2"],"stable":true},"check":"control: trailing zero coefficient","expected":{"reflection":["1/2"],"stable":true},"passed":true},{"actual":"bad-a0","check":"control: bad a0","expected":"bad-a0","passed":true},{"actual":{"reflection":[],"stable":true},"check":"control: random denominator 0","expected":{"reflection":[],"stable":true},"passed":true},{"actual":{"reflection":["1/8","1/9"],"stable":true},"check":"control: random denominator 1","expected":{"reflection":["1/8","1/9"],"stable":true},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: marginal pole on unit circle\", \"actual\": {\"stable\": false, \"reflection\": []}, \"expected\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"passed\": false}, {\"check\": \"regression: pole at -1\", \"actual\": {\"stable\": false, \"reflection\": []}, \"expected\": {\"stable\": false, \"reflection\": [\"1\"]}, \"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: trailing zero coefficient\", \"actual\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"passed\": true}, {\"check\": \"control: bad a0\", \"actual\": \"bad-a0\", \"expected\": \"bad-a0\", \"passed\": true}, {\"check\": \"control: random denominator 0\", \"actual\": {\"stable\": true, \"reflection\": []}, \"expected\": {\"stable\": true, \"reflection\": []}, \"passed\": true}, {\"check\": \"control: random denominator 1\", \"actual\": {\"stable\": true, \"reflection\": [\"1/8\", \"1/9\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/8\", \"1/9\"]}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.826,"exit_code":0,"observations":[{"actual":{"reflection":["-1"],"stable":false},"check":"regression: marginal pole on unit circle","expected":{"reflection":["-1"],"stable":false},"passed":true},{"actual":{"reflection":["1"],"stable":false},"check":"regression: pole at -1","expected":{"reflection":["1"],"stable":false},"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/2"],"stable":true},"check":"control: trailing zero coefficient","expected":{"reflection":["1/2"],"stable":true},"passed":true},{"actual":"bad-a0","check":"control: bad a0","expected":"bad-a0","passed":true},{"actual":{"reflection":[],"stable":true},"check":"control: random denominator 0","expected":{"reflection":[],"stable":true},"passed":true},{"actual":{"reflection":["1/8","1/9"],"stable":true},"check":"control: random denominator 1","expected":{"reflection":["1/8","1/9"],"stable":true},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: marginal pole on unit circle\", \"actual\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"passed\": true}, {\"check\": \"regression: pole at -1\", \"actual\": {\"stable\": false, \"reflection\": [\"1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"1\"]}, \"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: trailing zero coefficient\", \"actual\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"passed\": true}, {\"check\": \"control: bad a0\", \"actual\": \"bad-a0\", \"expected\": \"bad-a0\", \"passed\": true}, {\"check\": \"control: random denominator 0\", \"actual\": {\"stable\": true, \"reflection\": []}, \"expected\": {\"stable\": true, \"reflection\": []}, \"passed\": true}, {\"check\": \"control: random denominator 1\", \"actual\": {\"stable\": true, \"reflection\": [\"1/8\", \"1/9\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/8\", \"1/9\"]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}