{"abstract":"A padded denominator [1, 1/2, 0] reports an extra reflection coefficient 0.","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 drops at most one trailing zero.","family":"w2-digital_signal_filters-schur-cohn-stability-trailing-zero-trimming","id":"FA-91591","implementations":{"attempt":{"sha256":"1136d2aac85ecf87467370ffa2ca0731e37aad0343a480102740be926f2dc045","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    if 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: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['control: marginal pole on unit circle', ['1', '0', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: stable second order', ['1', '-1/2', '1/4'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: negative leading coefficient', ['-2', '1', '-1/2'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: pole at -1', ['1', '1'], {'stable': False, 'reflection': ['1']}], ['regression: random denominator 0', ['-1', '0'], {'stable': True, 'reflection': []}]], [['regression: random denominator 18', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: random denominator 34', ['-1', '1/2', '-1', '0'], {'stable': False, 'reflection': ['1']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['control: unstable first order', ['1', '-3/2'], {'stable': False, 'reflection': ['-3/2']}], ['control: bad a0', ['0', '1'], 'bad-a0'], ['control: third order', ['1', '-1/2', '1/3', '-1/5'], {'stable': True, 'reflection': ['-1/5', '35/144', '-65/179']}], ['control: random denominator 1', ['1', '1/8', '1/8'], {'stable': True, 'reflection': ['1/8', '1/9']}]], [['regression: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['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 4', ['-1', '0', '5/4'], {'stable': False, 'reflection': ['-5/4']}], ['control: random denominator 5', ['1', '1/8', '1/3'], {'stable': True, 'reflection': ['1/3', '3/32']}], ['regression: random denominator 18', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}]], [['regression: random denominator 18', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: random denominator 34', ['-1', '1/2', '-1', '0'], {'stable': False, 'reflection': ['1']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['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']}], ['control: random denominator 9', ['1', '-1', '-1'], {'stable': False, 'reflection': ['-1']}]], [['regression: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['control: random denominator 10', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['control: random denominator 11', ['-1', '0', '-1/2'], {'stable': True, 'reflection': ['1/2', '0']}], ['control: random denominator 12', ['1', '5/4', '-1', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: random denominator 13', ['1', '1/8', '1/8', '3/4'], {'stable': True, 'reflection': ['3/4', '1/14', '1/15']}], ['regression: random denominator 51', ['1', '0'], {'stable': True, 'reflection': []}]]]\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":"5424385cd72694bd571ddb6c45903c0d3e441bc2851e94ade7a9d451c3e3853a","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    pass\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: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['control: marginal pole on unit circle', ['1', '0', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: stable second order', ['1', '-1/2', '1/4'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: negative leading coefficient', ['-2', '1', '-1/2'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: pole at -1', ['1', '1'], {'stable': False, 'reflection': ['1']}], ['regression: random denominator 0', ['-1', '0'], {'stable': True, 'reflection': []}]], [['regression: random denominator 18', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: random denominator 34', ['-1', '1/2', '-1', '0'], {'stable': False, 'reflection': ['1']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['control: unstable first order', ['1', '-3/2'], {'stable': False, 'reflection': ['-3/2']}], ['control: bad a0', ['0', '1'], 'bad-a0'], ['control: third order', ['1', '-1/2', '1/3', '-1/5'], {'stable': True, 'reflection': ['-1/5', '35/144', '-65/179']}], ['control: random denominator 1', ['1', '1/8', '1/8'], {'stable': True, 'reflection': ['1/8', '1/9']}]], [['regression: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['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 4', ['-1', '0', '5/4'], {'stable': False, 'reflection': ['-5/4']}], ['control: random denominator 5', ['1', '1/8', '1/3'], {'stable': True, 'reflection': ['1/3', '3/32']}], ['regression: random denominator 18', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}]], [['regression: random denominator 18', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: random denominator 34', ['-1', '1/2', '-1', '0'], {'stable': False, 'reflection': ['1']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['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']}], ['control: random denominator 9', ['1', '-1', '-1'], {'stable': False, 'reflection': ['-1']}]], [['regression: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['control: random denominator 10', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['control: random denominator 11', ['-1', '0', '-1/2'], {'stable': True, 'reflection': ['1/2', '0']}], ['control: random denominator 12', ['1', '5/4', '-1', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: random denominator 13', ['1', '1/8', '1/8', '3/4'], {'stable': True, 'reflection': ['3/4', '1/14', '1/15']}], ['regression: random denominator 51', ['1', '0'], {'stable': True, 'reflection': []}]]]\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":"16f740fb81d0977b09db2df6f0fbc784b3a2f3386d42b40235b88ffd98d57398","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: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['control: marginal pole on unit circle', ['1', '0', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: stable second order', ['1', '-1/2', '1/4'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: negative leading coefficient', ['-2', '1', '-1/2'], {'stable': True, 'reflection': ['1/4', '-2/5']}], ['control: pole at -1', ['1', '1'], {'stable': False, 'reflection': ['1']}], ['regression: random denominator 0', ['-1', '0'], {'stable': True, 'reflection': []}]], [['regression: random denominator 18', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: random denominator 34', ['-1', '1/2', '-1', '0'], {'stable': False, 'reflection': ['1']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['control: unstable first order', ['1', '-3/2'], {'stable': False, 'reflection': ['-3/2']}], ['control: bad a0', ['0', '1'], 'bad-a0'], ['control: third order', ['1', '-1/2', '1/3', '-1/5'], {'stable': True, 'reflection': ['-1/5', '35/144', '-65/179']}], ['control: random denominator 1', ['1', '1/8', '1/8'], {'stable': True, 'reflection': ['1/8', '1/9']}]], [['regression: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['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 4', ['-1', '0', '5/4'], {'stable': False, 'reflection': ['-5/4']}], ['control: random denominator 5', ['1', '1/8', '1/3'], {'stable': True, 'reflection': ['1/3', '3/32']}], ['regression: random denominator 18', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}]], [['regression: random denominator 18', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: random denominator 34', ['-1', '1/2', '-1', '0'], {'stable': False, 'reflection': ['1']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['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']}], ['control: random denominator 9', ['1', '-1', '-1'], {'stable': False, 'reflection': ['-1']}]], [['regression: trailing zero coefficient', ['1', '1/2', '0'], {'stable': True, 'reflection': ['1/2']}], ['regression: two trailing zeros', ['1', '-1/3', '0', '0'], {'stable': True, 'reflection': ['-1/3']}], ['control: random denominator 10', ['1', '-1/4', '1/8', '-1/2'], {'stable': True, 'reflection': ['-1/2', '0', '-1/4']}], ['control: random denominator 11', ['-1', '0', '-1/2'], {'stable': True, 'reflection': ['1/2', '0']}], ['control: random denominator 12', ['1', '5/4', '-1', '-1'], {'stable': False, 'reflection': ['-1']}], ['control: random denominator 13', ['1', '1/8', '1/8', '3/4'], {'stable': True, 'reflection': ['3/4', '1/14', '1/15']}], ['regression: random denominator 51', ['1', '0'], {'stable': True, 'reflection': []}]]]\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-trailing-zero-trimming","generated_at":"2026-09-29T14:51:37.477642+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":"Drop all trailing zero coefficients first.","root_cause":"Trailing zero coefficients are not removed before stepping down.","sha256":"b6b23a3dc0012de12c3eb9514f006742adf6166e93361c500b8d1165286fd125","title":"Stability test reports reflection coefficients for zero-padded orders · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.86,"exit_code":1,"observations":[{"actual":{"reflection":["1/2"],"stable":true},"check":"regression: trailing zero coefficient","expected":{"reflection":["1/2"],"stable":true},"passed":true},{"actual":{"reflection":["0","-1/3"],"stable":true},"check":"regression: two trailing zeros","expected":{"reflection":["-1/3"],"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/4","-2/5"],"stable":true},"check":"control: stable second order","expected":{"reflection":["1/4","-2/5"],"stable":true},"passed":true},{"actual":{"reflection":["1/4","-2/5"],"stable":true},"check":"control: negative leading coefficient","expected":{"reflection":["1/4","-2/5"],"stable":true},"passed":true},{"actual":{"reflection":["1"],"stable":false},"check":"control: pole at -1","expected":{"reflection":["1"],"stable":false},"passed":true},{"actual":{"reflection":[],"stable":true},"check":"regression: random denominator 0","expected":{"reflection":[],"stable":true},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: trailing zero coefficient\", \"actual\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"passed\": true}, {\"check\": \"regression: two trailing zeros\", \"actual\": {\"stable\": true, \"reflection\": [\"0\", \"-1/3\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"-1/3\"]}, \"passed\": false}, {\"check\": \"control: marginal pole on unit circle\", \"actual\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"passed\": true}, {\"check\": \"control: stable second order\", \"actual\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"passed\": true}, {\"check\": \"control: negative leading coefficient\", \"actual\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"passed\": true}, {\"check\": \"control: pole at -1\", \"actual\": {\"stable\": false, \"reflection\": [\"1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"1\"]}, \"passed\": true}, {\"check\": \"regression: random denominator 0\", \"actual\": {\"stable\": true, \"reflection\": []}, \"expected\": {\"stable\": true, \"reflection\": []}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.602,"exit_code":1,"observations":[{"actual":{"reflection":["0","1/2"],"stable":true},"check":"regression: trailing zero coefficient","expected":{"reflection":["1/2"],"stable":true},"passed":false},{"actual":{"reflection":["0","0","-1/3"],"stable":true},"check":"regression: two trailing zeros","expected":{"reflection":["-1/3"],"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/4","-2/5"],"stable":true},"check":"control: stable second order","expected":{"reflection":["1/4","-2/5"],"stable":true},"passed":true},{"actual":{"reflection":["1/4","-2/5"],"stable":true},"check":"control: negative leading coefficient","expected":{"reflection":["1/4","-2/5"],"stable":true},"passed":true},{"actual":{"reflection":["1"],"stable":false},"check":"control: pole at -1","expected":{"reflection":["1"],"stable":false},"passed":true},{"actual":{"reflection":["0"],"stable":true},"check":"regression: random denominator 0","expected":{"reflection":[],"stable":true},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: trailing zero coefficient\", \"actual\": {\"stable\": true, \"reflection\": [\"0\", \"1/2\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"passed\": false}, {\"check\": \"regression: two trailing zeros\", \"actual\": {\"stable\": true, \"reflection\": [\"0\", \"0\", \"-1/3\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"-1/3\"]}, \"passed\": false}, {\"check\": \"control: marginal pole on unit circle\", \"actual\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"passed\": true}, {\"check\": \"control: stable second order\", \"actual\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"passed\": true}, {\"check\": \"control: negative leading coefficient\", \"actual\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"passed\": true}, {\"check\": \"control: pole at -1\", \"actual\": {\"stable\": false, \"reflection\": [\"1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"1\"]}, \"passed\": true}, {\"check\": \"regression: random denominator 0\", \"actual\": {\"stable\": true, \"reflection\": [\"0\"]}, \"expected\": {\"stable\": true, \"reflection\": []}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.92,"exit_code":0,"observations":[{"actual":{"reflection":["1/2"],"stable":true},"check":"regression: trailing zero coefficient","expected":{"reflection":["1/2"],"stable":true},"passed":true},{"actual":{"reflection":["-1/3"],"stable":true},"check":"regression: two trailing zeros","expected":{"reflection":["-1/3"],"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/4","-2/5"],"stable":true},"check":"control: stable second order","expected":{"reflection":["1/4","-2/5"],"stable":true},"passed":true},{"actual":{"reflection":["1/4","-2/5"],"stable":true},"check":"control: negative leading coefficient","expected":{"reflection":["1/4","-2/5"],"stable":true},"passed":true},{"actual":{"reflection":["1"],"stable":false},"check":"control: pole at -1","expected":{"reflection":["1"],"stable":false},"passed":true},{"actual":{"reflection":[],"stable":true},"check":"regression: random denominator 0","expected":{"reflection":[],"stable":true},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: trailing zero coefficient\", \"actual\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/2\"]}, \"passed\": true}, {\"check\": \"regression: two trailing zeros\", \"actual\": {\"stable\": true, \"reflection\": [\"-1/3\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"-1/3\"]}, \"passed\": true}, {\"check\": \"control: marginal pole on unit circle\", \"actual\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"-1\"]}, \"passed\": true}, {\"check\": \"control: stable second order\", \"actual\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"passed\": true}, {\"check\": \"control: negative leading coefficient\", \"actual\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"expected\": {\"stable\": true, \"reflection\": [\"1/4\", \"-2/5\"]}, \"passed\": true}, {\"check\": \"control: pole at -1\", \"actual\": {\"stable\": false, \"reflection\": [\"1\"]}, \"expected\": {\"stable\": false, \"reflection\": [\"1\"]}, \"passed\": true}, {\"check\": \"regression: random denominator 0\", \"actual\": {\"stable\": true, \"reflection\": []}, \"expected\": {\"stable\": true, \"reflection\": []}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}