{"abstract":"Tax-table amounts are systematically a few dollars low.","category":"Tax bracket computation","checks":7,"contract":"solve(income, brackets): stipulated tax-table lookup. income < 0 returns 0 and incomes below 5 have zero tax. For income < 100000 the tax is the progressive tax on the midpoint of the income's band, rounded half-up to whole dollars: bands are 25 wide below 3000 ([0,25), [25,50), ...) and 50 wide from 3000 ([3000,3050), ...). Incomes of 100000 or more use the exact progressive tax rounded half-up to cents. Return integer cents.","evaluation_group":"w2-tax_bracket_computation-tax-table-midpoint-bands","failed_approach":"Hard-coding the 25-dollar half-width of the wide bands puts narrow-band midpoints at their upper edge.","family":"w2-tax_bracket_computation-tax-table-midpoint-bands-band-midpoint","id":"FA-62511","implementations":{"attempt":{"sha256":"b6fac88566c7c0039def5510e0ac3ed3dad46673f4f5762dc9c8a5aa2f7ba799","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(income, brackets):\n    def prog(x, br):\n        tax, lower = Fraction(0), 0\n        for upper, rate in br:\n            top = x if upper is None else min(x, upper)\n            if top > lower: tax += (top - lower) * Fraction(rate) / 100\n            if upper is None or x <= upper: break\n            lower = upper\n        return tax\n    def cents(v):\n        v = v * 100\n        return int(v + Fraction(1, 2)) if v >= 0 else -int(-v + Fraction(1, 2))\n    \n    if income < 5: return 0\n    if income >= 100000: return cents(prog(income, brackets))\n    w = 25 if income < 3000 else 50\n    lo = income // w * w\n    mid = lo + 25\n    return int(prog(mid, brackets) + Fraction(1, 2)) * 100\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression band-midpoint 1', (12345, [[10000, '10'], [40000, '12'], [None, '22']]), 127900),\n  ('regression band-midpoint 2', (2999, [[10000, '10'], [40000, '12'], [None, '22']]), 29900),\n  ('partial repair guard 2', (24, [[None, '10']]), 100),\n  ('control: first wide band', (3000, [[10000, '10'], [40000, '12'], [None, '22']]), 30300),\n  ('control: table cutoff', (100000, [[10000, '10'], [40000, '12'], [None, '22']]), 1780000),\n  ('control: tiny', (4, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: small', (24, [[10000, '10'], [40000, '12'], [None, '22']]), 100)],\n [('regression band-midpoint 1', (24, [[None, '10']]), 100),\n  ('regression band-midpoint 2', (3000, [[10000, '10'], [40000, '12'], [None, '22']]), 30300),\n  ('partial repair guard 1', (24, [[10000, '10'], [40000, '12'], [None, '22']]), 100),\n  ('partial repair guard 2', (576, [[10000, '10'], [40000, '12'], [None, '22']]), 5900),\n  ('control: table cutoff', (100000, [[10000, '10'], [40000, '12'], [None, '22']]), 1780000),\n  ('control: tiny', (4, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: just under cutoff', (99999, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1739400),\n  ('control: above cutoff', (100001, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1740024)],\n [('regression band-midpoint 1', (24, [[10000, '10'], [40000, '12'], [None, '22']]), 100),\n  ('regression band-midpoint 2', (99999, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1739400),\n  ('partial repair guard 1', (603, [[10000, '10'], [40000, '12'], [None, '22']]), 6100),\n  ('partial repair guard 2', (5, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), 100),\n  ('control: above cutoff', (100001, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1740024),\n  ('control: band edge', (40050, [[10000, '10'], [40000, '12'], [None, '22']]), 461700),\n  ('control: last narrow band', (2999, [[10000, '10'], [40000, '12'], [None, '22']]), 29900),\n  ('control: first wide band', (3000, [[10000, '10'], [40000, '12'], [None, '22']]), 30300)],\n [('regression band-midpoint 1', (40050, [[10000, '10'], [40000, '12'], [None, '22']]), 461700),\n  ('regression band-midpoint 2', (61548, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   884300),\n  ('partial repair guard 1', (2999, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   29900),\n  ('partial repair guard 2', (1821, [[10000, '10'], [40000, '12'], [None, '22']]), 18100),\n  ('control: last narrow band', (2999, [[10000, '10'], [40000, '12'], [None, '22']]), 29900),\n  ('control: first wide band', (3000, [[10000, '10'], [40000, '12'], [None, '22']]), 30300),\n  ('control: ordinary', (12345, [[10000, '10'], [40000, '12'], [None, '22']]), 127900),\n  ('control: table cutoff', (100000, [[10000, '10'], [40000, '12'], [None, '22']]), 1780000)],\n [('regression band-midpoint 1', (576, [[10000, '10'], [40000, '12'], [None, '22']]), 5900),\n  ('regression band-midpoint 2', (603, [[10000, '10'], [40000, '12'], [None, '22']]), 6100),\n  ('partial repair guard 1', (1428, [[10000, '10'], [40000, '12'], [None, '22']]), 14400),\n  ('partial repair guard 2', (12, [[10000, '10'], [40000, '12'], [None, '22']]), 100),\n  ('control: table cutoff', (100000, [[10000, '10'], [40000, '12'], [None, '22']]), 1780000),\n  ('control: tiny', (4, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: small', (24, [[10000, '10'], [40000, '12'], [None, '22']]), 100),\n  ('control: just under cutoff', (99999, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1739400)]]\nfor label, args, expected in cases[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":"8a61c33e5ac81e52165cbb01bc8b0e8eaa41b560425fca7a187583a07f2ab85e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(income, brackets):\n    def prog(x, br):\n        tax, lower = Fraction(0), 0\n        for upper, rate in br:\n            top = x if upper is None else min(x, upper)\n            if top > lower: tax += (top - lower) * Fraction(rate) / 100\n            if upper is None or x <= upper: break\n            lower = upper\n        return tax\n    def cents(v):\n        v = v * 100\n        return int(v + Fraction(1, 2)) if v >= 0 else -int(-v + Fraction(1, 2))\n    \n    if income < 5: return 0\n    if income >= 100000: return cents(prog(income, brackets))\n    w = 25 if income < 3000 else 50\n    lo = income // w * w\n    mid = lo\n    return int(prog(mid, brackets) + Fraction(1, 2)) * 100\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression band-midpoint 1', (12345, [[10000, '10'], [40000, '12'], [None, '22']]), 127900),\n  ('regression band-midpoint 2', (2999, [[10000, '10'], [40000, '12'], [None, '22']]), 29900),\n  ('partial repair guard 2', (24, [[None, '10']]), 100),\n  ('control: first wide band', (3000, [[10000, '10'], [40000, '12'], [None, '22']]), 30300),\n  ('control: table cutoff', (100000, [[10000, '10'], [40000, '12'], [None, '22']]), 1780000),\n  ('control: tiny', (4, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: small', (24, [[10000, '10'], [40000, '12'], [None, '22']]), 100)],\n [('regression band-midpoint 1', (24, [[None, '10']]), 100),\n  ('regression band-midpoint 2', (3000, [[10000, '10'], [40000, '12'], [None, '22']]), 30300),\n  ('partial repair guard 1', (24, [[10000, '10'], [40000, '12'], [None, '22']]), 100),\n  ('partial repair guard 2', (576, [[10000, '10'], [40000, '12'], [None, '22']]), 5900),\n  ('control: table cutoff', (100000, [[10000, '10'], [40000, '12'], [None, '22']]), 1780000),\n  ('control: tiny', (4, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: just under cutoff', (99999, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1739400),\n  ('control: above cutoff', (100001, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1740024)],\n [('regression band-midpoint 1', (24, [[10000, '10'], [40000, '12'], [None, '22']]), 100),\n  ('regression band-midpoint 2', (99999, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1739400),\n  ('partial repair guard 1', (603, [[10000, '10'], [40000, '12'], [None, '22']]), 6100),\n  ('partial repair guard 2', (5, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), 100),\n  ('control: above cutoff', (100001, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1740024),\n  ('control: band edge', (40050, [[10000, '10'], [40000, '12'], [None, '22']]), 461700),\n  ('control: last narrow band', (2999, [[10000, '10'], [40000, '12'], [None, '22']]), 29900),\n  ('control: first wide band', (3000, [[10000, '10'], [40000, '12'], [None, '22']]), 30300)],\n [('regression band-midpoint 1', (40050, [[10000, '10'], [40000, '12'], [None, '22']]), 461700),\n  ('regression band-midpoint 2', (61548, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   884300),\n  ('partial repair guard 1', (2999, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   29900),\n  ('partial repair guard 2', (1821, [[10000, '10'], [40000, '12'], [None, '22']]), 18100),\n  ('control: last narrow band', (2999, [[10000, '10'], [40000, '12'], [None, '22']]), 29900),\n  ('control: first wide band', (3000, [[10000, '10'], [40000, '12'], [None, '22']]), 30300),\n  ('control: ordinary', (12345, [[10000, '10'], [40000, '12'], [None, '22']]), 127900),\n  ('control: table cutoff', (100000, [[10000, '10'], [40000, '12'], [None, '22']]), 1780000)],\n [('regression band-midpoint 1', (576, [[10000, '10'], [40000, '12'], [None, '22']]), 5900),\n  ('regression band-midpoint 2', (603, [[10000, '10'], [40000, '12'], [None, '22']]), 6100),\n  ('partial repair guard 1', (1428, [[10000, '10'], [40000, '12'], [None, '22']]), 14400),\n  ('partial repair guard 2', (12, [[10000, '10'], [40000, '12'], [None, '22']]), 100),\n  ('control: table cutoff', (100000, [[10000, '10'], [40000, '12'], [None, '22']]), 1780000),\n  ('control: tiny', (4, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: small', (24, [[10000, '10'], [40000, '12'], [None, '22']]), 100),\n  ('control: just under cutoff', (99999, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1739400)]]\nfor label, args, expected in cases[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":"8d0169ed1045b6fc67fb727890a10d7b7c0d364dd027891646ce182516c34929","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(income, brackets):\n    def prog(x, br):\n        tax, lower = Fraction(0), 0\n        for upper, rate in br:\n            top = x if upper is None else min(x, upper)\n            if top > lower: tax += (top - lower) * Fraction(rate) / 100\n            if upper is None or x <= upper: break\n            lower = upper\n        return tax\n    def cents(v):\n        v = v * 100\n        return int(v + Fraction(1, 2)) if v >= 0 else -int(-v + Fraction(1, 2))\n    \n    if income < 5: return 0\n    if income >= 100000: return cents(prog(income, brackets))\n    w = 25 if income < 3000 else 50\n    lo = income // w * w\n    mid = lo + Fraction(w, 2)\n    return int(prog(mid, brackets) + Fraction(1, 2)) * 100\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression band-midpoint 1', (12345, [[10000, '10'], [40000, '12'], [None, '22']]), 127900),\n  ('regression band-midpoint 2', (2999, [[10000, '10'], [40000, '12'], [None, '22']]), 29900),\n  ('partial repair guard 2', (24, [[None, '10']]), 100),\n  ('control: first wide band', (3000, [[10000, '10'], [40000, '12'], [None, '22']]), 30300),\n  ('control: table cutoff', (100000, [[10000, '10'], [40000, '12'], [None, '22']]), 1780000),\n  ('control: tiny', (4, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: small', (24, [[10000, '10'], [40000, '12'], [None, '22']]), 100)],\n [('regression band-midpoint 1', (24, [[None, '10']]), 100),\n  ('regression band-midpoint 2', (3000, [[10000, '10'], [40000, '12'], [None, '22']]), 30300),\n  ('partial repair guard 1', (24, [[10000, '10'], [40000, '12'], [None, '22']]), 100),\n  ('partial repair guard 2', (576, [[10000, '10'], [40000, '12'], [None, '22']]), 5900),\n  ('control: table cutoff', (100000, [[10000, '10'], [40000, '12'], [None, '22']]), 1780000),\n  ('control: tiny', (4, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: just under cutoff', (99999, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1739400),\n  ('control: above cutoff', (100001, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1740024)],\n [('regression band-midpoint 1', (24, [[10000, '10'], [40000, '12'], [None, '22']]), 100),\n  ('regression band-midpoint 2', (99999, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1739400),\n  ('partial repair guard 1', (603, [[10000, '10'], [40000, '12'], [None, '22']]), 6100),\n  ('partial repair guard 2', (5, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]), 100),\n  ('control: above cutoff', (100001, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1740024),\n  ('control: band edge', (40050, [[10000, '10'], [40000, '12'], [None, '22']]), 461700),\n  ('control: last narrow band', (2999, [[10000, '10'], [40000, '12'], [None, '22']]), 29900),\n  ('control: first wide band', (3000, [[10000, '10'], [40000, '12'], [None, '22']]), 30300)],\n [('regression band-midpoint 1', (40050, [[10000, '10'], [40000, '12'], [None, '22']]), 461700),\n  ('regression band-midpoint 2', (61548, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   884300),\n  ('partial repair guard 1', (2999, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   29900),\n  ('partial repair guard 2', (1821, [[10000, '10'], [40000, '12'], [None, '22']]), 18100),\n  ('control: last narrow band', (2999, [[10000, '10'], [40000, '12'], [None, '22']]), 29900),\n  ('control: first wide band', (3000, [[10000, '10'], [40000, '12'], [None, '22']]), 30300),\n  ('control: ordinary', (12345, [[10000, '10'], [40000, '12'], [None, '22']]), 127900),\n  ('control: table cutoff', (100000, [[10000, '10'], [40000, '12'], [None, '22']]), 1780000)],\n [('regression band-midpoint 1', (576, [[10000, '10'], [40000, '12'], [None, '22']]), 5900),\n  ('regression band-midpoint 2', (603, [[10000, '10'], [40000, '12'], [None, '22']]), 6100),\n  ('partial repair guard 1', (1428, [[10000, '10'], [40000, '12'], [None, '22']]), 14400),\n  ('partial repair guard 2', (12, [[10000, '10'], [40000, '12'], [None, '22']]), 100),\n  ('control: table cutoff', (100000, [[10000, '10'], [40000, '12'], [None, '22']]), 1780000),\n  ('control: tiny', (4, [[10000, '10'], [40000, '12'], [None, '22']]), 0),\n  ('control: small', (24, [[10000, '10'], [40000, '12'], [None, '22']]), 100),\n  ('control: just under cutoff', (99999, [[11000, '10'], [44725, '12'], [95375, '22'], [182100, '24'], [None, '32.5']]),\n   1739400)]]\nfor label, args, expected in cases[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; it makes no claim of conformance to any real regulation, standard, or institution's rules. 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-tax_bracket_computation-tax-table-midpoint-bands-band-midpoint","generated_at":"2026-09-29T14:47:05.307292+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Tax computations hinge on which slice, threshold, ordering and rounding rule applies at each step; a misplaced boundary silently misstates liabilities.","repair":"Tax the band midpoint lo + width/2.","root_cause":"The band's lower edge is taxed instead of its midpoint.","sha256":"9efc4aa2212d4078032e68f54e9aa3d71cd1bd88dd48f889389ea3ab8851cbb2","title":"The tax table uses the bottom of each band instead of its midpoint · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.956,"exit_code":1,"observations":[{"actual":127900,"check":"regression band-midpoint 1","expected":127900,"passed":true},{"actual":30000,"check":"regression band-midpoint 2","expected":29900,"passed":false},{"actual":300,"check":"partial repair guard 2","expected":100,"passed":false},{"actual":30300,"check":"control: first wide band","expected":30300,"passed":true},{"actual":1780000,"check":"control: table cutoff","expected":1780000,"passed":true},{"actual":0,"check":"control: tiny","expected":0,"passed":true},{"actual":300,"check":"control: small","expected":100,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression band-midpoint 1\", \"actual\": 127900, \"expected\": 127900, \"passed\": true}, {\"check\": \"regression band-midpoint 2\", \"actual\": 30000, \"expected\": 29900, \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": 300, \"expected\": 100, \"passed\": false}, {\"check\": \"control: first wide band\", \"actual\": 30300, \"expected\": 30300, \"passed\": true}, {\"check\": \"control: table cutoff\", \"actual\": 1780000, \"expected\": 1780000, \"passed\": true}, {\"check\": \"control: tiny\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"control: small\", \"actual\": 300, \"expected\": 100, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.361,"exit_code":1,"observations":[{"actual":127600,"check":"regression band-midpoint 1","expected":127900,"passed":false},{"actual":29800,"check":"regression band-midpoint 2","expected":29900,"passed":false},{"actual":0,"check":"partial repair guard 2","expected":100,"passed":false},{"actual":30000,"check":"control: first wide band","expected":30300,"passed":false},{"actual":1780000,"check":"control: table cutoff","expected":1780000,"passed":true},{"actual":0,"check":"control: tiny","expected":0,"passed":true},{"actual":0,"check":"control: small","expected":100,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression band-midpoint 1\", \"actual\": 127600, \"expected\": 127900, \"passed\": false}, {\"check\": \"regression band-midpoint 2\", \"actual\": 29800, \"expected\": 29900, \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": 0, \"expected\": 100, \"passed\": false}, {\"check\": \"control: first wide band\", \"actual\": 30000, \"expected\": 30300, \"passed\": false}, {\"check\": \"control: table cutoff\", \"actual\": 1780000, \"expected\": 1780000, \"passed\": true}, {\"check\": \"control: tiny\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"control: small\", \"actual\": 0, \"expected\": 100, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.606,"exit_code":0,"observations":[{"actual":127900,"check":"regression band-midpoint 1","expected":127900,"passed":true},{"actual":29900,"check":"regression band-midpoint 2","expected":29900,"passed":true},{"actual":100,"check":"partial repair guard 2","expected":100,"passed":true},{"actual":30300,"check":"control: first wide band","expected":30300,"passed":true},{"actual":1780000,"check":"control: table cutoff","expected":1780000,"passed":true},{"actual":0,"check":"control: tiny","expected":0,"passed":true},{"actual":100,"check":"control: small","expected":100,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression band-midpoint 1\", \"actual\": 127900, \"expected\": 127900, \"passed\": true}, {\"check\": \"regression band-midpoint 2\", \"actual\": 29900, \"expected\": 29900, \"passed\": true}, {\"check\": \"partial repair guard 2\", \"actual\": 100, \"expected\": 100, \"passed\": true}, {\"check\": \"control: first wide band\", \"actual\": 30300, \"expected\": 30300, \"passed\": true}, {\"check\": \"control: table cutoff\", \"actual\": 1780000, \"expected\": 1780000, \"passed\": true}, {\"check\": \"control: tiny\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"control: small\", \"actual\": 100, \"expected\": 100, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}