{"abstract":"The bounded interval endpoints certificate reports an incorrect minimum.","category":"Heap invariants","checks":7,"contract":"An interval heap stores ordered pairs [lo,hi] except the last node may be singleton [x]. Report reversed intervals, low-end heap violations, high-end heap violations treating singleton as both endpoints, global minimum, global maximum, and member count.","contract_signature":"d","evaluation_group":"s3-heap-model-interval-endpoints","failed_approach":"The local patch uses lows[-1] if a else None and still violates the stated relation.","family":"s3-heap-interval-endpoints-minimum","id":"FA-40426","implementations":{"attempt":{"sha256":"e1f7233b78b126b28b0b8e34c00e4acba1e9a2a5316fe6ea6928e670d15247a4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['intervals']; n=len(a); lows=[x[0] for x in a]; highs=[x[-1] for x in a]\n    return {'reversed': [i for i,x in enumerate(a) if x[0]>x[-1]],\n    'low_order': [i for i in range(1,n) if lows[i]<lows[(i-1)//2]],\n    'high_order': [i for i in range(1,n) if highs[i]>highs[(i-1)//2]],\n    'minimum': lows[-1] if a else None,\n    'maximum': highs[0] if a else None,\n    'members': sum(len(x) for x in a)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'intervals': []}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': None, 'maximum': None, 'members': 0}), ({'intervals': [[4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 4, 'maximum': 4, 'members': 1}), ({'intervals': [[1, 9], [2, 7], [3]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 5}), ({'intervals': [[1, 8], [2, 7], [9]]}, {'reversed': [], 'low_order': [], 'high_order': [2], 'minimum': 1, 'maximum': 8, 'members': 5}), ({'intervals': [[5, 3], [1, 6], [4, 8]]}, {'reversed': [0], 'low_order': [1, 2], 'high_order': [1, 2], 'minimum': 5, 'maximum': 3, 'members': 6}), ({'intervals': [[1, 9], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 8}), ({'intervals': [[1, 10], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 10, 'members': 8})], [({'intervals': []}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': None, 'maximum': None, 'members': 0}), ({'intervals': [[4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 4, 'maximum': 4, 'members': 1}), ({'intervals': [[1, 9], [2, 7], [3]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 5}), ({'intervals': [[1, 8], [2, 7], [9]]}, {'reversed': [], 'low_order': [], 'high_order': [2], 'minimum': 1, 'maximum': 8, 'members': 5}), ({'intervals': [[5, 3], [1, 6], [4, 8]]}, {'reversed': [0], 'low_order': [1, 2], 'high_order': [1, 2], 'minimum': 5, 'maximum': 3, 'members': 6}), ({'intervals': [[1, 9], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 8}), ({'intervals': [[1, 11], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 11, 'members': 8})], [({'intervals': []}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': None, 'maximum': None, 'members': 0}), ({'intervals': [[4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 4, 'maximum': 4, 'members': 1}), ({'intervals': [[1, 9], [2, 7], [3]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 5}), ({'intervals': [[1, 8], [2, 7], [9]]}, {'reversed': [], 'low_order': [], 'high_order': [2], 'minimum': 1, 'maximum': 8, 'members': 5}), ({'intervals': [[5, 3], [1, 6], [4, 8]]}, {'reversed': [0], 'low_order': [1, 2], 'high_order': [1, 2], 'minimum': 5, 'maximum': 3, 'members': 6}), ({'intervals': [[1, 9], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 8}), ({'intervals': [[1, 12], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 12, 'members': 8})], [({'intervals': []}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': None, 'maximum': None, 'members': 0}), ({'intervals': [[4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 4, 'maximum': 4, 'members': 1}), ({'intervals': [[1, 9], [2, 7], [3]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 5}), ({'intervals': [[1, 8], [2, 7], [9]]}, {'reversed': [], 'low_order': [], 'high_order': [2], 'minimum': 1, 'maximum': 8, 'members': 5}), ({'intervals': [[5, 3], [1, 6], [4, 8]]}, {'reversed': [0], 'low_order': [1, 2], 'high_order': [1, 2], 'minimum': 5, 'maximum': 3, 'members': 6}), ({'intervals': [[1, 9], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 8}), ({'intervals': [[1, 13], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 13, 'members': 8})], [({'intervals': []}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': None, 'maximum': None, 'members': 0}), ({'intervals': [[4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 4, 'maximum': 4, 'members': 1}), ({'intervals': [[1, 9], [2, 7], [3]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 5}), ({'intervals': [[1, 8], [2, 7], [9]]}, {'reversed': [], 'low_order': [], 'high_order': [2], 'minimum': 1, 'maximum': 8, 'members': 5}), ({'intervals': [[5, 3], [1, 6], [4, 8]]}, {'reversed': [0], 'low_order': [1, 2], 'high_order': [1, 2], 'minimum': 5, 'maximum': 3, 'members': 6}), ({'intervals': [[1, 9], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 8}), ({'intervals': [[1, 14], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 14, 'members': 8})]][N-1]\ncheck('regression certificate 1', solve(cases[0][0]), cases[0][1])\ncheck('regression certificate 2', solve(cases[1][0]), cases[1][1])\ncheck('regression certificate 3', solve(cases[2][0]), cases[2][1])\ncheck('regression certificate 4', solve(cases[3][0]), cases[3][1])\ncheck('regression certificate 5', solve(cases[4][0]), cases[4][1])\ncheck('regression certificate 6', solve(cases[5][0]), cases[5][1])\ncheck('variant-dependent certificate', solve(cases[6][0]), cases[6][1])\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":"015f0b5933f1e1f400872549c69a7020eb21e7ed502a37fdbe868991b946c7de","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['intervals']; n=len(a); lows=[x[0] for x in a]; highs=[x[-1] for x in a]\n    return {'reversed': [i for i,x in enumerate(a) if x[0]>x[-1]],\n    'low_order': [i for i in range(1,n) if lows[i]<lows[(i-1)//2]],\n    'high_order': [i for i in range(1,n) if highs[i]>highs[(i-1)//2]],\n    'minimum': min(highs) if a else None,\n    'maximum': highs[0] if a else None,\n    'members': sum(len(x) for x in a)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'intervals': []}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': None, 'maximum': None, 'members': 0}), ({'intervals': [[4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 4, 'maximum': 4, 'members': 1}), ({'intervals': [[1, 9], [2, 7], [3]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 5}), ({'intervals': [[1, 8], [2, 7], [9]]}, {'reversed': [], 'low_order': [], 'high_order': [2], 'minimum': 1, 'maximum': 8, 'members': 5}), ({'intervals': [[5, 3], [1, 6], [4, 8]]}, {'reversed': [0], 'low_order': [1, 2], 'high_order': [1, 2], 'minimum': 5, 'maximum': 3, 'members': 6}), ({'intervals': [[1, 9], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 8}), ({'intervals': [[1, 10], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 10, 'members': 8})], [({'intervals': []}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': None, 'maximum': None, 'members': 0}), ({'intervals': [[4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 4, 'maximum': 4, 'members': 1}), ({'intervals': [[1, 9], [2, 7], [3]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 5}), ({'intervals': [[1, 8], [2, 7], [9]]}, {'reversed': [], 'low_order': [], 'high_order': [2], 'minimum': 1, 'maximum': 8, 'members': 5}), ({'intervals': [[5, 3], [1, 6], [4, 8]]}, {'reversed': [0], 'low_order': [1, 2], 'high_order': [1, 2], 'minimum': 5, 'maximum': 3, 'members': 6}), ({'intervals': [[1, 9], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 8}), ({'intervals': [[1, 11], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 11, 'members': 8})], [({'intervals': []}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': None, 'maximum': None, 'members': 0}), ({'intervals': [[4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 4, 'maximum': 4, 'members': 1}), ({'intervals': [[1, 9], [2, 7], [3]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 5}), ({'intervals': [[1, 8], [2, 7], [9]]}, {'reversed': [], 'low_order': [], 'high_order': [2], 'minimum': 1, 'maximum': 8, 'members': 5}), ({'intervals': [[5, 3], [1, 6], [4, 8]]}, {'reversed': [0], 'low_order': [1, 2], 'high_order': [1, 2], 'minimum': 5, 'maximum': 3, 'members': 6}), ({'intervals': [[1, 9], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 8}), ({'intervals': [[1, 12], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 12, 'members': 8})], [({'intervals': []}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': None, 'maximum': None, 'members': 0}), ({'intervals': [[4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 4, 'maximum': 4, 'members': 1}), ({'intervals': [[1, 9], [2, 7], [3]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 5}), ({'intervals': [[1, 8], [2, 7], [9]]}, {'reversed': [], 'low_order': [], 'high_order': [2], 'minimum': 1, 'maximum': 8, 'members': 5}), ({'intervals': [[5, 3], [1, 6], [4, 8]]}, {'reversed': [0], 'low_order': [1, 2], 'high_order': [1, 2], 'minimum': 5, 'maximum': 3, 'members': 6}), ({'intervals': [[1, 9], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 8}), ({'intervals': [[1, 13], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 13, 'members': 8})], [({'intervals': []}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': None, 'maximum': None, 'members': 0}), ({'intervals': [[4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 4, 'maximum': 4, 'members': 1}), ({'intervals': [[1, 9], [2, 7], [3]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 5}), ({'intervals': [[1, 8], [2, 7], [9]]}, {'reversed': [], 'low_order': [], 'high_order': [2], 'minimum': 1, 'maximum': 8, 'members': 5}), ({'intervals': [[5, 3], [1, 6], [4, 8]]}, {'reversed': [0], 'low_order': [1, 2], 'high_order': [1, 2], 'minimum': 5, 'maximum': 3, 'members': 6}), ({'intervals': [[1, 9], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 9, 'members': 8}), ({'intervals': [[1, 14], [2, 8], [3, 7], [4, 4]]}, {'reversed': [], 'low_order': [], 'high_order': [], 'minimum': 1, 'maximum': 14, 'members': 8})]][N-1]\ncheck('regression certificate 1', solve(cases[0][0]), cases[0][1])\ncheck('regression certificate 2', solve(cases[1][0]), cases[1][1])\ncheck('regression certificate 3', solve(cases[2][0]), cases[2][1])\ncheck('regression certificate 4', solve(cases[3][0]), cases[3][1])\ncheck('regression certificate 5', solve(cases[4][0]), cases[4][1])\ncheck('regression certificate 6', solve(cases[5][0]), cases[5][1])\ncheck('variant-dependent certificate', solve(cases[6][0]), cases[6][1])\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 stipulated offline diagnostic model; it does not implement a production allocator, concurrency protocol, or complete heap library. 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-heap-interval-endpoints-minimum","generated_at":"2026-09-29T14:43:31.142837+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"This isolates an internal heap representation or priority-structure invariant using deterministic finite records.","root_cause":"Interval heap minimum is the root lower endpoint.","sha256":"b420315942b9add6c8a04a48961fc3a80463076c4c0a4775c51161272eafac5b","title":"Interval heap minimum is the root lower endpoint · case 01","variant":1,"variant_policy":"Six explicit regression certificates are retained; a seventh changes structural size, position, priority, or bounds with N.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":42.228,"exit_code":1,"observations":[{"actual":{"high_order":[],"low_order":[],"maximum":null,"members":0,"minimum":null,"reversed":[]},"check":"regression certificate 1","expected":{"high_order":[],"low_order":[],"maximum":null,"members":0,"minimum":null,"reversed":[]},"passed":true},{"actual":{"high_order":[],"low_order":[],"maximum":4,"members":1,"minimum":4,"reversed":[]},"check":"regression certificate 2","expected":{"high_order":[],"low_order":[],"maximum":4,"members":1,"minimum":4,"reversed":[]},"passed":true},{"actual":{"high_order":[],"low_order":[],"maximum":9,"members":5,"minimum":3,"reversed":[]},"check":"regression certificate 3","expected":{"high_order":[],"low_order":[],"maximum":9,"members":5,"minimum":1,"reversed":[]},"passed":false},{"actual":{"high_order":[2],"low_order":[],"maximum":8,"members":5,"minimum":9,"reversed":[]},"check":"regression certificate 4","expected":{"high_order":[2],"low_order":[],"maximum":8,"members":5,"minimum":1,"reversed":[]},"passed":false},{"actual":{"high_order":[1,2],"low_order":[1,2],"maximum":3,"members":6,"minimum":4,"reversed":[0]},"check":"regression certificate 5","expected":{"high_order":[1,2],"low_order":[1,2],"maximum":3,"members":6,"minimum":5,"reversed":[0]},"passed":false},{"actual":{"high_order":[],"low_order":[],"maximum":9,"members":8,"minimum":4,"reversed":[]},"check":"regression certificate 6","expected":{"high_order":[],"low_order":[],"maximum":9,"members":8,"minimum":1,"reversed":[]},"passed":false},{"actual":{"high_order":[],"low_order":[],"maximum":10,"members":8,"minimum":4,"reversed":[]},"check":"variant-dependent certificate","expected":{"high_order":[],"low_order":[],"maximum":10,"members":8,"minimum":1,"reversed":[]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": null, \"maximum\": null, \"members\": 0}, \"expected\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": null, \"maximum\": null, \"members\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 4, \"maximum\": 4, \"members\": 1}, \"expected\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 4, \"maximum\": 4, \"members\": 1}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 3, \"maximum\": 9, \"members\": 5}, \"expected\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 1, \"maximum\": 9, \"members\": 5}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"reversed\": [], \"low_order\": [], \"high_order\": [2], \"minimum\": 9, \"maximum\": 8, \"members\": 5}, \"expected\": {\"reversed\": [], \"low_order\": [], \"high_order\": [2], \"minimum\": 1, \"maximum\": 8, \"members\": 5}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"reversed\": [0], \"low_order\": [1, 2], \"high_order\": [1, 2], \"minimum\": 4, \"maximum\": 3, \"members\": 6}, \"expected\": {\"reversed\": [0], \"low_order\": [1, 2], \"high_order\": [1, 2], \"minimum\": 5, \"maximum\": 3, \"members\": 6}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 4, \"maximum\": 9, \"members\": 8}, \"expected\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 1, \"maximum\": 9, \"members\": 8}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 4, \"maximum\": 10, \"members\": 8}, \"expected\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 1, \"maximum\": 10, \"members\": 8}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.632,"exit_code":1,"observations":[{"actual":{"high_order":[],"low_order":[],"maximum":null,"members":0,"minimum":null,"reversed":[]},"check":"regression certificate 1","expected":{"high_order":[],"low_order":[],"maximum":null,"members":0,"minimum":null,"reversed":[]},"passed":true},{"actual":{"high_order":[],"low_order":[],"maximum":4,"members":1,"minimum":4,"reversed":[]},"check":"regression certificate 2","expected":{"high_order":[],"low_order":[],"maximum":4,"members":1,"minimum":4,"reversed":[]},"passed":true},{"actual":{"high_order":[],"low_order":[],"maximum":9,"members":5,"minimum":3,"reversed":[]},"check":"regression certificate 3","expected":{"high_order":[],"low_order":[],"maximum":9,"members":5,"minimum":1,"reversed":[]},"passed":false},{"actual":{"high_order":[2],"low_order":[],"maximum":8,"members":5,"minimum":7,"reversed":[]},"check":"regression certificate 4","expected":{"high_order":[2],"low_order":[],"maximum":8,"members":5,"minimum":1,"reversed":[]},"passed":false},{"actual":{"high_order":[1,2],"low_order":[1,2],"maximum":3,"members":6,"minimum":3,"reversed":[0]},"check":"regression certificate 5","expected":{"high_order":[1,2],"low_order":[1,2],"maximum":3,"members":6,"minimum":5,"reversed":[0]},"passed":false},{"actual":{"high_order":[],"low_order":[],"maximum":9,"members":8,"minimum":4,"reversed":[]},"check":"regression certificate 6","expected":{"high_order":[],"low_order":[],"maximum":9,"members":8,"minimum":1,"reversed":[]},"passed":false},{"actual":{"high_order":[],"low_order":[],"maximum":10,"members":8,"minimum":4,"reversed":[]},"check":"variant-dependent certificate","expected":{"high_order":[],"low_order":[],"maximum":10,"members":8,"minimum":1,"reversed":[]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": null, \"maximum\": null, \"members\": 0}, \"expected\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": null, \"maximum\": null, \"members\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 4, \"maximum\": 4, \"members\": 1}, \"expected\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 4, \"maximum\": 4, \"members\": 1}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 3, \"maximum\": 9, \"members\": 5}, \"expected\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 1, \"maximum\": 9, \"members\": 5}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"reversed\": [], \"low_order\": [], \"high_order\": [2], \"minimum\": 7, \"maximum\": 8, \"members\": 5}, \"expected\": {\"reversed\": [], \"low_order\": [], \"high_order\": [2], \"minimum\": 1, \"maximum\": 8, \"members\": 5}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"reversed\": [0], \"low_order\": [1, 2], \"high_order\": [1, 2], \"minimum\": 3, \"maximum\": 3, \"members\": 6}, \"expected\": {\"reversed\": [0], \"low_order\": [1, 2], \"high_order\": [1, 2], \"minimum\": 5, \"maximum\": 3, \"members\": 6}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 4, \"maximum\": 9, \"members\": 8}, \"expected\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 1, \"maximum\": 9, \"members\": 8}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 4, \"maximum\": 10, \"members\": 8}, \"expected\": {\"reversed\": [], \"low_order\": [], \"high_order\": [], \"minimum\": 1, \"maximum\": 10, \"members\": 8}, \"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."}}