{"abstract":"Early outputs pick up samples from the tail of the buffer.","category":"Digital signal filters","checks":7,"contract":"Input [h, D, samples] (integers). Output y[m] = sum_k h[k] x[mD - k] for m = 0 .. ceil(len/D) - 1 with x = 0 outside the signal, computed through the polyphase split E_p[j] = h[jD + p].","evaluation_group":"w2-digital_signal_filters-polyphase-decimator","failed_approach":"The attempted repair uses 0 < idx, dropping x[0].","family":"w2-digital_signal_filters-polyphase-decimator-input-index-lower-bound","id":"FA-91551","implementations":{"attempt":{"sha256":"0061fb35459caee75ede7ffd41504bac17f91c29e0aad54622643229a48647ea","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    h, D, xs = x\n    L = len(xs)\n    M = (L + D - 1) // D\n    phases = [h[p::D] for p in range(D)]\n    out = []\n    for m in range(M):\n        acc = 0\n        for p in range(D):\n            for j, c in enumerate(phases[p]):\n                idx = (m - j) * D - p\n                if 0 < idx < L:\n                    acc += c * xs[idx]\n        out.append(acc)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: length divisible', [[1, 1], 2, [1, 2, 3, 4]], [1, 5]], ['regression: long filter D=3', [[1, 2, 3, 4, 5], 3, [1, 0, 0, 2, 0, 0, 3]], [1, 6, 11]], ['repair check: impulse through D=2', [[1, 2, 3], 2, [1, 0, 0, 0, 0]], [1, 3, 0]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 0', [[2, -1], 2, [3, -3, 4, -2, -3, 5, 1]], [6, 11, -4, -3]], ['regression: random polyphase 1', [[-2, 4, -1, -1, 1, -3], 4, [3, 0, 1, 0, -1, -2]], [-6, 4]]], [['regression: random polyphase 1', [[-2, 4, -1, -1, 1, -3], 4, [3, 0, 1, 0, -1, -2]], [-6, 4]], ['regression: random polyphase 2', [[4, 2, 3, -2, 4], 4, [-2, -4, 3, 0, -1, -2, 3, -1]], [-8, 5]], ['repair check: first sample matters', [[1], 3, [7, 1, 1, 1]], [7, 1]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 0', [[2, -1], 2, [3, -3, 4, -2, -3, 5, 1]], [6, 11, -4, -3]], ['regression: random polyphase 4', [[0, -1, 1, -1, 4], 3, [3, 2, 5, 3, -1, 0, -3, 2, -1, -2]], [0, -6, 16, 6]]], [['regression: random polyphase 5', [[3, 1, -1, 0, -1], 2, [-3, 5, 4, 1]], [-9, 20]], ['regression: random polyphase 6', [[1, -2, 3, 2, -1], 4, [4, 3, 5, -3, -4, -2]], [4, 19]], ['regression: random polyphase 0', [[2, -1], 2, [3, -3, 4, -2, -3, 5, 1]], [6, 11, -4, -3]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 1', [[-2, 4, -1, -1, 1, -3], 4, [3, 0, 1, 0, -1, -2]], [-6, 4]], ['regression: random polyphase 2', [[4, 2, 3, -2, 4], 4, [-2, -4, 3, 0, -1, -2, 3, -1]], [-8, 5]]], [['regression: random polyphase 9', [[1, -2, 2, 3, 1, 0], 3, [5, 2, 1, -3, 4, 0, 0, 1]], [5, 14, 0]], ['regression: random polyphase 10', [[3, -1, 1, 0, -2, 2], 4, [3, -3, 0, -3, 2, 1]], [9, 3]], ['regression: random polyphase 2', [[4, 2, 3, -2, 4], 4, [-2, -4, 3, 0, -1, -2, 3, -1]], [-8, 5]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 4', [[0, -1, 1, -1, 4], 3, [3, 2, 5, 3, -1, 0, -3, 2, -1, -2]], [0, -6, 16, 6]], ['regression: random polyphase 5', [[3, 1, -1, 0, -1], 2, [-3, 5, 4, 1]], [-9, 20]]], [['regression: random polyphase 12', [[-2, 3, 1, -3, 1, 2, 3], 3, [2, 5, 1, 5, -2, -2]], [-4, -8]], ['regression: random polyphase 13', [[1, 4], 2, [-4, 3, -1, 4]], [-4, 11]], ['regression: random polyphase 4', [[0, -1, 1, -1, 4], 3, [3, 2, 5, 3, -1, 0, -3, 2, -1, -2]], [0, -6, 16, 6]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 5', [[3, 1, -1, 0, -1], 2, [-3, 5, 4, 1]], [-9, 20]], ['regression: random polyphase 6', [[1, -2, 3, 2, -1], 4, [4, 3, 5, -3, -4, -2]], [4, 19]]]]\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":"f04ec33bad8f869e0515477dbe8f8b20791e19351591cfc9a0ecddf767d83a15","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    h, D, xs = x\n    L = len(xs)\n    M = (L + D - 1) // D\n    phases = [h[p::D] for p in range(D)]\n    out = []\n    for m in range(M):\n        acc = 0\n        for p in range(D):\n            for j, c in enumerate(phases[p]):\n                idx = (m - j) * D - p\n                if idx < L:\n                    acc += c * xs[idx]\n        out.append(acc)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: length divisible', [[1, 1], 2, [1, 2, 3, 4]], [1, 5]], ['regression: long filter D=3', [[1, 2, 3, 4, 5], 3, [1, 0, 0, 2, 0, 0, 3]], [1, 6, 11]], ['repair check: impulse through D=2', [[1, 2, 3], 2, [1, 0, 0, 0, 0]], [1, 3, 0]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 0', [[2, -1], 2, [3, -3, 4, -2, -3, 5, 1]], [6, 11, -4, -3]], ['regression: random polyphase 1', [[-2, 4, -1, -1, 1, -3], 4, [3, 0, 1, 0, -1, -2]], [-6, 4]]], [['regression: random polyphase 1', [[-2, 4, -1, -1, 1, -3], 4, [3, 0, 1, 0, -1, -2]], [-6, 4]], ['regression: random polyphase 2', [[4, 2, 3, -2, 4], 4, [-2, -4, 3, 0, -1, -2, 3, -1]], [-8, 5]], ['repair check: first sample matters', [[1], 3, [7, 1, 1, 1]], [7, 1]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 0', [[2, -1], 2, [3, -3, 4, -2, -3, 5, 1]], [6, 11, -4, -3]], ['regression: random polyphase 4', [[0, -1, 1, -1, 4], 3, [3, 2, 5, 3, -1, 0, -3, 2, -1, -2]], [0, -6, 16, 6]]], [['regression: random polyphase 5', [[3, 1, -1, 0, -1], 2, [-3, 5, 4, 1]], [-9, 20]], ['regression: random polyphase 6', [[1, -2, 3, 2, -1], 4, [4, 3, 5, -3, -4, -2]], [4, 19]], ['regression: random polyphase 0', [[2, -1], 2, [3, -3, 4, -2, -3, 5, 1]], [6, 11, -4, -3]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 1', [[-2, 4, -1, -1, 1, -3], 4, [3, 0, 1, 0, -1, -2]], [-6, 4]], ['regression: random polyphase 2', [[4, 2, 3, -2, 4], 4, [-2, -4, 3, 0, -1, -2, 3, -1]], [-8, 5]]], [['regression: random polyphase 9', [[1, -2, 2, 3, 1, 0], 3, [5, 2, 1, -3, 4, 0, 0, 1]], [5, 14, 0]], ['regression: random polyphase 10', [[3, -1, 1, 0, -2, 2], 4, [3, -3, 0, -3, 2, 1]], [9, 3]], ['regression: random polyphase 2', [[4, 2, 3, -2, 4], 4, [-2, -4, 3, 0, -1, -2, 3, -1]], [-8, 5]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 4', [[0, -1, 1, -1, 4], 3, [3, 2, 5, 3, -1, 0, -3, 2, -1, -2]], [0, -6, 16, 6]], ['regression: random polyphase 5', [[3, 1, -1, 0, -1], 2, [-3, 5, 4, 1]], [-9, 20]]], [['regression: random polyphase 12', [[-2, 3, 1, -3, 1, 2, 3], 3, [2, 5, 1, 5, -2, -2]], [-4, -8]], ['regression: random polyphase 13', [[1, 4], 2, [-4, 3, -1, 4]], [-4, 11]], ['regression: random polyphase 4', [[0, -1, 1, -1, 4], 3, [3, 2, 5, 3, -1, 0, -3, 2, -1, -2]], [0, -6, 16, 6]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 5', [[3, 1, -1, 0, -1], 2, [-3, 5, 4, 1]], [-9, 20]], ['regression: random polyphase 6', [[1, -2, 3, 2, -1], 4, [4, 3, 5, -3, -4, -2]], [4, 19]]]]\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":"a873a0d87497f60a27542a14c5c53d4df1d93b805095f5e2c5932df6793ccfc7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    h, D, xs = x\n    L = len(xs)\n    M = (L + D - 1) // D\n    phases = [h[p::D] for p in range(D)]\n    out = []\n    for m in range(M):\n        acc = 0\n        for p in range(D):\n            for j, c in enumerate(phases[p]):\n                idx = (m - j) * D - p\n                if 0 <= idx < L:\n                    acc += c * xs[idx]\n        out.append(acc)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: length divisible', [[1, 1], 2, [1, 2, 3, 4]], [1, 5]], ['regression: long filter D=3', [[1, 2, 3, 4, 5], 3, [1, 0, 0, 2, 0, 0, 3]], [1, 6, 11]], ['repair check: impulse through D=2', [[1, 2, 3], 2, [1, 0, 0, 0, 0]], [1, 3, 0]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 0', [[2, -1], 2, [3, -3, 4, -2, -3, 5, 1]], [6, 11, -4, -3]], ['regression: random polyphase 1', [[-2, 4, -1, -1, 1, -3], 4, [3, 0, 1, 0, -1, -2]], [-6, 4]]], [['regression: random polyphase 1', [[-2, 4, -1, -1, 1, -3], 4, [3, 0, 1, 0, -1, -2]], [-6, 4]], ['regression: random polyphase 2', [[4, 2, 3, -2, 4], 4, [-2, -4, 3, 0, -1, -2, 3, -1]], [-8, 5]], ['repair check: first sample matters', [[1], 3, [7, 1, 1, 1]], [7, 1]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 0', [[2, -1], 2, [3, -3, 4, -2, -3, 5, 1]], [6, 11, -4, -3]], ['regression: random polyphase 4', [[0, -1, 1, -1, 4], 3, [3, 2, 5, 3, -1, 0, -3, 2, -1, -2]], [0, -6, 16, 6]]], [['regression: random polyphase 5', [[3, 1, -1, 0, -1], 2, [-3, 5, 4, 1]], [-9, 20]], ['regression: random polyphase 6', [[1, -2, 3, 2, -1], 4, [4, 3, 5, -3, -4, -2]], [4, 19]], ['regression: random polyphase 0', [[2, -1], 2, [3, -3, 4, -2, -3, 5, 1]], [6, 11, -4, -3]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 1', [[-2, 4, -1, -1, 1, -3], 4, [3, 0, 1, 0, -1, -2]], [-6, 4]], ['regression: random polyphase 2', [[4, 2, 3, -2, 4], 4, [-2, -4, 3, 0, -1, -2, 3, -1]], [-8, 5]]], [['regression: random polyphase 9', [[1, -2, 2, 3, 1, 0], 3, [5, 2, 1, -3, 4, 0, 0, 1]], [5, 14, 0]], ['regression: random polyphase 10', [[3, -1, 1, 0, -2, 2], 4, [3, -3, 0, -3, 2, 1]], [9, 3]], ['regression: random polyphase 2', [[4, 2, 3, -2, 4], 4, [-2, -4, 3, 0, -1, -2, 3, -1]], [-8, 5]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 4', [[0, -1, 1, -1, 4], 3, [3, 2, 5, 3, -1, 0, -3, 2, -1, -2]], [0, -6, 16, 6]], ['regression: random polyphase 5', [[3, 1, -1, 0, -1], 2, [-3, 5, 4, 1]], [-9, 20]]], [['regression: random polyphase 12', [[-2, 3, 1, -3, 1, 2, 3], 3, [2, 5, 1, 5, -2, -2]], [-4, -8]], ['regression: random polyphase 13', [[1, 4], 2, [-4, 3, -1, 4]], [-4, 11]], ['regression: random polyphase 4', [[0, -1, 1, -1, 4], 3, [3, 2, 5, 3, -1, 0, -3, 2, -1, -2]], [0, -6, 16, 6]], ['control: random polyphase 30', [[-1], 4, [0, -3, 0, -4, 4, 5]], [0, -4]], ['control: random polyphase 48', [[4], 2, [0, 5, 4, 2, 1, -1, 0, -3]], [0, 16, 4, 0]], ['regression: random polyphase 5', [[3, 1, -1, 0, -1], 2, [-3, 5, 4, 1]], [-9, 20]], ['regression: random polyphase 6', [[1, -2, 3, 2, -1], 4, [4, 3, 5, -3, -4, -2]], [4, 19]]]]\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-polyphase-decimator-input-index-lower-bound","generated_at":"2026-09-29T14:51:36.955217+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Polyphase decimators avoid computing discarded outputs; commutator and phase-split slips alias the output.","repair":"Require 0 <= idx < L.","root_cause":"The bounds test only checks idx < L, so negative indices wrap around.","sha256":"740c79ee026ccb4296ccedd00b3f4dccbcfe91861c6b6827e5202424f77d658a","title":"Polyphase decimator reads negative indices from the end of the signal · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.134,"exit_code":1,"observations":[{"actual":[0,5],"check":"regression: length divisible","expected":[1,5],"passed":false},{"actual":[0,2,11],"check":"regression: long filter D=3","expected":[1,6,11],"passed":false},{"actual":[0,0,0],"check":"repair check: impulse through D=2","expected":[1,3,0],"passed":false},{"actual":[0,-4],"check":"control: random polyphase 30","expected":[0,-4],"passed":true},{"actual":[0,16,4,0],"check":"control: random polyphase 48","expected":[0,16,4,0],"passed":true},{"actual":[0,11,-4,-3],"check":"regression: random polyphase 0","expected":[6,11,-4,-3],"passed":false},{"actual":[0,1],"check":"regression: random polyphase 1","expected":[-6,4],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: length divisible\", \"actual\": [0, 5], \"expected\": [1, 5], \"passed\": false}, {\"check\": \"regression: long filter D=3\", \"actual\": [0, 2, 11], \"expected\": [1, 6, 11], \"passed\": false}, {\"check\": \"repair check: impulse through D=2\", \"actual\": [0, 0, 0], \"expected\": [1, 3, 0], \"passed\": false}, {\"check\": \"control: random polyphase 30\", \"actual\": [0, -4], \"expected\": [0, -4], \"passed\": true}, {\"check\": \"control: random polyphase 48\", \"actual\": [0, 16, 4, 0], \"expected\": [0, 16, 4, 0], \"passed\": true}, {\"check\": \"regression: random polyphase 0\", \"actual\": [0, 11, -4, -3], \"expected\": [6, 11, -4, -3], \"passed\": false}, {\"check\": \"regression: random polyphase 1\", \"actual\": [0, 1], \"expected\": [-6, 4], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.428,"exit_code":1,"observations":[{"actual":[5,5],"check":"regression: length divisible","expected":[1,5],"passed":false},{"actual":[17,21,11],"check":"regression: long filter D=3","expected":[1,6,11],"passed":false},{"actual":[1,3,0],"check":"repair check: impulse through D=2","expected":[1,3,0],"passed":true},{"actual":[0,-4],"check":"control: random polyphase 30","expected":[0,-4],"passed":true},{"actual":[0,16,4,0],"check":"control: random polyphase 48","expected":[0,16,4,0],"passed":true},{"actual":[5,11,-4,-3],"check":"regression: random polyphase 0","expected":[6,11,-4,-3],"passed":false},{"actual":[-12,10],"check":"regression: random polyphase 1","expected":[-6,4],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: length divisible\", \"actual\": [5, 5], \"expected\": [1, 5], \"passed\": false}, {\"check\": \"regression: long filter D=3\", \"actual\": [17, 21, 11], \"expected\": [1, 6, 11], \"passed\": false}, {\"check\": \"repair check: impulse through D=2\", \"actual\": [1, 3, 0], \"expected\": [1, 3, 0], \"passed\": true}, {\"check\": \"control: random polyphase 30\", \"actual\": [0, -4], \"expected\": [0, -4], \"passed\": true}, {\"check\": \"control: random polyphase 48\", \"actual\": [0, 16, 4, 0], \"expected\": [0, 16, 4, 0], \"passed\": true}, {\"check\": \"regression: random polyphase 0\", \"actual\": [5, 11, -4, -3], \"expected\": [6, 11, -4, -3], \"passed\": false}, {\"check\": \"regression: random polyphase 1\", \"actual\": [-12, 10], \"expected\": [-6, 4], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.278,"exit_code":0,"observations":[{"actual":[1,5],"check":"regression: length divisible","expected":[1,5],"passed":true},{"actual":[1,6,11],"check":"regression: long filter D=3","expected":[1,6,11],"passed":true},{"actual":[1,3,0],"check":"repair check: impulse through D=2","expected":[1,3,0],"passed":true},{"actual":[0,-4],"check":"control: random polyphase 30","expected":[0,-4],"passed":true},{"actual":[0,16,4,0],"check":"control: random polyphase 48","expected":[0,16,4,0],"passed":true},{"actual":[6,11,-4,-3],"check":"regression: random polyphase 0","expected":[6,11,-4,-3],"passed":true},{"actual":[-6,4],"check":"regression: random polyphase 1","expected":[-6,4],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: length divisible\", \"actual\": [1, 5], \"expected\": [1, 5], \"passed\": true}, {\"check\": \"regression: long filter D=3\", \"actual\": [1, 6, 11], \"expected\": [1, 6, 11], \"passed\": true}, {\"check\": \"repair check: impulse through D=2\", \"actual\": [1, 3, 0], \"expected\": [1, 3, 0], \"passed\": true}, {\"check\": \"control: random polyphase 30\", \"actual\": [0, -4], \"expected\": [0, -4], \"passed\": true}, {\"check\": \"control: random polyphase 48\", \"actual\": [0, 16, 4, 0], \"expected\": [0, 16, 4, 0], \"passed\": true}, {\"check\": \"regression: random polyphase 0\", \"actual\": [6, 11, -4, -3], \"expected\": [6, 11, -4, -3], \"passed\": true}, {\"check\": \"regression: random polyphase 1\", \"actual\": [-6, 4], \"expected\": [-6, 4], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}