{"abstract":"Projecting qubit 1 onto outcome 1 reports \"impossible\" even when that qubit is certainly excited.","category":"Quantum circuit simulation","checks":7,"contract":"Input [n, amps, q, outcome]; measure qubit q (0 = LSB) of the possibly unnormalized state. Return {\"probability\": p, \"state\": post} with p normalized by the total squared norm and the post-measurement state renormalized to unit norm with the other branch zeroed; values rounded to 6 decimals. Return \"impossible\" when p < 1e-12.","contract_signature":"x","evaluation_group":"w2-quantum_circuit_simulation-projective-collapse","failed_approach":"The attempted repair tests bool(i & (1 << q)) is outcome, an identity check between bool and int that is never true for outcome 1.","family":"w2-quantum_circuit_simulation-projective-collapse-outcome-bit-predicate-precedence","id":"FA-90906","implementations":{"attempt":{"sha256":"dea5b7965df5fdd9256751e3ee00a054bb01293492d4543194f1c6515e830c56","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    n, amps, q, outcome = x\n    psi = [complex(a, b) for a, b in amps]\n    keep = [bool(i & (1 << q)) is outcome for i in range(len(psi))]\n    p = sum(abs(v) ** 2 for i, v in enumerate(psi) if keep[i])\n    norm = sum(abs(v) ** 2 for v in psi)\n    prob = p / norm\n    if prob < 1e-12:\n        return 'impossible'\n    scale = 1 / math.sqrt(p)\n    post = [v * scale if keep[i] else 0j for i, v in enumerate(psi)]\n    return {'probability': round(prob, 6) + 0.0, 'state': [[round(v.real, 6) + 0.0, round(v.imag, 6) + 0.0] for v in post]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: random collapse 30', [3, [[0.618, -0.65], [0.455, 0.369], [-0.456, -0.554], [0.975, -0.301], [-0.036, -0.541], [-0.999, 0.041], [0.362, -0.458], [-0.248, 0.59]], 1, 1], {'probability': 0.485806, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.300254, -0.364782], [0.641991, -0.198194], [0.0, 0.0], [0.0, 0.0], [0.23836, -0.301571], [-0.163296, 0.388487]]}], ['regression: random collapse 38', [3, [[-0.953, -0.176], [0.648, 0.073], [-0.664, 0.641], [0.089, 0.712], [0.707, 0.159], [0.7, -0.359], [0.128, 0.001], [0.766, 0.55]], 1, 1], {'probability': 0.475302, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.440491, 0.425233], [0.059042, 0.472334], [0.0, 0.0], [0.0, 0.0], [0.084914, 0.000663], [0.508157, 0.364864]]}], ['repair check: measure 0 on |+>', [1, [[0.707107, 0], [0.707107, 0]], 0, 0], {'probability': 0.5, 'state': [[1.0, 0.0], [0.0, 0.0]]}], ['control: impossible outcome', [1, [[1, 0], [0, 0]], 0, 1], 'impossible'], ['control: near impossible branch', [1, [[1, 0], [1e-08, 0]], 0, 1], 'impossible'], ['control: random collapse 1', [2, [[0.5, 0.0], [0.0, 0.0], [0.0, -0.0], [-0.0, -0.0]], 0, 1], 'impossible'], ['control: random collapse 2', [2, [[0.0, 0.0], [0.0, 0.0], [0.591, 0.404], [0.405, 0.306]], 1, 0], 'impossible']], [['regression: random collapse 38', [3, [[-0.953, -0.176], [0.648, 0.073], [-0.664, 0.641], [0.089, 0.712], [0.707, 0.159], [0.7, -0.359], [0.128, 0.001], [0.766, 0.55]], 1, 1], {'probability': 0.475302, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.440491, 0.425233], [0.059042, 0.472334], [0.0, 0.0], [0.0, 0.0], [0.084914, 0.000663], [0.508157, 0.364864]]}], ['regression: random collapse 30', [3, [[0.618, -0.65], [0.455, 0.369], [-0.456, -0.554], [0.975, -0.301], [-0.036, -0.541], [-0.999, 0.041], [0.362, -0.458], [-0.248, 0.59]], 1, 1], {'probability': 0.485806, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.300254, -0.364782], [0.641991, -0.198194], [0.0, 0.0], [0.0, 0.0], [0.23836, -0.301571], [-0.163296, 0.388487]]}], ['repair check: unnormalized bell measure qubit 1', [2, [[2, 0], [0, 0], [0, 0], [2, 0]], 1, 0], {'probability': 0.5, 'state': [[1.0, 0.0], [0.0, 0.0], [0.0, 0.0], [0.0, 0.0]]}], ['control: random collapse 7', [2, [[0.5, 0.0], [-0.0, 0.0], [0.0, 0.0], [0.0, 0.0]], 0, 1], 'impossible'], ['control: random collapse 12', [1, [[0.5, 0.0], [0.0, 0.0]], 0, 1], 'impossible'], ['control: random collapse 16', [2, [[0.5, 0.0], [-0.0, 0.0], [0.0, -0.0], [-0.0, 0.0]], 0, 1], 'impossible'], ['control: random collapse 22', [2, [[0.5, 0.0], [-0.0, -0.0], [0.0, 0.0], [-0.0, -0.0]], 0, 1], 'impossible']], [['regression: random collapse 30', [3, [[0.618, -0.65], [0.455, 0.369], [-0.456, -0.554], [0.975, -0.301], [-0.036, -0.541], [-0.999, 0.041], [0.362, -0.458], [-0.248, 0.59]], 1, 1], {'probability': 0.485806, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.300254, -0.364782], [0.641991, -0.198194], [0.0, 0.0], [0.0, 0.0], [0.23836, -0.301571], [-0.163296, 0.388487]]}], ['regression: random collapse 38', [3, [[-0.953, -0.176], [0.648, 0.073], [-0.664, 0.641], [0.089, 0.712], [0.707, 0.159], [0.7, -0.359], [0.128, 0.001], [0.766, 0.55]], 1, 1], {'probability': 0.475302, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.440491, 0.425233], [0.059042, 0.472334], [0.0, 0.0], [0.0, 0.0], [0.084914, 0.000663], [0.508157, 0.364864]]}], ['repair check: random collapse 0', [1, [[-0.305, 0.494], [0.447, -0.241]], 0, 0], {'probability': 0.566536, 'state': [[-0.525346, 0.850889], [0.0, 0.0]]}], ['control: random collapse 23', [2, [[0.5, 0.0], [0.0, 0.0], [0.0, 0.0], [0.0, -0.0]], 0, 1], 'impossible'], ['control: random collapse 34', [2, [[0.5, 0.0], [0.0, 0.0], [0.0, 0.0], [-0.0, 0.0]], 1, 1], 'impossible'], ['control: random collapse 37', [3, [[0.5, 0.0], [-0.0, -0.0], [0.0, -0.0], [0.0, 0.0], [0.0, -0.0], [-0.0, 0.0], [-0.0, -0.0], [-0.0, 0.0]], 0, 1], 'impossible'], ['control: impossible outcome', [1, [[1, 0], [0, 0]], 0, 1], 'impossible']], [['regression: random collapse 38', [3, [[-0.953, -0.176], [0.648, 0.073], [-0.664, 0.641], [0.089, 0.712], [0.707, 0.159], [0.7, -0.359], [0.128, 0.001], [0.766, 0.55]], 1, 1], {'probability': 0.475302, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.440491, 0.425233], [0.059042, 0.472334], [0.0, 0.0], [0.0, 0.0], [0.084914, 0.000663], [0.508157, 0.364864]]}], ['regression: random collapse 30', [3, [[0.618, -0.65], [0.455, 0.369], [-0.456, -0.554], [0.975, -0.301], [-0.036, -0.541], [-0.999, 0.041], [0.362, -0.458], [-0.248, 0.59]], 1, 1], {'probability': 0.485806, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.300254, -0.364782], [0.641991, -0.198194], [0.0, 0.0], [0.0, 0.0], [0.23836, -0.301571], [-0.163296, 0.388487]]}], ['repair check: random collapse 4', [1, [[-0.125, -0.177], [0.075, 0.432]], 0, 0], {'probability': 0.196294, 'state': [[-0.576864, -0.81684], [0.0, 0.0]]}], ['control: near impossible branch', [1, [[1, 0], [1e-08, 0]], 0, 1], 'impossible'], ['control: random collapse 1', [2, [[0.5, 0.0], [0.0, 0.0], [0.0, -0.0], [-0.0, -0.0]], 0, 1], 'impossible'], ['control: random collapse 2', [2, [[0.0, 0.0], [0.0, 0.0], [0.591, 0.404], [0.405, 0.306]], 1, 0], 'impossible'], ['control: random collapse 7', [2, [[0.5, 0.0], [-0.0, 0.0], [0.0, 0.0], [0.0, 0.0]], 0, 1], 'impossible']], [['regression: random collapse 30', [3, [[0.618, -0.65], [0.455, 0.369], [-0.456, -0.554], [0.975, -0.301], [-0.036, -0.541], [-0.999, 0.041], [0.362, -0.458], [-0.248, 0.59]], 1, 1], {'probability': 0.485806, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.300254, -0.364782], [0.641991, -0.198194], [0.0, 0.0], [0.0, 0.0], [0.23836, -0.301571], [-0.163296, 0.388487]]}], ['regression: random collapse 38', [3, [[-0.953, -0.176], [0.648, 0.073], [-0.664, 0.641], [0.089, 0.712], [0.707, 0.159], [0.7, -0.359], [0.128, 0.001], [0.766, 0.55]], 1, 1], {'probability': 0.475302, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.440491, 0.425233], [0.059042, 0.472334], [0.0, 0.0], [0.0, 0.0], [0.084914, 0.000663], [0.508157, 0.364864]]}], ['repair check: random collapse 6', [3, [[-0.436, -0.015], [-0.35, 0.017], [0.17, 0.002], [0.369, -0.461], [0.411, -0.033], [-0.475, 0.29], [0.379, -0.067], [-0.298, 0.408]], 2, 0], {'probability': 0.438863, 'state': [[-0.524618, -0.018049], [-0.421138, 0.020455], [0.204553, 0.002407], [0.444, -0.554699], [0.0, 0.0], [0.0, 0.0], [0.0, 0.0], [0.0, 0.0]]}], ['control: random collapse 12', [1, [[0.5, 0.0], [0.0, 0.0]], 0, 1], 'impossible'], ['control: random collapse 16', [2, [[0.5, 0.0], [-0.0, 0.0], [0.0, -0.0], [-0.0, 0.0]], 0, 1], 'impossible'], ['control: random collapse 22', [2, [[0.5, 0.0], [-0.0, -0.0], [0.0, 0.0], [-0.0, -0.0]], 0, 1], 'impossible'], ['control: random collapse 23', [2, [[0.5, 0.0], [0.0, 0.0], [0.0, 0.0], [0.0, -0.0]], 0, 1], 'impossible']]]\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":"454dc9bc1af51a86392f647b5b7f3fa286608e4851d375ccfe655b969b1223ba","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    n, amps, q, outcome = x\n    psi = [complex(a, b) for a, b in amps]\n    keep = [(i & (1 << q)) == outcome for i in range(len(psi))]\n    p = sum(abs(v) ** 2 for i, v in enumerate(psi) if keep[i])\n    norm = sum(abs(v) ** 2 for v in psi)\n    prob = p / norm\n    if prob < 1e-12:\n        return 'impossible'\n    scale = 1 / math.sqrt(p)\n    post = [v * scale if keep[i] else 0j for i, v in enumerate(psi)]\n    return {'probability': round(prob, 6) + 0.0, 'state': [[round(v.real, 6) + 0.0, round(v.imag, 6) + 0.0] for v in post]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: random collapse 30', [3, [[0.618, -0.65], [0.455, 0.369], [-0.456, -0.554], [0.975, -0.301], [-0.036, -0.541], [-0.999, 0.041], [0.362, -0.458], [-0.248, 0.59]], 1, 1], {'probability': 0.485806, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.300254, -0.364782], [0.641991, -0.198194], [0.0, 0.0], [0.0, 0.0], [0.23836, -0.301571], [-0.163296, 0.388487]]}], ['regression: random collapse 38', [3, [[-0.953, -0.176], [0.648, 0.073], [-0.664, 0.641], [0.089, 0.712], [0.707, 0.159], [0.7, -0.359], [0.128, 0.001], [0.766, 0.55]], 1, 1], {'probability': 0.475302, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.440491, 0.425233], [0.059042, 0.472334], [0.0, 0.0], [0.0, 0.0], [0.084914, 0.000663], [0.508157, 0.364864]]}], ['repair check: measure 0 on |+>', [1, [[0.707107, 0], [0.707107, 0]], 0, 0], {'probability': 0.5, 'state': [[1.0, 0.0], [0.0, 0.0]]}], ['control: impossible outcome', [1, [[1, 0], [0, 0]], 0, 1], 'impossible'], ['control: near impossible branch', [1, [[1, 0], [1e-08, 0]], 0, 1], 'impossible'], ['control: random collapse 1', [2, [[0.5, 0.0], [0.0, 0.0], [0.0, -0.0], [-0.0, -0.0]], 0, 1], 'impossible'], ['control: random collapse 2', [2, [[0.0, 0.0], [0.0, 0.0], [0.591, 0.404], [0.405, 0.306]], 1, 0], 'impossible']], [['regression: random collapse 38', [3, [[-0.953, -0.176], [0.648, 0.073], [-0.664, 0.641], [0.089, 0.712], [0.707, 0.159], [0.7, -0.359], [0.128, 0.001], [0.766, 0.55]], 1, 1], {'probability': 0.475302, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.440491, 0.425233], [0.059042, 0.472334], [0.0, 0.0], [0.0, 0.0], [0.084914, 0.000663], [0.508157, 0.364864]]}], ['regression: random collapse 30', [3, [[0.618, -0.65], [0.455, 0.369], [-0.456, -0.554], [0.975, -0.301], [-0.036, -0.541], [-0.999, 0.041], [0.362, -0.458], [-0.248, 0.59]], 1, 1], {'probability': 0.485806, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.300254, -0.364782], [0.641991, -0.198194], [0.0, 0.0], [0.0, 0.0], [0.23836, -0.301571], [-0.163296, 0.388487]]}], ['repair check: unnormalized bell measure qubit 1', [2, [[2, 0], [0, 0], [0, 0], [2, 0]], 1, 0], {'probability': 0.5, 'state': [[1.0, 0.0], [0.0, 0.0], [0.0, 0.0], [0.0, 0.0]]}], ['control: random collapse 7', [2, [[0.5, 0.0], [-0.0, 0.0], [0.0, 0.0], [0.0, 0.0]], 0, 1], 'impossible'], ['control: random collapse 12', [1, [[0.5, 0.0], [0.0, 0.0]], 0, 1], 'impossible'], ['control: random collapse 16', [2, [[0.5, 0.0], [-0.0, 0.0], [0.0, -0.0], [-0.0, 0.0]], 0, 1], 'impossible'], ['control: random collapse 22', [2, [[0.5, 0.0], [-0.0, -0.0], [0.0, 0.0], [-0.0, -0.0]], 0, 1], 'impossible']], [['regression: random collapse 30', [3, [[0.618, -0.65], [0.455, 0.369], [-0.456, -0.554], [0.975, -0.301], [-0.036, -0.541], [-0.999, 0.041], [0.362, -0.458], [-0.248, 0.59]], 1, 1], {'probability': 0.485806, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.300254, -0.364782], [0.641991, -0.198194], [0.0, 0.0], [0.0, 0.0], [0.23836, -0.301571], [-0.163296, 0.388487]]}], ['regression: random collapse 38', [3, [[-0.953, -0.176], [0.648, 0.073], [-0.664, 0.641], [0.089, 0.712], [0.707, 0.159], [0.7, -0.359], [0.128, 0.001], [0.766, 0.55]], 1, 1], {'probability': 0.475302, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.440491, 0.425233], [0.059042, 0.472334], [0.0, 0.0], [0.0, 0.0], [0.084914, 0.000663], [0.508157, 0.364864]]}], ['repair check: random collapse 0', [1, [[-0.305, 0.494], [0.447, -0.241]], 0, 0], {'probability': 0.566536, 'state': [[-0.525346, 0.850889], [0.0, 0.0]]}], ['control: random collapse 23', [2, [[0.5, 0.0], [0.0, 0.0], [0.0, 0.0], [0.0, -0.0]], 0, 1], 'impossible'], ['control: random collapse 34', [2, [[0.5, 0.0], [0.0, 0.0], [0.0, 0.0], [-0.0, 0.0]], 1, 1], 'impossible'], ['control: random collapse 37', [3, [[0.5, 0.0], [-0.0, -0.0], [0.0, -0.0], [0.0, 0.0], [0.0, -0.0], [-0.0, 0.0], [-0.0, -0.0], [-0.0, 0.0]], 0, 1], 'impossible'], ['control: impossible outcome', [1, [[1, 0], [0, 0]], 0, 1], 'impossible']], [['regression: random collapse 38', [3, [[-0.953, -0.176], [0.648, 0.073], [-0.664, 0.641], [0.089, 0.712], [0.707, 0.159], [0.7, -0.359], [0.128, 0.001], [0.766, 0.55]], 1, 1], {'probability': 0.475302, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.440491, 0.425233], [0.059042, 0.472334], [0.0, 0.0], [0.0, 0.0], [0.084914, 0.000663], [0.508157, 0.364864]]}], ['regression: random collapse 30', [3, [[0.618, -0.65], [0.455, 0.369], [-0.456, -0.554], [0.975, -0.301], [-0.036, -0.541], [-0.999, 0.041], [0.362, -0.458], [-0.248, 0.59]], 1, 1], {'probability': 0.485806, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.300254, -0.364782], [0.641991, -0.198194], [0.0, 0.0], [0.0, 0.0], [0.23836, -0.301571], [-0.163296, 0.388487]]}], ['repair check: random collapse 4', [1, [[-0.125, -0.177], [0.075, 0.432]], 0, 0], {'probability': 0.196294, 'state': [[-0.576864, -0.81684], [0.0, 0.0]]}], ['control: near impossible branch', [1, [[1, 0], [1e-08, 0]], 0, 1], 'impossible'], ['control: random collapse 1', [2, [[0.5, 0.0], [0.0, 0.0], [0.0, -0.0], [-0.0, -0.0]], 0, 1], 'impossible'], ['control: random collapse 2', [2, [[0.0, 0.0], [0.0, 0.0], [0.591, 0.404], [0.405, 0.306]], 1, 0], 'impossible'], ['control: random collapse 7', [2, [[0.5, 0.0], [-0.0, 0.0], [0.0, 0.0], [0.0, 0.0]], 0, 1], 'impossible']], [['regression: random collapse 30', [3, [[0.618, -0.65], [0.455, 0.369], [-0.456, -0.554], [0.975, -0.301], [-0.036, -0.541], [-0.999, 0.041], [0.362, -0.458], [-0.248, 0.59]], 1, 1], {'probability': 0.485806, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.300254, -0.364782], [0.641991, -0.198194], [0.0, 0.0], [0.0, 0.0], [0.23836, -0.301571], [-0.163296, 0.388487]]}], ['regression: random collapse 38', [3, [[-0.953, -0.176], [0.648, 0.073], [-0.664, 0.641], [0.089, 0.712], [0.707, 0.159], [0.7, -0.359], [0.128, 0.001], [0.766, 0.55]], 1, 1], {'probability': 0.475302, 'state': [[0.0, 0.0], [0.0, 0.0], [-0.440491, 0.425233], [0.059042, 0.472334], [0.0, 0.0], [0.0, 0.0], [0.084914, 0.000663], [0.508157, 0.364864]]}], ['repair check: random collapse 6', [3, [[-0.436, -0.015], [-0.35, 0.017], [0.17, 0.002], [0.369, -0.461], [0.411, -0.033], [-0.475, 0.29], [0.379, -0.067], [-0.298, 0.408]], 2, 0], {'probability': 0.438863, 'state': [[-0.524618, -0.018049], [-0.421138, 0.020455], [0.204553, 0.002407], [0.444, -0.554699], [0.0, 0.0], [0.0, 0.0], [0.0, 0.0], [0.0, 0.0]]}], ['control: random collapse 12', [1, [[0.5, 0.0], [0.0, 0.0]], 0, 1], 'impossible'], ['control: random collapse 16', [2, [[0.5, 0.0], [-0.0, 0.0], [0.0, -0.0], [-0.0, 0.0]], 0, 1], 'impossible'], ['control: random collapse 22', [2, [[0.5, 0.0], [-0.0, -0.0], [0.0, 0.0], [-0.0, -0.0]], 0, 1], 'impossible'], ['control: random collapse 23', [2, [[0.5, 0.0], [0.0, 0.0], [0.0, 0.0], [0.0, -0.0]], 0, 1], 'impossible']]]\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; amplitudes are rounded to fixed decimals for strict JSON output. It is not a production quantum SDK 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-quantum_circuit_simulation-projective-collapse-outcome-bit-predicate-precedence","generated_at":"2026-09-29T14:51:30.994928+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Mid-circuit measurement and collapse drive dynamic circuits; wrong renormalization breaks every later probability.","root_cause":"The branch predicate compares the masked value i & (1 << q), which is 0 or 2**q, directly to the outcome 0 or 1.","sha256":"d06031e64c52e2b366f6824fc7eb04936980836b1d210d2e4a3e430cb01fe38c","title":"Collapse outcome test drops parentheses around the bit extraction · 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":39.353,"exit_code":1,"observations":[{"actual":"impossible","check":"regression: random collapse 30","expected":{"probability":0.485806,"state":[[0.0,0.0],[0.0,0.0],[-0.300254,-0.364782],[0.641991,-0.198194],[0.0,0.0],[0.0,0.0],[0.23836,-0.301571],[-0.163296,0.388487]]},"passed":false},{"actual":"impossible","check":"regression: random collapse 38","expected":{"probability":0.475302,"state":[[0.0,0.0],[0.0,0.0],[-0.440491,0.425233],[0.059042,0.472334],[0.0,0.0],[0.0,0.0],[0.084914,0.000663],[0.508157,0.364864]]},"passed":false},{"actual":"impossible","check":"repair check: measure 0 on |+>","expected":{"probability":0.5,"state":[[1.0,0.0],[0.0,0.0]]},"passed":false},{"actual":"impossible","check":"control: impossible outcome","expected":"impossible","passed":true},{"actual":"impossible","check":"control: near impossible branch","expected":"impossible","passed":true},{"actual":"impossible","check":"control: random collapse 1","expected":"impossible","passed":true},{"actual":"impossible","check":"control: random collapse 2","expected":"impossible","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: random collapse 30\", \"actual\": \"impossible\", \"expected\": {\"probability\": 0.485806, \"state\": [[0.0, 0.0], [0.0, 0.0], [-0.300254, -0.364782], [0.641991, -0.198194], [0.0, 0.0], [0.0, 0.0], [0.23836, -0.301571], [-0.163296, 0.388487]]}, \"passed\": false}, {\"check\": \"regression: random collapse 38\", \"actual\": \"impossible\", \"expected\": {\"probability\": 0.475302, \"state\": [[0.0, 0.0], [0.0, 0.0], [-0.440491, 0.425233], [0.059042, 0.472334], [0.0, 0.0], [0.0, 0.0], [0.084914, 0.000663], [0.508157, 0.364864]]}, \"passed\": false}, {\"check\": \"repair check: measure 0 on |+>\", \"actual\": \"impossible\", \"expected\": {\"probability\": 0.5, \"state\": [[1.0, 0.0], [0.0, 0.0]]}, \"passed\": false}, {\"check\": \"control: impossible outcome\", \"actual\": \"impossible\", \"expected\": \"impossible\", \"passed\": true}, {\"check\": \"control: near impossible branch\", \"actual\": \"impossible\", \"expected\": \"impossible\", \"passed\": true}, {\"check\": \"control: random collapse 1\", \"actual\": \"impossible\", \"expected\": \"impossible\", \"passed\": true}, {\"check\": \"control: random collapse 2\", \"actual\": \"impossible\", \"expected\": \"impossible\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.522,"exit_code":1,"observations":[{"actual":"impossible","check":"regression: random collapse 30","expected":{"probability":0.485806,"state":[[0.0,0.0],[0.0,0.0],[-0.300254,-0.364782],[0.641991,-0.198194],[0.0,0.0],[0.0,0.0],[0.23836,-0.301571],[-0.163296,0.388487]]},"passed":false},{"actual":"impossible","check":"regression: random collapse 38","expected":{"probability":0.475302,"state":[[0.0,0.0],[0.0,0.0],[-0.440491,0.425233],[0.059042,0.472334],[0.0,0.0],[0.0,0.0],[0.084914,0.000663],[0.508157,0.364864]]},"passed":false},{"actual":{"probability":0.5,"state":[[1.0,0.0],[0.0,0.0]]},"check":"repair check: measure 0 on |+>","expected":{"probability":0.5,"state":[[1.0,0.0],[0.0,0.0]]},"passed":true},{"actual":"impossible","check":"control: impossible outcome","expected":"impossible","passed":true},{"actual":"impossible","check":"control: near impossible branch","expected":"impossible","passed":true},{"actual":"impossible","check":"control: random collapse 1","expected":"impossible","passed":true},{"actual":"impossible","check":"control: random collapse 2","expected":"impossible","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: random collapse 30\", \"actual\": \"impossible\", \"expected\": {\"probability\": 0.485806, \"state\": [[0.0, 0.0], [0.0, 0.0], [-0.300254, -0.364782], [0.641991, -0.198194], [0.0, 0.0], [0.0, 0.0], [0.23836, -0.301571], [-0.163296, 0.388487]]}, \"passed\": false}, {\"check\": \"regression: random collapse 38\", \"actual\": \"impossible\", \"expected\": {\"probability\": 0.475302, \"state\": [[0.0, 0.0], [0.0, 0.0], [-0.440491, 0.425233], [0.059042, 0.472334], [0.0, 0.0], [0.0, 0.0], [0.084914, 0.000663], [0.508157, 0.364864]]}, \"passed\": false}, {\"check\": \"repair check: measure 0 on |+>\", \"actual\": {\"probability\": 0.5, \"state\": [[1.0, 0.0], [0.0, 0.0]]}, \"expected\": {\"probability\": 0.5, \"state\": [[1.0, 0.0], [0.0, 0.0]]}, \"passed\": true}, {\"check\": \"control: impossible outcome\", \"actual\": \"impossible\", \"expected\": \"impossible\", \"passed\": true}, {\"check\": \"control: near impossible branch\", \"actual\": \"impossible\", \"expected\": \"impossible\", \"passed\": true}, {\"check\": \"control: random collapse 1\", \"actual\": \"impossible\", \"expected\": \"impossible\", \"passed\": true}, {\"check\": \"control: random collapse 2\", \"actual\": \"impossible\", \"expected\": \"impossible\", \"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."}}