{"abstract":"The table left schema order result violates the stipulated pinned table panes contract.","category":"Table interactions","checks":6,"contract":"Partition visible schema columns into left, center, and right panes; left wins conflicting pin assignments. Pin order follows schema, left offsets are prefixes, right offsets suffixes, only center moves on scroll, reservations exclude hidden tracks.","contract_signature":"ids, left, right, hidden, widths, scroll","evaluation_group":"s3-table-interactions-pinned-panes","failed_approach":"The attempted repair '[c for c in visible if c in left][::-1]' still loses a required part of the table contract.","family":"s3-table-interactions-pinned-panes-left-schema-order","id":"FA-36896","implementations":{"attempt":{"sha256":"eb68463a0879ecfbb1ba691d4ce46bddea310dc45bd449741d3106b0721205f2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(ids, left, right, hidden, widths, scroll):\n    visible = [c for c in ids if c not in hidden]\n    l = [c for c in visible if c in left][::-1]\n    r = [c for c in visible if c in right and c not in left]\n    m = [c for c in visible if c not in left and c not in right]\n    lo = {c: sum(widths[x] for x in l[:i]) for i,c in enumerate(l)}\n    ro = {c: sum(widths[x] for x in r[i+1:]) for i,c in enumerate(r)}\n    mo = {c: sum(widths[x] for x in m[:i]) - scroll for i,c in enumerate(m)}\n    return [l,m,r,lo,ro,mo,sum(widths[x] for x in l),sum(widths[x] for x in r),l[-1:] if m or r else [],r[:1] if l or m else []]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('mixed panes', solve(['a','b','c','d','e'], ['b','a'], ['d','e'], [], {'a':2*1,'b':3,'c':7,'d':4,'e':6}, 3), [['a', 'b'], ['c'], ['d', 'e'], {'a': 0, 'b': 2}, {'d': 6, 'e': 0}, {'c': -3}, 5, 10, ['b'], ['d']])\n    check('overlap priority', solve(['a','b','c'], ['a','b'], ['b','c'], [], {'a':2,'b':4,'c':8}, 1), [['a', 'b'], [], ['c'], {'a': 0, 'b': 2}, {'c': 0}, {}, 6, 8, ['b'], ['c']])\n    check('hidden pins', solve(['a','b','c'], ['a'], ['b'], ['a','b'], {'a':2,'b':4,'c':8}, 2), [[], ['c'], [], {}, {}, {'c': -2}, 0, 0, [], []])\n    check('only left', solve(['a','b'], ['a','b'], [], [], {'a':2,'b':4}, 0), [['a', 'b'], [], [], {'a': 0, 'b': 2}, {}, {}, 6, 0, [], []])\n    check('only right', solve(['a','b'], [], ['a','b'], [], {'a':2,'b':4}, 0), [[], [], ['a', 'b'], {}, {'a': 4, 'b': 0}, {}, 0, 6, [], []])\n    check('empty', solve([], [], [], [], {}, 0), [[], [], [], {}, {}, {}, 0, 0, [], []])\n\nif N == 2:\n    check('mixed panes', solve(['a','b','c','d','e'], ['b','a'], ['d','e'], [], {'a':2*2,'b':3,'c':7,'d':4,'e':6}, 3), [['a', 'b'], ['c'], ['d', 'e'], {'a': 0, 'b': 4}, {'d': 6, 'e': 0}, {'c': -3}, 7, 10, ['b'], ['d']])\n    check('overlap priority', solve(['a','b','c'], ['a','b'], ['b','c'], [], {'a':2,'b':4,'c':8}, 1), [['a', 'b'], [], ['c'], {'a': 0, 'b': 2}, {'c': 0}, {}, 6, 8, ['b'], ['c']])\n    check('hidden pins', solve(['a','b','c'], ['a'], ['b'], ['a','b'], {'a':2,'b':4,'c':8}, 2), [[], ['c'], [], {}, {}, {'c': -2}, 0, 0, [], []])\n    check('only left', solve(['a','b'], ['a','b'], [], [], {'a':2,'b':4}, 0), [['a', 'b'], [], [], {'a': 0, 'b': 2}, {}, {}, 6, 0, [], []])\n    check('only right', solve(['a','b'], [], ['a','b'], [], {'a':2,'b':4}, 0), [[], [], ['a', 'b'], {}, {'a': 4, 'b': 0}, {}, 0, 6, [], []])\n    check('empty', solve([], [], [], [], {}, 0), [[], [], [], {}, {}, {}, 0, 0, [], []])\n\nif N == 3:\n    check('mixed panes', solve(['a','b','c','d','e'], ['b','a'], ['d','e'], [], {'a':2*3,'b':3,'c':7,'d':4,'e':6}, 3), [['a', 'b'], ['c'], ['d', 'e'], {'a': 0, 'b': 6}, {'d': 6, 'e': 0}, {'c': -3}, 9, 10, ['b'], ['d']])\n    check('overlap priority', solve(['a','b','c'], ['a','b'], ['b','c'], [], {'a':2,'b':4,'c':8}, 1), [['a', 'b'], [], ['c'], {'a': 0, 'b': 2}, {'c': 0}, {}, 6, 8, ['b'], ['c']])\n    check('hidden pins', solve(['a','b','c'], ['a'], ['b'], ['a','b'], {'a':2,'b':4,'c':8}, 2), [[], ['c'], [], {}, {}, {'c': -2}, 0, 0, [], []])\n    check('only left', solve(['a','b'], ['a','b'], [], [], {'a':2,'b':4}, 0), [['a', 'b'], [], [], {'a': 0, 'b': 2}, {}, {}, 6, 0, [], []])\n    check('only right', solve(['a','b'], [], ['a','b'], [], {'a':2,'b':4}, 0), [[], [], ['a', 'b'], {}, {'a': 4, 'b': 0}, {}, 0, 6, [], []])\n    check('empty', solve([], [], [], [], {}, 0), [[], [], [], {}, {}, {}, 0, 0, [], []])\n\nif N == 4:\n    check('mixed panes', solve(['a','b','c','d','e'], ['b','a'], ['d','e'], [], {'a':2*4,'b':3,'c':7,'d':4,'e':6}, 3), [['a', 'b'], ['c'], ['d', 'e'], {'a': 0, 'b': 8}, {'d': 6, 'e': 0}, {'c': -3}, 11, 10, ['b'], ['d']])\n    check('overlap priority', solve(['a','b','c'], ['a','b'], ['b','c'], [], {'a':2,'b':4,'c':8}, 1), [['a', 'b'], [], ['c'], {'a': 0, 'b': 2}, {'c': 0}, {}, 6, 8, ['b'], ['c']])\n    check('hidden pins', solve(['a','b','c'], ['a'], ['b'], ['a','b'], {'a':2,'b':4,'c':8}, 2), [[], ['c'], [], {}, {}, {'c': -2}, 0, 0, [], []])\n    check('only left', solve(['a','b'], ['a','b'], [], [], {'a':2,'b':4}, 0), [['a', 'b'], [], [], {'a': 0, 'b': 2}, {}, {}, 6, 0, [], []])\n    check('only right', solve(['a','b'], [], ['a','b'], [], {'a':2,'b':4}, 0), [[], [], ['a', 'b'], {}, {'a': 4, 'b': 0}, {}, 0, 6, [], []])\n    check('empty', solve([], [], [], [], {}, 0), [[], [], [], {}, {}, {}, 0, 0, [], []])\n\nif N == 5:\n    check('mixed panes', solve(['a','b','c','d','e'], ['b','a'], ['d','e'], [], {'a':2*5,'b':3,'c':7,'d':4,'e':6}, 3), [['a', 'b'], ['c'], ['d', 'e'], {'a': 0, 'b': 10}, {'d': 6, 'e': 0}, {'c': -3}, 13, 10, ['b'], ['d']])\n    check('overlap priority', solve(['a','b','c'], ['a','b'], ['b','c'], [], {'a':2,'b':4,'c':8}, 1), [['a', 'b'], [], ['c'], {'a': 0, 'b': 2}, {'c': 0}, {}, 6, 8, ['b'], ['c']])\n    check('hidden pins', solve(['a','b','c'], ['a'], ['b'], ['a','b'], {'a':2,'b':4,'c':8}, 2), [[], ['c'], [], {}, {}, {'c': -2}, 0, 0, [], []])\n    check('only left', solve(['a','b'], ['a','b'], [], [], {'a':2,'b':4}, 0), [['a', 'b'], [], [], {'a': 0, 'b': 2}, {}, {}, 6, 0, [], []])\n    check('only right', solve(['a','b'], [], ['a','b'], [], {'a':2,'b':4}, 0), [[], [], ['a', 'b'], {}, {'a': 4, 'b': 0}, {}, 0, 6, [], []])\n    check('empty', solve([], [], [], [], {}, 0), [[], [], [], {}, {}, {}, 0, 0, [], []])\n\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":"c4b398dfbb0ff781d782838c3ad28c808b69445b828aaec01945a11762d7c573","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(ids, left, right, hidden, widths, scroll):\n    visible = [c for c in ids if c not in hidden]\n    l = [c for c in left if c in visible]\n    r = [c for c in visible if c in right and c not in left]\n    m = [c for c in visible if c not in left and c not in right]\n    lo = {c: sum(widths[x] for x in l[:i]) for i,c in enumerate(l)}\n    ro = {c: sum(widths[x] for x in r[i+1:]) for i,c in enumerate(r)}\n    mo = {c: sum(widths[x] for x in m[:i]) - scroll for i,c in enumerate(m)}\n    return [l,m,r,lo,ro,mo,sum(widths[x] for x in l),sum(widths[x] for x in r),l[-1:] if m or r else [],r[:1] if l or m else []]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('mixed panes', solve(['a','b','c','d','e'], ['b','a'], ['d','e'], [], {'a':2*1,'b':3,'c':7,'d':4,'e':6}, 3), [['a', 'b'], ['c'], ['d', 'e'], {'a': 0, 'b': 2}, {'d': 6, 'e': 0}, {'c': -3}, 5, 10, ['b'], ['d']])\n    check('overlap priority', solve(['a','b','c'], ['a','b'], ['b','c'], [], {'a':2,'b':4,'c':8}, 1), [['a', 'b'], [], ['c'], {'a': 0, 'b': 2}, {'c': 0}, {}, 6, 8, ['b'], ['c']])\n    check('hidden pins', solve(['a','b','c'], ['a'], ['b'], ['a','b'], {'a':2,'b':4,'c':8}, 2), [[], ['c'], [], {}, {}, {'c': -2}, 0, 0, [], []])\n    check('only left', solve(['a','b'], ['a','b'], [], [], {'a':2,'b':4}, 0), [['a', 'b'], [], [], {'a': 0, 'b': 2}, {}, {}, 6, 0, [], []])\n    check('only right', solve(['a','b'], [], ['a','b'], [], {'a':2,'b':4}, 0), [[], [], ['a', 'b'], {}, {'a': 4, 'b': 0}, {}, 0, 6, [], []])\n    check('empty', solve([], [], [], [], {}, 0), [[], [], [], {}, {}, {}, 0, 0, [], []])\n\nif N == 2:\n    check('mixed panes', solve(['a','b','c','d','e'], ['b','a'], ['d','e'], [], {'a':2*2,'b':3,'c':7,'d':4,'e':6}, 3), [['a', 'b'], ['c'], ['d', 'e'], {'a': 0, 'b': 4}, {'d': 6, 'e': 0}, {'c': -3}, 7, 10, ['b'], ['d']])\n    check('overlap priority', solve(['a','b','c'], ['a','b'], ['b','c'], [], {'a':2,'b':4,'c':8}, 1), [['a', 'b'], [], ['c'], {'a': 0, 'b': 2}, {'c': 0}, {}, 6, 8, ['b'], ['c']])\n    check('hidden pins', solve(['a','b','c'], ['a'], ['b'], ['a','b'], {'a':2,'b':4,'c':8}, 2), [[], ['c'], [], {}, {}, {'c': -2}, 0, 0, [], []])\n    check('only left', solve(['a','b'], ['a','b'], [], [], {'a':2,'b':4}, 0), [['a', 'b'], [], [], {'a': 0, 'b': 2}, {}, {}, 6, 0, [], []])\n    check('only right', solve(['a','b'], [], ['a','b'], [], {'a':2,'b':4}, 0), [[], [], ['a', 'b'], {}, {'a': 4, 'b': 0}, {}, 0, 6, [], []])\n    check('empty', solve([], [], [], [], {}, 0), [[], [], [], {}, {}, {}, 0, 0, [], []])\n\nif N == 3:\n    check('mixed panes', solve(['a','b','c','d','e'], ['b','a'], ['d','e'], [], {'a':2*3,'b':3,'c':7,'d':4,'e':6}, 3), [['a', 'b'], ['c'], ['d', 'e'], {'a': 0, 'b': 6}, {'d': 6, 'e': 0}, {'c': -3}, 9, 10, ['b'], ['d']])\n    check('overlap priority', solve(['a','b','c'], ['a','b'], ['b','c'], [], {'a':2,'b':4,'c':8}, 1), [['a', 'b'], [], ['c'], {'a': 0, 'b': 2}, {'c': 0}, {}, 6, 8, ['b'], ['c']])\n    check('hidden pins', solve(['a','b','c'], ['a'], ['b'], ['a','b'], {'a':2,'b':4,'c':8}, 2), [[], ['c'], [], {}, {}, {'c': -2}, 0, 0, [], []])\n    check('only left', solve(['a','b'], ['a','b'], [], [], {'a':2,'b':4}, 0), [['a', 'b'], [], [], {'a': 0, 'b': 2}, {}, {}, 6, 0, [], []])\n    check('only right', solve(['a','b'], [], ['a','b'], [], {'a':2,'b':4}, 0), [[], [], ['a', 'b'], {}, {'a': 4, 'b': 0}, {}, 0, 6, [], []])\n    check('empty', solve([], [], [], [], {}, 0), [[], [], [], {}, {}, {}, 0, 0, [], []])\n\nif N == 4:\n    check('mixed panes', solve(['a','b','c','d','e'], ['b','a'], ['d','e'], [], {'a':2*4,'b':3,'c':7,'d':4,'e':6}, 3), [['a', 'b'], ['c'], ['d', 'e'], {'a': 0, 'b': 8}, {'d': 6, 'e': 0}, {'c': -3}, 11, 10, ['b'], ['d']])\n    check('overlap priority', solve(['a','b','c'], ['a','b'], ['b','c'], [], {'a':2,'b':4,'c':8}, 1), [['a', 'b'], [], ['c'], {'a': 0, 'b': 2}, {'c': 0}, {}, 6, 8, ['b'], ['c']])\n    check('hidden pins', solve(['a','b','c'], ['a'], ['b'], ['a','b'], {'a':2,'b':4,'c':8}, 2), [[], ['c'], [], {}, {}, {'c': -2}, 0, 0, [], []])\n    check('only left', solve(['a','b'], ['a','b'], [], [], {'a':2,'b':4}, 0), [['a', 'b'], [], [], {'a': 0, 'b': 2}, {}, {}, 6, 0, [], []])\n    check('only right', solve(['a','b'], [], ['a','b'], [], {'a':2,'b':4}, 0), [[], [], ['a', 'b'], {}, {'a': 4, 'b': 0}, {}, 0, 6, [], []])\n    check('empty', solve([], [], [], [], {}, 0), [[], [], [], {}, {}, {}, 0, 0, [], []])\n\nif N == 5:\n    check('mixed panes', solve(['a','b','c','d','e'], ['b','a'], ['d','e'], [], {'a':2*5,'b':3,'c':7,'d':4,'e':6}, 3), [['a', 'b'], ['c'], ['d', 'e'], {'a': 0, 'b': 10}, {'d': 6, 'e': 0}, {'c': -3}, 13, 10, ['b'], ['d']])\n    check('overlap priority', solve(['a','b','c'], ['a','b'], ['b','c'], [], {'a':2,'b':4,'c':8}, 1), [['a', 'b'], [], ['c'], {'a': 0, 'b': 2}, {'c': 0}, {}, 6, 8, ['b'], ['c']])\n    check('hidden pins', solve(['a','b','c'], ['a'], ['b'], ['a','b'], {'a':2,'b':4,'c':8}, 2), [[], ['c'], [], {}, {}, {'c': -2}, 0, 0, [], []])\n    check('only left', solve(['a','b'], ['a','b'], [], [], {'a':2,'b':4}, 0), [['a', 'b'], [], [], {'a': 0, 'b': 2}, {}, {}, 6, 0, [], []])\n    check('only right', solve(['a','b'], [], ['a','b'], [], {'a':2,'b':4}, 0), [[], [], ['a', 'b'], {}, {'a': 4, 'b': 0}, {}, 0, 6, [], []])\n    check('empty', solve([], [], [], [], {}, 0), [[], [], [], {}, {}, {}, 0, 0, [], []])\n\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":"Schema IDs are unique and every schema column has a nonnegative width. Deterministic offline table UI model; no browser, DOM, framework, or standards conformance is claimed. 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":"s3-table-interactions-pinned-panes-left-schema-order","generated_at":"2026-09-29T14:42:56.257501+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"An offline table UI model isolates pinned table panes, including adversarial row/column relationships.","root_cause":"The left schema order decision uses '[c for c in left if c in visible]' instead of '[c for c in visible if c in left]'.","sha256":"98d66d0a95006a96c8e6014da3a4f6c7153f72c8ead75798eabc43f69026dd52","title":"Pinned table panes: left schema order · 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":45.473,"exit_code":1,"observations":[{"actual":[["b","a"],["c"],["d","e"],{"a":3,"b":0},{"d":6,"e":0},{"c":-3},5,10,["a"],["d"]],"check":"mixed panes","expected":[["a","b"],["c"],["d","e"],{"a":0,"b":2},{"d":6,"e":0},{"c":-3},5,10,["b"],["d"]],"passed":false},{"actual":[["b","a"],[],["c"],{"a":4,"b":0},{"c":0},{},6,8,["a"],["c"]],"check":"overlap priority","expected":[["a","b"],[],["c"],{"a":0,"b":2},{"c":0},{},6,8,["b"],["c"]],"passed":false},{"actual":[[],["c"],[],{},{},{"c":-2},0,0,[],[]],"check":"hidden pins","expected":[[],["c"],[],{},{},{"c":-2},0,0,[],[]],"passed":true},{"actual":[["b","a"],[],[],{"a":4,"b":0},{},{},6,0,[],[]],"check":"only left","expected":[["a","b"],[],[],{"a":0,"b":2},{},{},6,0,[],[]],"passed":false},{"actual":[[],[],["a","b"],{},{"a":4,"b":0},{},0,6,[],[]],"check":"only right","expected":[[],[],["a","b"],{},{"a":4,"b":0},{},0,6,[],[]],"passed":true},{"actual":[[],[],[],{},{},{},0,0,[],[]],"check":"empty","expected":[[],[],[],{},{},{},0,0,[],[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"mixed panes\", \"actual\": [[\"b\", \"a\"], [\"c\"], [\"d\", \"e\"], {\"b\": 0, \"a\": 3}, {\"d\": 6, \"e\": 0}, {\"c\": -3}, 5, 10, [\"a\"], [\"d\"]], \"expected\": [[\"a\", \"b\"], [\"c\"], [\"d\", \"e\"], {\"a\": 0, \"b\": 2}, {\"d\": 6, \"e\": 0}, {\"c\": -3}, 5, 10, [\"b\"], [\"d\"]], \"passed\": false}, {\"check\": \"overlap priority\", \"actual\": [[\"b\", \"a\"], [], [\"c\"], {\"b\": 0, \"a\": 4}, {\"c\": 0}, {}, 6, 8, [\"a\"], [\"c\"]], \"expected\": [[\"a\", \"b\"], [], [\"c\"], {\"a\": 0, \"b\": 2}, {\"c\": 0}, {}, 6, 8, [\"b\"], [\"c\"]], \"passed\": false}, {\"check\": \"hidden pins\", \"actual\": [[], [\"c\"], [], {}, {}, {\"c\": -2}, 0, 0, [], []], \"expected\": [[], [\"c\"], [], {}, {}, {\"c\": -2}, 0, 0, [], []], \"passed\": true}, {\"check\": \"only left\", \"actual\": [[\"b\", \"a\"], [], [], {\"b\": 0, \"a\": 4}, {}, {}, 6, 0, [], []], \"expected\": [[\"a\", \"b\"], [], [], {\"a\": 0, \"b\": 2}, {}, {}, 6, 0, [], []], \"passed\": false}, {\"check\": \"only right\", \"actual\": [[], [], [\"a\", \"b\"], {}, {\"a\": 4, \"b\": 0}, {}, 0, 6, [], []], \"expected\": [[], [], [\"a\", \"b\"], {}, {\"a\": 4, \"b\": 0}, {}, 0, 6, [], []], \"passed\": true}, {\"check\": \"empty\", \"actual\": [[], [], [], {}, {}, {}, 0, 0, [], []], \"expected\": [[], [], [], {}, {}, {}, 0, 0, [], []], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.543,"exit_code":1,"observations":[{"actual":[["b","a"],["c"],["d","e"],{"a":3,"b":0},{"d":6,"e":0},{"c":-3},5,10,["a"],["d"]],"check":"mixed panes","expected":[["a","b"],["c"],["d","e"],{"a":0,"b":2},{"d":6,"e":0},{"c":-3},5,10,["b"],["d"]],"passed":false},{"actual":[["a","b"],[],["c"],{"a":0,"b":2},{"c":0},{},6,8,["b"],["c"]],"check":"overlap priority","expected":[["a","b"],[],["c"],{"a":0,"b":2},{"c":0},{},6,8,["b"],["c"]],"passed":true},{"actual":[[],["c"],[],{},{},{"c":-2},0,0,[],[]],"check":"hidden pins","expected":[[],["c"],[],{},{},{"c":-2},0,0,[],[]],"passed":true},{"actual":[["a","b"],[],[],{"a":0,"b":2},{},{},6,0,[],[]],"check":"only left","expected":[["a","b"],[],[],{"a":0,"b":2},{},{},6,0,[],[]],"passed":true},{"actual":[[],[],["a","b"],{},{"a":4,"b":0},{},0,6,[],[]],"check":"only right","expected":[[],[],["a","b"],{},{"a":4,"b":0},{},0,6,[],[]],"passed":true},{"actual":[[],[],[],{},{},{},0,0,[],[]],"check":"empty","expected":[[],[],[],{},{},{},0,0,[],[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"mixed panes\", \"actual\": [[\"b\", \"a\"], [\"c\"], [\"d\", \"e\"], {\"b\": 0, \"a\": 3}, {\"d\": 6, \"e\": 0}, {\"c\": -3}, 5, 10, [\"a\"], [\"d\"]], \"expected\": [[\"a\", \"b\"], [\"c\"], [\"d\", \"e\"], {\"a\": 0, \"b\": 2}, {\"d\": 6, \"e\": 0}, {\"c\": -3}, 5, 10, [\"b\"], [\"d\"]], \"passed\": false}, {\"check\": \"overlap priority\", \"actual\": [[\"a\", \"b\"], [], [\"c\"], {\"a\": 0, \"b\": 2}, {\"c\": 0}, {}, 6, 8, [\"b\"], [\"c\"]], \"expected\": [[\"a\", \"b\"], [], [\"c\"], {\"a\": 0, \"b\": 2}, {\"c\": 0}, {}, 6, 8, [\"b\"], [\"c\"]], \"passed\": true}, {\"check\": \"hidden pins\", \"actual\": [[], [\"c\"], [], {}, {}, {\"c\": -2}, 0, 0, [], []], \"expected\": [[], [\"c\"], [], {}, {}, {\"c\": -2}, 0, 0, [], []], \"passed\": true}, {\"check\": \"only left\", \"actual\": [[\"a\", \"b\"], [], [], {\"a\": 0, \"b\": 2}, {}, {}, 6, 0, [], []], \"expected\": [[\"a\", \"b\"], [], [], {\"a\": 0, \"b\": 2}, {}, {}, 6, 0, [], []], \"passed\": true}, {\"check\": \"only right\", \"actual\": [[], [], [\"a\", \"b\"], {}, {\"a\": 4, \"b\": 0}, {}, 0, 6, [], []], \"expected\": [[], [], [\"a\", \"b\"], {}, {\"a\": 4, \"b\": 0}, {}, 0, 6, [], []], \"passed\": true}, {\"check\": \"empty\", \"actual\": [[], [], [], {}, {}, {}, 0, 0, [], []], \"expected\": [[], [], [], {}, {}, {}, 0, 0, [], []], \"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."}}