{"abstract":"The tab workspace reports an incorrect view reference removal.","category":"Tab interfaces","checks":6,"contract":"Several tab views may share one document. Closing one view releases only its view resources and closes document resources only when no other view references that document.","contract_signature":"x","evaluation_group":"s3-tabs-tab-resource-sharing","failed_approach":"The partial repair {v:d for v,d in x['views'].items() if d!=x['views'][x['closing']]} still violates a workspace boundary or normal case.","family":"s3-tab-interfaces-tab-resource-sharing-view-reference-removal","id":"FA-36211","implementations":{"attempt":{"sha256":"17f0db3c0d027d9e7d9d5a6a480a16cbbae3dde9e109dd00a90c8e425eedc28a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    r0 = {v:d for v,d in x['views'].items() if d!=x['views'][x['closing']]}\n    r1 = sum(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items())\n    r2 = not any(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items())\n    r3 = x['subscriptions'][x['closing']]\n    r4 = x['document_handles'][x['views'][x['closing']]] if not any(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items()) else 0\n    r5 = [v for v,d in x['views'].items() if v!=x['closing'] and d==x['views'][x['closing']]]\n    return [r0,r1,r2,r3,r4,r5]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'e'}, 1, False, 2, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'a': 'd', 'b': 'd'}, 0, True, 1, 4, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4, 'f': 1}}, [{'b': 'e', 'c': 'f'}, 0, True, 2, 7, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'a': 'd', 'c': 'e'}, 1, False, 3, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'd'}, 2, False, 2, 0, ['b', 'c']])], 2: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'e'}, 1, False, 4, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'a': 'd', 'b': 'd'}, 0, True, 2, 8, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8, 'f': 2}}, [{'b': 'e', 'c': 'f'}, 0, True, 4, 14, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'a': 'd', 'c': 'e'}, 1, False, 6, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'd'}, 2, False, 4, 0, ['b', 'c']])], 3: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'e'}, 1, False, 6, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'a': 'd', 'b': 'd'}, 0, True, 3, 12, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12, 'f': 3}}, [{'b': 'e', 'c': 'f'}, 0, True, 6, 21, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'a': 'd', 'c': 'e'}, 1, False, 9, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'd'}, 2, False, 6, 0, ['b', 'c']])], 4: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'e'}, 1, False, 8, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'a': 'd', 'b': 'd'}, 0, True, 4, 16, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16, 'f': 4}}, [{'b': 'e', 'c': 'f'}, 0, True, 8, 28, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'a': 'd', 'c': 'e'}, 1, False, 12, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'd'}, 2, False, 8, 0, ['b', 'c']])], 5: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'e'}, 1, False, 10, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'a': 'd', 'b': 'd'}, 0, True, 5, 20, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20, 'f': 5}}, [{'b': 'e', 'c': 'f'}, 0, True, 10, 35, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'a': 'd', 'c': 'e'}, 1, False, 15, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'd'}, 2, False, 10, 0, ['b', 'c']])]}\nfor i, (inputs, expected) in enumerate(fixtures[N]):\n    check(\"workspace regression \"+str(i), solve(inputs), 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":"3368a3a6ab9d58aed0910f4397bcc8b8c82370c037bb7b2e828da7a3c50ed884","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    r0 = {}\n    r1 = sum(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items())\n    r2 = not any(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items())\n    r3 = x['subscriptions'][x['closing']]\n    r4 = x['document_handles'][x['views'][x['closing']]] if not any(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items()) else 0\n    r5 = [v for v,d in x['views'].items() if v!=x['closing'] and d==x['views'][x['closing']]]\n    return [r0,r1,r2,r3,r4,r5]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'e'}, 1, False, 2, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'a': 'd', 'b': 'd'}, 0, True, 1, 4, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4, 'f': 1}}, [{'b': 'e', 'c': 'f'}, 0, True, 2, 7, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'a': 'd', 'c': 'e'}, 1, False, 3, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'd'}, 2, False, 2, 0, ['b', 'c']])], 2: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'e'}, 1, False, 4, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'a': 'd', 'b': 'd'}, 0, True, 2, 8, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8, 'f': 2}}, [{'b': 'e', 'c': 'f'}, 0, True, 4, 14, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'a': 'd', 'c': 'e'}, 1, False, 6, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'd'}, 2, False, 4, 0, ['b', 'c']])], 3: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'e'}, 1, False, 6, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'a': 'd', 'b': 'd'}, 0, True, 3, 12, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12, 'f': 3}}, [{'b': 'e', 'c': 'f'}, 0, True, 6, 21, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'a': 'd', 'c': 'e'}, 1, False, 9, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'd'}, 2, False, 6, 0, ['b', 'c']])], 4: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'e'}, 1, False, 8, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'a': 'd', 'b': 'd'}, 0, True, 4, 16, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16, 'f': 4}}, [{'b': 'e', 'c': 'f'}, 0, True, 8, 28, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'a': 'd', 'c': 'e'}, 1, False, 12, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'd'}, 2, False, 8, 0, ['b', 'c']])], 5: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'e'}, 1, False, 10, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'a': 'd', 'b': 'd'}, 0, True, 5, 20, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20, 'f': 5}}, [{'b': 'e', 'c': 'f'}, 0, True, 10, 35, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'a': 'd', 'c': 'e'}, 1, False, 15, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'd'}, 2, False, 10, 0, ['b', 'c']])]}\nfor i, (inputs, expected) in enumerate(fixtures[N]):\n    check(\"workspace regression \"+str(i), solve(inputs), 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":"Finite stipulated workspace snapshots only. Independent result fields describe observable obligations, not a full UI runtime. 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-tab-interfaces-tab-resource-sharing-view-reference-removal","generated_at":"2026-09-29T14:42:49.314851+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Offline tab/panel workspace behavior; no browser or desktop framework is emulated.","root_cause":"The view reference removal decision uses {} instead of {v:d for v,d in x['views'].items() if v!=x['closing']}.","sha256":"3bf98574c6728895ff4207aca6998e5f311821692247fe8be25916f5555f892e","title":"Tab resource sharing: view reference removal · 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":46.304,"exit_code":1,"observations":[{"actual":[{"c":"e"},1,false,2,0,["b"]],"check":"workspace regression 0","expected":[{"b":"d","c":"e"},1,false,2,0,["b"]],"passed":false},{"actual":[{"a":"d","b":"d"},0,true,1,4,[]],"check":"workspace regression 1","expected":[{"a":"d","b":"d"},0,true,1,4,[]],"passed":true},{"actual":[{"b":"e","c":"f"},0,true,2,7,[]],"check":"workspace regression 2","expected":[{"b":"e","c":"f"},0,true,2,7,[]],"passed":true},{"actual":[{"c":"e"},1,false,0,0,["b"]],"check":"workspace regression 3","expected":[{"b":"d","c":"e"},1,false,0,0,["b"]],"passed":false},{"actual":[{"c":"e"},1,false,3,0,["a"]],"check":"workspace regression 4","expected":[{"a":"d","c":"e"},1,false,3,0,["a"]],"passed":false},{"actual":[{},2,false,2,0,["b","c"]],"check":"workspace regression 5","expected":[{"b":"d","c":"d"},2,false,2,0,["b","c"]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"workspace regression 0\", \"actual\": [{\"c\": \"e\"}, 1, false, 2, 0, [\"b\"]], \"expected\": [{\"b\": \"d\", \"c\": \"e\"}, 1, false, 2, 0, [\"b\"]], \"passed\": false}, {\"check\": \"workspace regression 1\", \"actual\": [{\"a\": \"d\", \"b\": \"d\"}, 0, true, 1, 4, []], \"expected\": [{\"a\": \"d\", \"b\": \"d\"}, 0, true, 1, 4, []], \"passed\": true}, {\"check\": \"workspace regression 2\", \"actual\": [{\"b\": \"e\", \"c\": \"f\"}, 0, true, 2, 7, []], \"expected\": [{\"b\": \"e\", \"c\": \"f\"}, 0, true, 2, 7, []], \"passed\": true}, {\"check\": \"workspace regression 3\", \"actual\": [{\"c\": \"e\"}, 1, false, 0, 0, [\"b\"]], \"expected\": [{\"b\": \"d\", \"c\": \"e\"}, 1, false, 0, 0, [\"b\"]], \"passed\": false}, {\"check\": \"workspace regression 4\", \"actual\": [{\"c\": \"e\"}, 1, false, 3, 0, [\"a\"]], \"expected\": [{\"a\": \"d\", \"c\": \"e\"}, 1, false, 3, 0, [\"a\"]], \"passed\": false}, {\"check\": \"workspace regression 5\", \"actual\": [{}, 2, false, 2, 0, [\"b\", \"c\"]], \"expected\": [{\"b\": \"d\", \"c\": \"d\"}, 2, false, 2, 0, [\"b\", \"c\"]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.471,"exit_code":1,"observations":[{"actual":[{},1,false,2,0,["b"]],"check":"workspace regression 0","expected":[{"b":"d","c":"e"},1,false,2,0,["b"]],"passed":false},{"actual":[{},0,true,1,4,[]],"check":"workspace regression 1","expected":[{"a":"d","b":"d"},0,true,1,4,[]],"passed":false},{"actual":[{},0,true,2,7,[]],"check":"workspace regression 2","expected":[{"b":"e","c":"f"},0,true,2,7,[]],"passed":false},{"actual":[{},1,false,0,0,["b"]],"check":"workspace regression 3","expected":[{"b":"d","c":"e"},1,false,0,0,["b"]],"passed":false},{"actual":[{},1,false,3,0,["a"]],"check":"workspace regression 4","expected":[{"a":"d","c":"e"},1,false,3,0,["a"]],"passed":false},{"actual":[{},2,false,2,0,["b","c"]],"check":"workspace regression 5","expected":[{"b":"d","c":"d"},2,false,2,0,["b","c"]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"workspace regression 0\", \"actual\": [{}, 1, false, 2, 0, [\"b\"]], \"expected\": [{\"b\": \"d\", \"c\": \"e\"}, 1, false, 2, 0, [\"b\"]], \"passed\": false}, {\"check\": \"workspace regression 1\", \"actual\": [{}, 0, true, 1, 4, []], \"expected\": [{\"a\": \"d\", \"b\": \"d\"}, 0, true, 1, 4, []], \"passed\": false}, {\"check\": \"workspace regression 2\", \"actual\": [{}, 0, true, 2, 7, []], \"expected\": [{\"b\": \"e\", \"c\": \"f\"}, 0, true, 2, 7, []], \"passed\": false}, {\"check\": \"workspace regression 3\", \"actual\": [{}, 1, false, 0, 0, [\"b\"]], \"expected\": [{\"b\": \"d\", \"c\": \"e\"}, 1, false, 0, 0, [\"b\"]], \"passed\": false}, {\"check\": \"workspace regression 4\", \"actual\": [{}, 1, false, 3, 0, [\"a\"]], \"expected\": [{\"a\": \"d\", \"c\": \"e\"}, 1, false, 3, 0, [\"a\"]], \"passed\": false}, {\"check\": \"workspace regression 5\", \"actual\": [{}, 2, false, 2, 0, [\"b\", \"c\"]], \"expected\": [{\"b\": \"d\", \"c\": \"d\"}, 2, false, 2, 0, [\"b\", \"c\"]], \"passed\": false}], \"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."}}