{"abstract":"The \"highpass\" blocks high frequencies and passes DC.","category":"Digital signal filters","checks":7,"contract":"Input [kind, wc, fs] with rational analog cutoff wc (rad/s) and sample rate fs. Map H(s) = wc/(s+wc) (lowpass) or s/(s+wc) (highpass) with s = K (1 - z^-1)/(1 + z^-1), K = 2 fs, no prewarping. Return {\"b\": [b0, b1], \"a\": [1, a1]} as fraction strings normalized so a0 = 1, or \"bad-spec\".","contract_signature":"x","evaluation_group":"w2-digital_signal_filters-bilinear-first-order","failed_approach":"The attempted repair uses -wc/d for b1, which does not place the zero at DC.","family":"w2-digital_signal_filters-bilinear-first-order-highpass-zero-sign","id":"FA-91711","implementations":{"attempt":{"sha256":"9be1288d7605b43f64213fb4d3c01b7cc90b261794edb5a352d9daabbcb823f3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    kind, wc, fs = x[0], Fraction(x[1]), Fraction(x[2])\n    if wc <= 0 or fs <= 0:\n        return 'bad-spec'\n    K = 2 * fs\n    d = K + wc\n    if kind == 'lowpass':\n        b = [wc / d, wc / d]\n    else:\n        b = [K / d, -wc / d]\n    a = [Fraction(1), (wc - K) / d]\n    return {'b': [str(v) for v in b], 'a': [str(v) for v in a]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: highpass wc=100 fs=1000', ['highpass', '100', '1000'], {'b': ['20/21', '-20/21'], 'a': ['1', '-19/21']}], ['regression: highpass wc=1 fs=1', ['highpass', '1', '1'], {'b': ['2/3', '-2/3'], 'a': ['1', '-1/3']}], ['regression: highpass wc=3 fs=1/2', ['highpass', '3', '1/2'], {'b': ['1/4', '-1/4'], 'a': ['1', '1/2']}], ['control: lowpass wc=100 fs=1000', ['lowpass', '100', '1000'], {'b': ['1/21', '1/21'], 'a': ['1', '-19/21']}], ['control: lowpass wc=1 fs=1', ['lowpass', '1', '1'], {'b': ['1/3', '1/3'], 'a': ['1', '-1/3']}], ['control: lowpass wc=3 fs=1/2', ['lowpass', '3', '1/2'], {'b': ['3/4', '3/4'], 'a': ['1', '1/2']}], ['control: lowpass wc=2000 fs=48000', ['lowpass', '2000', '48000'], {'b': ['1/49', '1/49'], 'a': ['1', '-47/49']}]], [['regression: highpass wc=2000 fs=48000', ['highpass', '2000', '48000'], {'b': ['48/49', '-48/49'], 'a': ['1', '-47/49']}], ['regression: highpass wc=1/2 fs=2', ['highpass', '1/2', '2'], {'b': ['8/9', '-8/9'], 'a': ['1', '-7/9']}], ['regression: highpass wc=3 fs=1/2', ['highpass', '3', '1/2'], {'b': ['1/4', '-1/4'], 'a': ['1', '1/2']}], ['control: lowpass wc=1/2 fs=2', ['lowpass', '1/2', '2'], {'b': ['1/9', '1/9'], 'a': ['1', '-7/9']}], ['control: bad spec', ['lowpass', '0', '1'], 'bad-spec'], ['control: lowpass wc=100 fs=1000', ['lowpass', '100', '1000'], {'b': ['1/21', '1/21'], 'a': ['1', '-19/21']}], ['control: lowpass wc=1 fs=1', ['lowpass', '1', '1'], {'b': ['1/3', '1/3'], 'a': ['1', '-1/3']}]], [['regression: highpass wc=1 fs=1', ['highpass', '1', '1'], {'b': ['2/3', '-2/3'], 'a': ['1', '-1/3']}], ['regression: highpass wc=3 fs=1/2', ['highpass', '3', '1/2'], {'b': ['1/4', '-1/4'], 'a': ['1', '1/2']}], ['regression: highpass wc=1/2 fs=2', ['highpass', '1/2', '2'], {'b': ['8/9', '-8/9'], 'a': ['1', '-7/9']}], ['control: lowpass wc=3 fs=1/2', ['lowpass', '3', '1/2'], {'b': ['3/4', '3/4'], 'a': ['1', '1/2']}], ['control: lowpass wc=2000 fs=48000', ['lowpass', '2000', '48000'], {'b': ['1/49', '1/49'], 'a': ['1', '-47/49']}], ['control: lowpass wc=1/2 fs=2', ['lowpass', '1/2', '2'], {'b': ['1/9', '1/9'], 'a': ['1', '-7/9']}], ['control: bad spec', ['lowpass', '0', '1'], 'bad-spec']], [['regression: highpass wc=1/2 fs=2', ['highpass', '1/2', '2'], {'b': ['8/9', '-8/9'], 'a': ['1', '-7/9']}], ['regression: highpass wc=100 fs=1000', ['highpass', '100', '1000'], {'b': ['20/21', '-20/21'], 'a': ['1', '-19/21']}], ['regression: highpass wc=1 fs=1', ['highpass', '1', '1'], {'b': ['2/3', '-2/3'], 'a': ['1', '-1/3']}], ['control: lowpass wc=100 fs=1000', ['lowpass', '100', '1000'], {'b': ['1/21', '1/21'], 'a': ['1', '-19/21']}], ['control: lowpass wc=1 fs=1', ['lowpass', '1', '1'], {'b': ['1/3', '1/3'], 'a': ['1', '-1/3']}], ['control: lowpass wc=3 fs=1/2', ['lowpass', '3', '1/2'], {'b': ['3/4', '3/4'], 'a': ['1', '1/2']}], ['control: lowpass wc=2000 fs=48000', ['lowpass', '2000', '48000'], {'b': ['1/49', '1/49'], 'a': ['1', '-47/49']}]], [['regression: highpass wc=3 fs=1/2', ['highpass', '3', '1/2'], {'b': ['1/4', '-1/4'], 'a': ['1', '1/2']}], ['regression: highpass wc=2000 fs=48000', ['highpass', '2000', '48000'], {'b': ['48/49', '-48/49'], 'a': ['1', '-47/49']}], ['regression: highpass wc=1/2 fs=2', ['highpass', '1/2', '2'], {'b': ['8/9', '-8/9'], 'a': ['1', '-7/9']}], ['control: lowpass wc=1/2 fs=2', ['lowpass', '1/2', '2'], {'b': ['1/9', '1/9'], 'a': ['1', '-7/9']}], ['control: bad spec', ['lowpass', '0', '1'], 'bad-spec'], ['control: lowpass wc=100 fs=1000', ['lowpass', '100', '1000'], {'b': ['1/21', '1/21'], 'a': ['1', '-19/21']}], ['control: lowpass wc=1 fs=1', ['lowpass', '1', '1'], {'b': ['1/3', '1/3'], 'a': ['1', '-1/3']}]]]\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":"ddb2212213089ebab11795fffeeab1bcf6585122f424c9302299bc6148eaa2f4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    kind, wc, fs = x[0], Fraction(x[1]), Fraction(x[2])\n    if wc <= 0 or fs <= 0:\n        return 'bad-spec'\n    K = 2 * fs\n    d = K + wc\n    if kind == 'lowpass':\n        b = [wc / d, wc / d]\n    else:\n        b = [K / d, K / d]\n    a = [Fraction(1), (wc - K) / d]\n    return {'b': [str(v) for v in b], 'a': [str(v) for v in a]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: highpass wc=100 fs=1000', ['highpass', '100', '1000'], {'b': ['20/21', '-20/21'], 'a': ['1', '-19/21']}], ['regression: highpass wc=1 fs=1', ['highpass', '1', '1'], {'b': ['2/3', '-2/3'], 'a': ['1', '-1/3']}], ['regression: highpass wc=3 fs=1/2', ['highpass', '3', '1/2'], {'b': ['1/4', '-1/4'], 'a': ['1', '1/2']}], ['control: lowpass wc=100 fs=1000', ['lowpass', '100', '1000'], {'b': ['1/21', '1/21'], 'a': ['1', '-19/21']}], ['control: lowpass wc=1 fs=1', ['lowpass', '1', '1'], {'b': ['1/3', '1/3'], 'a': ['1', '-1/3']}], ['control: lowpass wc=3 fs=1/2', ['lowpass', '3', '1/2'], {'b': ['3/4', '3/4'], 'a': ['1', '1/2']}], ['control: lowpass wc=2000 fs=48000', ['lowpass', '2000', '48000'], {'b': ['1/49', '1/49'], 'a': ['1', '-47/49']}]], [['regression: highpass wc=2000 fs=48000', ['highpass', '2000', '48000'], {'b': ['48/49', '-48/49'], 'a': ['1', '-47/49']}], ['regression: highpass wc=1/2 fs=2', ['highpass', '1/2', '2'], {'b': ['8/9', '-8/9'], 'a': ['1', '-7/9']}], ['regression: highpass wc=3 fs=1/2', ['highpass', '3', '1/2'], {'b': ['1/4', '-1/4'], 'a': ['1', '1/2']}], ['control: lowpass wc=1/2 fs=2', ['lowpass', '1/2', '2'], {'b': ['1/9', '1/9'], 'a': ['1', '-7/9']}], ['control: bad spec', ['lowpass', '0', '1'], 'bad-spec'], ['control: lowpass wc=100 fs=1000', ['lowpass', '100', '1000'], {'b': ['1/21', '1/21'], 'a': ['1', '-19/21']}], ['control: lowpass wc=1 fs=1', ['lowpass', '1', '1'], {'b': ['1/3', '1/3'], 'a': ['1', '-1/3']}]], [['regression: highpass wc=1 fs=1', ['highpass', '1', '1'], {'b': ['2/3', '-2/3'], 'a': ['1', '-1/3']}], ['regression: highpass wc=3 fs=1/2', ['highpass', '3', '1/2'], {'b': ['1/4', '-1/4'], 'a': ['1', '1/2']}], ['regression: highpass wc=1/2 fs=2', ['highpass', '1/2', '2'], {'b': ['8/9', '-8/9'], 'a': ['1', '-7/9']}], ['control: lowpass wc=3 fs=1/2', ['lowpass', '3', '1/2'], {'b': ['3/4', '3/4'], 'a': ['1', '1/2']}], ['control: lowpass wc=2000 fs=48000', ['lowpass', '2000', '48000'], {'b': ['1/49', '1/49'], 'a': ['1', '-47/49']}], ['control: lowpass wc=1/2 fs=2', ['lowpass', '1/2', '2'], {'b': ['1/9', '1/9'], 'a': ['1', '-7/9']}], ['control: bad spec', ['lowpass', '0', '1'], 'bad-spec']], [['regression: highpass wc=1/2 fs=2', ['highpass', '1/2', '2'], {'b': ['8/9', '-8/9'], 'a': ['1', '-7/9']}], ['regression: highpass wc=100 fs=1000', ['highpass', '100', '1000'], {'b': ['20/21', '-20/21'], 'a': ['1', '-19/21']}], ['regression: highpass wc=1 fs=1', ['highpass', '1', '1'], {'b': ['2/3', '-2/3'], 'a': ['1', '-1/3']}], ['control: lowpass wc=100 fs=1000', ['lowpass', '100', '1000'], {'b': ['1/21', '1/21'], 'a': ['1', '-19/21']}], ['control: lowpass wc=1 fs=1', ['lowpass', '1', '1'], {'b': ['1/3', '1/3'], 'a': ['1', '-1/3']}], ['control: lowpass wc=3 fs=1/2', ['lowpass', '3', '1/2'], {'b': ['3/4', '3/4'], 'a': ['1', '1/2']}], ['control: lowpass wc=2000 fs=48000', ['lowpass', '2000', '48000'], {'b': ['1/49', '1/49'], 'a': ['1', '-47/49']}]], [['regression: highpass wc=3 fs=1/2', ['highpass', '3', '1/2'], {'b': ['1/4', '-1/4'], 'a': ['1', '1/2']}], ['regression: highpass wc=2000 fs=48000', ['highpass', '2000', '48000'], {'b': ['48/49', '-48/49'], 'a': ['1', '-47/49']}], ['regression: highpass wc=1/2 fs=2', ['highpass', '1/2', '2'], {'b': ['8/9', '-8/9'], 'a': ['1', '-7/9']}], ['control: lowpass wc=1/2 fs=2', ['lowpass', '1/2', '2'], {'b': ['1/9', '1/9'], 'a': ['1', '-7/9']}], ['control: bad spec', ['lowpass', '0', '1'], 'bad-spec'], ['control: lowpass wc=100 fs=1000', ['lowpass', '100', '1000'], {'b': ['1/21', '1/21'], 'a': ['1', '-19/21']}], ['control: lowpass wc=1 fs=1', ['lowpass', '1', '1'], {'b': ['1/3', '1/3'], 'a': ['1', '-1/3']}]]]\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-bilinear-first-order-highpass-zero-sign","generated_at":"2026-09-29T14:51:38.677478+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"The bilinear transform is the standard analog-to-digital mapping; K or sign slips move the cutoff or flip the filter type.","root_cause":"b1 is +K/(K+wc), giving a zero at z = -1 instead of z = 1.","sha256":"d7fc9441a40fc306cf3d82286ed1311f8c453b1302621c54642be89f08c15115","title":"Bilinear highpass places its zero at Nyquist · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":42.631,"exit_code":1,"observations":[{"actual":{"a":["1","-19/21"],"b":["20/21","-1/21"]},"check":"regression: highpass wc=100 fs=1000","expected":{"a":["1","-19/21"],"b":["20/21","-20/21"]},"passed":false},{"actual":{"a":["1","-1/3"],"b":["2/3","-1/3"]},"check":"regression: highpass wc=1 fs=1","expected":{"a":["1","-1/3"],"b":["2/3","-2/3"]},"passed":false},{"actual":{"a":["1","1/2"],"b":["1/4","-3/4"]},"check":"regression: highpass wc=3 fs=1/2","expected":{"a":["1","1/2"],"b":["1/4","-1/4"]},"passed":false},{"actual":{"a":["1","-19/21"],"b":["1/21","1/21"]},"check":"control: lowpass wc=100 fs=1000","expected":{"a":["1","-19/21"],"b":["1/21","1/21"]},"passed":true},{"actual":{"a":["1","-1/3"],"b":["1/3","1/3"]},"check":"control: lowpass wc=1 fs=1","expected":{"a":["1","-1/3"],"b":["1/3","1/3"]},"passed":true},{"actual":{"a":["1","1/2"],"b":["3/4","3/4"]},"check":"control: lowpass wc=3 fs=1/2","expected":{"a":["1","1/2"],"b":["3/4","3/4"]},"passed":true},{"actual":{"a":["1","-47/49"],"b":["1/49","1/49"]},"check":"control: lowpass wc=2000 fs=48000","expected":{"a":["1","-47/49"],"b":["1/49","1/49"]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: highpass wc=100 fs=1000\", \"actual\": {\"b\": [\"20/21\", \"-1/21\"], \"a\": [\"1\", \"-19/21\"]}, \"expected\": {\"b\": [\"20/21\", \"-20/21\"], \"a\": [\"1\", \"-19/21\"]}, \"passed\": false}, {\"check\": \"regression: highpass wc=1 fs=1\", \"actual\": {\"b\": [\"2/3\", \"-1/3\"], \"a\": [\"1\", \"-1/3\"]}, \"expected\": {\"b\": [\"2/3\", \"-2/3\"], \"a\": [\"1\", \"-1/3\"]}, \"passed\": false}, {\"check\": \"regression: highpass wc=3 fs=1/2\", \"actual\": {\"b\": [\"1/4\", \"-3/4\"], \"a\": [\"1\", \"1/2\"]}, \"expected\": {\"b\": [\"1/4\", \"-1/4\"], \"a\": [\"1\", \"1/2\"]}, \"passed\": false}, {\"check\": \"control: lowpass wc=100 fs=1000\", \"actual\": {\"b\": [\"1/21\", \"1/21\"], \"a\": [\"1\", \"-19/21\"]}, \"expected\": {\"b\": [\"1/21\", \"1/21\"], \"a\": [\"1\", \"-19/21\"]}, \"passed\": true}, {\"check\": \"control: lowpass wc=1 fs=1\", \"actual\": {\"b\": [\"1/3\", \"1/3\"], \"a\": [\"1\", \"-1/3\"]}, \"expected\": {\"b\": [\"1/3\", \"1/3\"], \"a\": [\"1\", \"-1/3\"]}, \"passed\": true}, {\"check\": \"control: lowpass wc=3 fs=1/2\", \"actual\": {\"b\": [\"3/4\", \"3/4\"], \"a\": [\"1\", \"1/2\"]}, \"expected\": {\"b\": [\"3/4\", \"3/4\"], \"a\": [\"1\", \"1/2\"]}, \"passed\": true}, {\"check\": \"control: lowpass wc=2000 fs=48000\", \"actual\": {\"b\": [\"1/49\", \"1/49\"], \"a\": [\"1\", \"-47/49\"]}, \"expected\": {\"b\": [\"1/49\", \"1/49\"], \"a\": [\"1\", \"-47/49\"]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.694,"exit_code":1,"observations":[{"actual":{"a":["1","-19/21"],"b":["20/21","20/21"]},"check":"regression: highpass wc=100 fs=1000","expected":{"a":["1","-19/21"],"b":["20/21","-20/21"]},"passed":false},{"actual":{"a":["1","-1/3"],"b":["2/3","2/3"]},"check":"regression: highpass wc=1 fs=1","expected":{"a":["1","-1/3"],"b":["2/3","-2/3"]},"passed":false},{"actual":{"a":["1","1/2"],"b":["1/4","1/4"]},"check":"regression: highpass wc=3 fs=1/2","expected":{"a":["1","1/2"],"b":["1/4","-1/4"]},"passed":false},{"actual":{"a":["1","-19/21"],"b":["1/21","1/21"]},"check":"control: lowpass wc=100 fs=1000","expected":{"a":["1","-19/21"],"b":["1/21","1/21"]},"passed":true},{"actual":{"a":["1","-1/3"],"b":["1/3","1/3"]},"check":"control: lowpass wc=1 fs=1","expected":{"a":["1","-1/3"],"b":["1/3","1/3"]},"passed":true},{"actual":{"a":["1","1/2"],"b":["3/4","3/4"]},"check":"control: lowpass wc=3 fs=1/2","expected":{"a":["1","1/2"],"b":["3/4","3/4"]},"passed":true},{"actual":{"a":["1","-47/49"],"b":["1/49","1/49"]},"check":"control: lowpass wc=2000 fs=48000","expected":{"a":["1","-47/49"],"b":["1/49","1/49"]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: highpass wc=100 fs=1000\", \"actual\": {\"b\": [\"20/21\", \"20/21\"], \"a\": [\"1\", \"-19/21\"]}, \"expected\": {\"b\": [\"20/21\", \"-20/21\"], \"a\": [\"1\", \"-19/21\"]}, \"passed\": false}, {\"check\": \"regression: highpass wc=1 fs=1\", \"actual\": {\"b\": [\"2/3\", \"2/3\"], \"a\": [\"1\", \"-1/3\"]}, \"expected\": {\"b\": [\"2/3\", \"-2/3\"], \"a\": [\"1\", \"-1/3\"]}, \"passed\": false}, {\"check\": \"regression: highpass wc=3 fs=1/2\", \"actual\": {\"b\": [\"1/4\", \"1/4\"], \"a\": [\"1\", \"1/2\"]}, \"expected\": {\"b\": [\"1/4\", \"-1/4\"], \"a\": [\"1\", \"1/2\"]}, \"passed\": false}, {\"check\": \"control: lowpass wc=100 fs=1000\", \"actual\": {\"b\": [\"1/21\", \"1/21\"], \"a\": [\"1\", \"-19/21\"]}, \"expected\": {\"b\": [\"1/21\", \"1/21\"], \"a\": [\"1\", \"-19/21\"]}, \"passed\": true}, {\"check\": \"control: lowpass wc=1 fs=1\", \"actual\": {\"b\": [\"1/3\", \"1/3\"], \"a\": [\"1\", \"-1/3\"]}, \"expected\": {\"b\": [\"1/3\", \"1/3\"], \"a\": [\"1\", \"-1/3\"]}, \"passed\": true}, {\"check\": \"control: lowpass wc=3 fs=1/2\", \"actual\": {\"b\": [\"3/4\", \"3/4\"], \"a\": [\"1\", \"1/2\"]}, \"expected\": {\"b\": [\"3/4\", \"3/4\"], \"a\": [\"1\", \"1/2\"]}, \"passed\": true}, {\"check\": \"control: lowpass wc=2000 fs=48000\", \"actual\": {\"b\": [\"1/49\", \"1/49\"], \"a\": [\"1\", \"-47/49\"]}, \"expected\": {\"b\": [\"1/49\", \"1/49\"], \"a\": [\"1\", \"-47/49\"]}, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}