{"abstract":"The event trace violates the distinct rows rule and produces incorrect keyboard state or command output.","category":"Keyboard interactions","checks":9,"contract":"Case [rows,columns,reports]. Reports contain [row,column] cells. Ignore out-of-bounds coordinates. Any full observed rectangle with two distinct rows and columns makes its four corners ambiguous. Newly ambiguous presses are quarantined, but already accepted cells remain held while still observed. Emit sorted release edges then sorted press edges for each report. Return edges, accepted cells and final quarantined cells. Inputs are finite ordered event traces; return the stated deterministic state. Batch entries are independent. N varies the number of independent input transactions.","evaluation_group":"s3-keyboard-matrix-ghost-quarantine","failed_approach":"The partial repair changes this transition to range(r1+1,rows-1), which still violates the model contract on the explicit regression traces.","family":"s3-keyboard-interactions-matrix-ghost-quarantine-distinct-rows","id":"FA-32201","implementations":{"attempt":{"sha256":"054f6767dbfbe567b330bf29d9add08cbe388c4f05185daec97f712aa8097bfd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        rows,columns,reports=c\n        old=set(); output=[]; quarantined=set()\n        for report in reports:\n            raw={(r,col) for r,col in report if 0<=r<rows and 0<=col<columns}\n            ambiguous=set()\n            for r1 in range(rows):\n                for r2 in range(r1+1,rows-1):\n                    for c1 in range(columns):\n                        for c2 in range(c1+1,columns):\n                            rectangle={(r1,c1),(r1,c2),(r2,c1),(r2,c2)}\n                            if rectangle<=raw: ambiguous|=rectangle\n            accepted=(raw-ambiguous)|(old&raw)\n            for r,col in sorted(old-accepted): output.append(['up',r,col])\n            for r,col in sorted(accepted-old): output.append(['down',r,col])\n            quarantined=raw-accepted\n            old=accepted\n        return [output,[list(x) for x in sorted(old)],[list(x) for x in sorted(quarantined)]]\n    return [run(c) for c in cases]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('matrix-ghost-quarantine scenario 0', solve([[2, 2, []]] * N), [[[], [], []]] * N)\ncheck('matrix-ghost-quarantine scenario 1', solve([[2, 2, [[[0, 0], [0, 1], [1, 0]]]]] * N), [[[['down', 0, 0], ['down', 0, 1], ['down', 1, 0]], [[0, 0], [0, 1], [1, 0]], []]] * N)\ncheck('matrix-ghost-quarantine scenario 2', solve([[2, 2, [[[0, 0], [0, 1], [1, 0], [1, 1]]]]] * N), [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1]]]] * N)\ncheck('matrix-ghost-quarantine scenario 3', solve([[2, 2, [[[0, 0], [0, 1]], [[0, 0], [0, 1], [1, 0], [1, 1]]]]] * N), [[[['down', 0, 0], ['down', 0, 1]], [[0, 0], [0, 1]], [[1, 0], [1, 1]]]] * N)\ncheck('matrix-ghost-quarantine scenario 4', solve([[2, 2, [[[0, 0]], []]]] * N), [[[['down', 0, 0], ['up', 0, 0]], [], []]] * N)\ncheck('matrix-ghost-quarantine scenario 5', solve([[2, 2, [[[-1, 0], [0, -1], [2, 0], [0, 2], [1, 1]]]]] * N), [[[['down', 1, 1]], [[1, 1]], []]] * N)\ncheck('matrix-ghost-quarantine scenario 6', solve([[3, 3, [[[0, 0], [0, 1], [1, 0], [1, 1], [1, 2], [2, 1], [2, 2]]]]] * N), [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1], [1, 2], [2, 1], [2, 2]]]] * N)\ncheck('matrix-ghost-quarantine scenario 7', solve([[2, 2, [[[0, 0]], [[0, 0]], [[0, 1]]]]] * N), [[[['down', 0, 0], ['up', 0, 0], ['down', 0, 1]], [[0, 1]], []]] * N)\ncheck('matrix-ghost-quarantine scenario 8', solve([[3, 3, [[[0, 0], [0, 1], [1, 0], [1, 1], [2, 2]]]]] * N), [[[['down', 2, 2]], [[2, 2]], [[0, 0], [0, 1], [1, 0], [1, 1]]]] * 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":"46a82f151c0f26aae20c6222078d1a0328180ad1f641e2fbce0e6aa87d628c84","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        rows,columns,reports=c\n        old=set(); output=[]; quarantined=set()\n        for report in reports:\n            raw={(r,col) for r,col in report if 0<=r<rows and 0<=col<columns}\n            ambiguous=set()\n            for r1 in range(rows):\n                for r2 in range(r1,rows):\n                    for c1 in range(columns):\n                        for c2 in range(c1+1,columns):\n                            rectangle={(r1,c1),(r1,c2),(r2,c1),(r2,c2)}\n                            if rectangle<=raw: ambiguous|=rectangle\n            accepted=(raw-ambiguous)|(old&raw)\n            for r,col in sorted(old-accepted): output.append(['up',r,col])\n            for r,col in sorted(accepted-old): output.append(['down',r,col])\n            quarantined=raw-accepted\n            old=accepted\n        return [output,[list(x) for x in sorted(old)],[list(x) for x in sorted(quarantined)]]\n    return [run(c) for c in cases]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('matrix-ghost-quarantine scenario 0', solve([[2, 2, []]] * N), [[[], [], []]] * N)\ncheck('matrix-ghost-quarantine scenario 1', solve([[2, 2, [[[0, 0], [0, 1], [1, 0]]]]] * N), [[[['down', 0, 0], ['down', 0, 1], ['down', 1, 0]], [[0, 0], [0, 1], [1, 0]], []]] * N)\ncheck('matrix-ghost-quarantine scenario 2', solve([[2, 2, [[[0, 0], [0, 1], [1, 0], [1, 1]]]]] * N), [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1]]]] * N)\ncheck('matrix-ghost-quarantine scenario 3', solve([[2, 2, [[[0, 0], [0, 1]], [[0, 0], [0, 1], [1, 0], [1, 1]]]]] * N), [[[['down', 0, 0], ['down', 0, 1]], [[0, 0], [0, 1]], [[1, 0], [1, 1]]]] * N)\ncheck('matrix-ghost-quarantine scenario 4', solve([[2, 2, [[[0, 0]], []]]] * N), [[[['down', 0, 0], ['up', 0, 0]], [], []]] * N)\ncheck('matrix-ghost-quarantine scenario 5', solve([[2, 2, [[[-1, 0], [0, -1], [2, 0], [0, 2], [1, 1]]]]] * N), [[[['down', 1, 1]], [[1, 1]], []]] * N)\ncheck('matrix-ghost-quarantine scenario 6', solve([[3, 3, [[[0, 0], [0, 1], [1, 0], [1, 1], [1, 2], [2, 1], [2, 2]]]]] * N), [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1], [1, 2], [2, 1], [2, 2]]]] * N)\ncheck('matrix-ghost-quarantine scenario 7', solve([[2, 2, [[[0, 0]], [[0, 0]], [[0, 1]]]]] * N), [[[['down', 0, 0], ['up', 0, 0], ['down', 0, 1]], [[0, 1]], []]] * N)\ncheck('matrix-ghost-quarantine scenario 8', solve([[3, 3, [[[0, 0], [0, 1], [1, 0], [1, 1], [2, 2]]]]] * N), [[[['down', 2, 2]], [[2, 2]], [[0, 0], [0, 1], [1, 0], [1, 1]]]] * 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"},"fixed":{"sha256":"56ecec69d4038d34b336d75e6dbd9c4962025c0f95449131c2a0f52b5e18037e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        rows,columns,reports=c\n        old=set(); output=[]; quarantined=set()\n        for report in reports:\n            raw={(r,col) for r,col in report if 0<=r<rows and 0<=col<columns}\n            ambiguous=set()\n            for r1 in range(rows):\n                for r2 in range(r1+1,rows):\n                    for c1 in range(columns):\n                        for c2 in range(c1+1,columns):\n                            rectangle={(r1,c1),(r1,c2),(r2,c1),(r2,c2)}\n                            if rectangle<=raw: ambiguous|=rectangle\n            accepted=(raw-ambiguous)|(old&raw)\n            for r,col in sorted(old-accepted): output.append(['up',r,col])\n            for r,col in sorted(accepted-old): output.append(['down',r,col])\n            quarantined=raw-accepted\n            old=accepted\n        return [output,[list(x) for x in sorted(old)],[list(x) for x in sorted(quarantined)]]\n    return [run(c) for c in cases]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('matrix-ghost-quarantine scenario 0', solve([[2, 2, []]] * N), [[[], [], []]] * N)\ncheck('matrix-ghost-quarantine scenario 1', solve([[2, 2, [[[0, 0], [0, 1], [1, 0]]]]] * N), [[[['down', 0, 0], ['down', 0, 1], ['down', 1, 0]], [[0, 0], [0, 1], [1, 0]], []]] * N)\ncheck('matrix-ghost-quarantine scenario 2', solve([[2, 2, [[[0, 0], [0, 1], [1, 0], [1, 1]]]]] * N), [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1]]]] * N)\ncheck('matrix-ghost-quarantine scenario 3', solve([[2, 2, [[[0, 0], [0, 1]], [[0, 0], [0, 1], [1, 0], [1, 1]]]]] * N), [[[['down', 0, 0], ['down', 0, 1]], [[0, 0], [0, 1]], [[1, 0], [1, 1]]]] * N)\ncheck('matrix-ghost-quarantine scenario 4', solve([[2, 2, [[[0, 0]], []]]] * N), [[[['down', 0, 0], ['up', 0, 0]], [], []]] * N)\ncheck('matrix-ghost-quarantine scenario 5', solve([[2, 2, [[[-1, 0], [0, -1], [2, 0], [0, 2], [1, 1]]]]] * N), [[[['down', 1, 1]], [[1, 1]], []]] * N)\ncheck('matrix-ghost-quarantine scenario 6', solve([[3, 3, [[[0, 0], [0, 1], [1, 0], [1, 1], [1, 2], [2, 1], [2, 2]]]]] * N), [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1], [1, 2], [2, 1], [2, 2]]]] * N)\ncheck('matrix-ghost-quarantine scenario 7', solve([[2, 2, [[[0, 0]], [[0, 0]], [[0, 1]]]]] * N), [[[['down', 0, 0], ['up', 0, 0], ['down', 0, 1]], [[0, 1]], []]] * N)\ncheck('matrix-ghost-quarantine scenario 8', solve([[3, 3, [[[0, 0], [0, 1], [1, 0], [1, 1], [2, 2]]]]] * N), [[[['down', 2, 2]], [[2, 2]], [[0, 0], [0, 1], [1, 0], [1, 1]]]] * 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":"Offline stipulated event model, not a browser implementation or web standard conformance claim. 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-keyboard-interactions-matrix-ghost-quarantine-distinct-rows","generated_at":"2026-09-29T14:42:09.783512+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Controlled keyboard event processing model for debugging application event logic.","repair":"Use the contract transition `range(r1+1,rows)` at the distinct rows fault site; preserve the other state transitions.","root_cause":"Ghost detection treats one row as a rectangle or skips the last matrix row.","sha256":"bfeaecda1d61104da0db07a1107a5e6c8b139c574bc4d0ab9edfaf21d3f6e89c","title":"Keyboard matrix rectangle ghost quarantine: Ghost detection treats one row as a rectangle or skips the last matrix row · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":47.801,"exit_code":1,"observations":[{"actual":[[[],[],[]]],"check":"matrix-ghost-quarantine scenario 0","expected":[[[],[],[]]],"passed":true},{"actual":[[[["down",0,0],["down",0,1],["down",1,0]],[[0,0],[0,1],[1,0]],[]]],"check":"matrix-ghost-quarantine scenario 1","expected":[[[["down",0,0],["down",0,1],["down",1,0]],[[0,0],[0,1],[1,0]],[]]],"passed":true},{"actual":[[[["down",0,0],["down",0,1],["down",1,0],["down",1,1]],[[0,0],[0,1],[1,0],[1,1]],[]]],"check":"matrix-ghost-quarantine scenario 2","expected":[[[],[],[[0,0],[0,1],[1,0],[1,1]]]],"passed":false},{"actual":[[[["down",0,0],["down",0,1],["down",1,0],["down",1,1]],[[0,0],[0,1],[1,0],[1,1]],[]]],"check":"matrix-ghost-quarantine scenario 3","expected":[[[["down",0,0],["down",0,1]],[[0,0],[0,1]],[[1,0],[1,1]]]],"passed":false},{"actual":[[[["down",0,0],["up",0,0]],[],[]]],"check":"matrix-ghost-quarantine scenario 4","expected":[[[["down",0,0],["up",0,0]],[],[]]],"passed":true},{"actual":[[[["down",1,1]],[[1,1]],[]]],"check":"matrix-ghost-quarantine scenario 5","expected":[[[["down",1,1]],[[1,1]],[]]],"passed":true},{"actual":[[[["down",1,2],["down",2,1],["down",2,2]],[[1,2],[2,1],[2,2]],[[0,0],[0,1],[1,0],[1,1]]]],"check":"matrix-ghost-quarantine scenario 6","expected":[[[],[],[[0,0],[0,1],[1,0],[1,1],[1,2],[2,1],[2,2]]]],"passed":false},{"actual":[[[["down",0,0],["up",0,0],["down",0,1]],[[0,1]],[]]],"check":"matrix-ghost-quarantine scenario 7","expected":[[[["down",0,0],["up",0,0],["down",0,1]],[[0,1]],[]]],"passed":true},{"actual":[[[["down",2,2]],[[2,2]],[[0,0],[0,1],[1,0],[1,1]]]],"check":"matrix-ghost-quarantine scenario 8","expected":[[[["down",2,2]],[[2,2]],[[0,0],[0,1],[1,0],[1,1]]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"matrix-ghost-quarantine scenario 0\", \"actual\": [[[], [], []]], \"expected\": [[[], [], []]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 1\", \"actual\": [[[[\"down\", 0, 0], [\"down\", 0, 1], [\"down\", 1, 0]], [[0, 0], [0, 1], [1, 0]], []]], \"expected\": [[[[\"down\", 0, 0], [\"down\", 0, 1], [\"down\", 1, 0]], [[0, 0], [0, 1], [1, 0]], []]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 2\", \"actual\": [[[[\"down\", 0, 0], [\"down\", 0, 1], [\"down\", 1, 0], [\"down\", 1, 1]], [[0, 0], [0, 1], [1, 0], [1, 1]], []]], \"expected\": [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1]]]], \"passed\": false}, {\"check\": \"matrix-ghost-quarantine scenario 3\", \"actual\": [[[[\"down\", 0, 0], [\"down\", 0, 1], [\"down\", 1, 0], [\"down\", 1, 1]], [[0, 0], [0, 1], [1, 0], [1, 1]], []]], \"expected\": [[[[\"down\", 0, 0], [\"down\", 0, 1]], [[0, 0], [0, 1]], [[1, 0], [1, 1]]]], \"passed\": false}, {\"check\": \"matrix-ghost-quarantine scenario 4\", \"actual\": [[[[\"down\", 0, 0], [\"up\", 0, 0]], [], []]], \"expected\": [[[[\"down\", 0, 0], [\"up\", 0, 0]], [], []]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 5\", \"actual\": [[[[\"down\", 1, 1]], [[1, 1]], []]], \"expected\": [[[[\"down\", 1, 1]], [[1, 1]], []]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 6\", \"actual\": [[[[\"down\", 1, 2], [\"down\", 2, 1], [\"down\", 2, 2]], [[1, 2], [2, 1], [2, 2]], [[0, 0], [0, 1], [1, 0], [1, 1]]]], \"expected\": [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1], [1, 2], [2, 1], [2, 2]]]], \"passed\": false}, {\"check\": \"matrix-ghost-quarantine scenario 7\", \"actual\": [[[[\"down\", 0, 0], [\"up\", 0, 0], [\"down\", 0, 1]], [[0, 1]], []]], \"expected\": [[[[\"down\", 0, 0], [\"up\", 0, 0], [\"down\", 0, 1]], [[0, 1]], []]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 8\", \"actual\": [[[[\"down\", 2, 2]], [[2, 2]], [[0, 0], [0, 1], [1, 0], [1, 1]]]], \"expected\": [[[[\"down\", 2, 2]], [[2, 2]], [[0, 0], [0, 1], [1, 0], [1, 1]]]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":50.046,"exit_code":1,"observations":[{"actual":[[[],[],[]]],"check":"matrix-ghost-quarantine scenario 0","expected":[[[],[],[]]],"passed":true},{"actual":[[[["down",1,0]],[[1,0]],[[0,0],[0,1]]]],"check":"matrix-ghost-quarantine scenario 1","expected":[[[["down",0,0],["down",0,1],["down",1,0]],[[0,0],[0,1],[1,0]],[]]],"passed":false},{"actual":[[[],[],[[0,0],[0,1],[1,0],[1,1]]]],"check":"matrix-ghost-quarantine scenario 2","expected":[[[],[],[[0,0],[0,1],[1,0],[1,1]]]],"passed":true},{"actual":[[[],[],[[0,0],[0,1],[1,0],[1,1]]]],"check":"matrix-ghost-quarantine scenario 3","expected":[[[["down",0,0],["down",0,1]],[[0,0],[0,1]],[[1,0],[1,1]]]],"passed":false},{"actual":[[[["down",0,0],["up",0,0]],[],[]]],"check":"matrix-ghost-quarantine scenario 4","expected":[[[["down",0,0],["up",0,0]],[],[]]],"passed":true},{"actual":[[[["down",1,1]],[[1,1]],[]]],"check":"matrix-ghost-quarantine scenario 5","expected":[[[["down",1,1]],[[1,1]],[]]],"passed":true},{"actual":[[[],[],[[0,0],[0,1],[1,0],[1,1],[1,2],[2,1],[2,2]]]],"check":"matrix-ghost-quarantine scenario 6","expected":[[[],[],[[0,0],[0,1],[1,0],[1,1],[1,2],[2,1],[2,2]]]],"passed":true},{"actual":[[[["down",0,0],["up",0,0],["down",0,1]],[[0,1]],[]]],"check":"matrix-ghost-quarantine scenario 7","expected":[[[["down",0,0],["up",0,0],["down",0,1]],[[0,1]],[]]],"passed":true},{"actual":[[[["down",2,2]],[[2,2]],[[0,0],[0,1],[1,0],[1,1]]]],"check":"matrix-ghost-quarantine scenario 8","expected":[[[["down",2,2]],[[2,2]],[[0,0],[0,1],[1,0],[1,1]]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"matrix-ghost-quarantine scenario 0\", \"actual\": [[[], [], []]], \"expected\": [[[], [], []]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 1\", \"actual\": [[[[\"down\", 1, 0]], [[1, 0]], [[0, 0], [0, 1]]]], \"expected\": [[[[\"down\", 0, 0], [\"down\", 0, 1], [\"down\", 1, 0]], [[0, 0], [0, 1], [1, 0]], []]], \"passed\": false}, {\"check\": \"matrix-ghost-quarantine scenario 2\", \"actual\": [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1]]]], \"expected\": [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1]]]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 3\", \"actual\": [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1]]]], \"expected\": [[[[\"down\", 0, 0], [\"down\", 0, 1]], [[0, 0], [0, 1]], [[1, 0], [1, 1]]]], \"passed\": false}, {\"check\": \"matrix-ghost-quarantine scenario 4\", \"actual\": [[[[\"down\", 0, 0], [\"up\", 0, 0]], [], []]], \"expected\": [[[[\"down\", 0, 0], [\"up\", 0, 0]], [], []]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 5\", \"actual\": [[[[\"down\", 1, 1]], [[1, 1]], []]], \"expected\": [[[[\"down\", 1, 1]], [[1, 1]], []]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 6\", \"actual\": [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1], [1, 2], [2, 1], [2, 2]]]], \"expected\": [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1], [1, 2], [2, 1], [2, 2]]]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 7\", \"actual\": [[[[\"down\", 0, 0], [\"up\", 0, 0], [\"down\", 0, 1]], [[0, 1]], []]], \"expected\": [[[[\"down\", 0, 0], [\"up\", 0, 0], [\"down\", 0, 1]], [[0, 1]], []]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 8\", \"actual\": [[[[\"down\", 2, 2]], [[2, 2]], [[0, 0], [0, 1], [1, 0], [1, 1]]]], \"expected\": [[[[\"down\", 2, 2]], [[2, 2]], [[0, 0], [0, 1], [1, 0], [1, 1]]]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":48.729,"exit_code":0,"observations":[{"actual":[[[],[],[]]],"check":"matrix-ghost-quarantine scenario 0","expected":[[[],[],[]]],"passed":true},{"actual":[[[["down",0,0],["down",0,1],["down",1,0]],[[0,0],[0,1],[1,0]],[]]],"check":"matrix-ghost-quarantine scenario 1","expected":[[[["down",0,0],["down",0,1],["down",1,0]],[[0,0],[0,1],[1,0]],[]]],"passed":true},{"actual":[[[],[],[[0,0],[0,1],[1,0],[1,1]]]],"check":"matrix-ghost-quarantine scenario 2","expected":[[[],[],[[0,0],[0,1],[1,0],[1,1]]]],"passed":true},{"actual":[[[["down",0,0],["down",0,1]],[[0,0],[0,1]],[[1,0],[1,1]]]],"check":"matrix-ghost-quarantine scenario 3","expected":[[[["down",0,0],["down",0,1]],[[0,0],[0,1]],[[1,0],[1,1]]]],"passed":true},{"actual":[[[["down",0,0],["up",0,0]],[],[]]],"check":"matrix-ghost-quarantine scenario 4","expected":[[[["down",0,0],["up",0,0]],[],[]]],"passed":true},{"actual":[[[["down",1,1]],[[1,1]],[]]],"check":"matrix-ghost-quarantine scenario 5","expected":[[[["down",1,1]],[[1,1]],[]]],"passed":true},{"actual":[[[],[],[[0,0],[0,1],[1,0],[1,1],[1,2],[2,1],[2,2]]]],"check":"matrix-ghost-quarantine scenario 6","expected":[[[],[],[[0,0],[0,1],[1,0],[1,1],[1,2],[2,1],[2,2]]]],"passed":true},{"actual":[[[["down",0,0],["up",0,0],["down",0,1]],[[0,1]],[]]],"check":"matrix-ghost-quarantine scenario 7","expected":[[[["down",0,0],["up",0,0],["down",0,1]],[[0,1]],[]]],"passed":true},{"actual":[[[["down",2,2]],[[2,2]],[[0,0],[0,1],[1,0],[1,1]]]],"check":"matrix-ghost-quarantine scenario 8","expected":[[[["down",2,2]],[[2,2]],[[0,0],[0,1],[1,0],[1,1]]]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"matrix-ghost-quarantine scenario 0\", \"actual\": [[[], [], []]], \"expected\": [[[], [], []]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 1\", \"actual\": [[[[\"down\", 0, 0], [\"down\", 0, 1], [\"down\", 1, 0]], [[0, 0], [0, 1], [1, 0]], []]], \"expected\": [[[[\"down\", 0, 0], [\"down\", 0, 1], [\"down\", 1, 0]], [[0, 0], [0, 1], [1, 0]], []]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 2\", \"actual\": [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1]]]], \"expected\": [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1]]]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 3\", \"actual\": [[[[\"down\", 0, 0], [\"down\", 0, 1]], [[0, 0], [0, 1]], [[1, 0], [1, 1]]]], \"expected\": [[[[\"down\", 0, 0], [\"down\", 0, 1]], [[0, 0], [0, 1]], [[1, 0], [1, 1]]]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 4\", \"actual\": [[[[\"down\", 0, 0], [\"up\", 0, 0]], [], []]], \"expected\": [[[[\"down\", 0, 0], [\"up\", 0, 0]], [], []]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 5\", \"actual\": [[[[\"down\", 1, 1]], [[1, 1]], []]], \"expected\": [[[[\"down\", 1, 1]], [[1, 1]], []]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 6\", \"actual\": [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1], [1, 2], [2, 1], [2, 2]]]], \"expected\": [[[], [], [[0, 0], [0, 1], [1, 0], [1, 1], [1, 2], [2, 1], [2, 2]]]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 7\", \"actual\": [[[[\"down\", 0, 0], [\"up\", 0, 0], [\"down\", 0, 1]], [[0, 1]], []]], \"expected\": [[[[\"down\", 0, 0], [\"up\", 0, 0], [\"down\", 0, 1]], [[0, 1]], []]], \"passed\": true}, {\"check\": \"matrix-ghost-quarantine scenario 8\", \"actual\": [[[[\"down\", 2, 2]], [[2, 2]], [[0, 0], [0, 1], [1, 0], [1, 1]]]], \"expected\": [[[[\"down\", 2, 2]], [[2, 2]], [[0, 0], [0, 1], [1, 0], [1, 1]]]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}