{"abstract":"The bounded run frontier certificate reports an incorrect exhausted.","category":"Heap invariants","checks":7,"contract":"A k-way heap merge frontier stores one cursor per sorted run. A frontier item identifies run r and its current offset. Pop run r current item, advance only its offset, omit exhausted runs, and report next head candidates sorted by (value,run). Return emitted value, cursor vector, heads, exhausted runs, remaining item count, and next run.","evaluation_group":"s3-heap-model-run-frontier","failed_approach":"The local patch uses [i for i,x in enumerate(runs) if not x] and still violates the stated relation.","family":"s3-heap-run-frontier-exhausted","id":"FA-41146","implementations":{"attempt":{"sha256":"c34b87357345734fd5e8f19991637a4fb693889ba909dbe27bad8d5f5f276527","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    runs=d['runs']; offsets=d['offsets']; r=d['pop_run']; out=list(offsets); value=runs[r][out[r]]; out[r]+=1; heads=sorted([[runs[i][k],i] for i,k in enumerate(out) if k<len(runs[i])])\n    return {'emitted': value,\n    'offsets': out,\n    'heads': heads,\n    'exhausted': [i for i,x in enumerate(runs) if not x],\n    'remaining': sum(len(x)-k for x,k in zip(runs,out)),\n    'next_run': heads[0][1] if heads else None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 4], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 4, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})], [({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 5], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 5, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})], [({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 6], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 6, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})], [({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 7], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 7, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})], [({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 8], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 8, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})]][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":"e873514c1480f5a7adb814cb4d5f772bf35810f2698f4aae591234fce1ac480b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    runs=d['runs']; offsets=d['offsets']; r=d['pop_run']; out=list(offsets); value=runs[r][out[r]]; out[r]+=1; heads=sorted([[runs[i][k],i] for i,k in enumerate(out) if k<len(runs[i])])\n    return {'emitted': value,\n    'offsets': out,\n    'heads': heads,\n    'exhausted': [i for i,k in enumerate(out) if k>len(runs[i])],\n    'remaining': sum(len(x)-k for x,k in zip(runs,out)),\n    'next_run': heads[0][1] if heads else None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 4], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 4, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})], [({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 5], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 5, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})], [({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 6], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 6, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})], [({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 7], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 7, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})], [({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 8], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 8, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})]][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"},"fixed":{"sha256":"e1deaab08db193e80909ff4c9a269bd947bd2cac8183ccefe539abe6c3697ad4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    runs=d['runs']; offsets=d['offsets']; r=d['pop_run']; out=list(offsets); value=runs[r][out[r]]; out[r]+=1; heads=sorted([[runs[i][k],i] for i,k in enumerate(out) if k<len(runs[i])])\n    return {'emitted': value,\n    'offsets': out,\n    'heads': heads,\n    'exhausted': [i for i,k in enumerate(out) if k==len(runs[i])],\n    'remaining': sum(len(x)-k for x,k in zip(runs,out)),\n    'next_run': heads[0][1] if heads else None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 4], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 4, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})], [({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 5], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 5, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})], [({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 6], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 6, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})], [({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 7], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 7, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})], [({'runs': [[1]], 'offsets': [0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1], 'heads': [], 'exhausted': [0], 'remaining': 0, 'next_run': None}), ({'runs': [[1, 3], [2, 4]], 'offsets': [0, 0], 'pop_run': 0}, {'emitted': 1, 'offsets': [1, 0], 'heads': [[2, 1], [3, 0]], 'exhausted': [], 'remaining': 3, 'next_run': 1}), ({'runs': [[1, 5, 9], [2, 4, 8]], 'offsets': [1, 1], 'pop_run': 1}, {'emitted': 4, 'offsets': [1, 2], 'heads': [[5, 0], [8, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[1, 2], [], [3]], 'offsets': [1, 0, 0], 'pop_run': 0}, {'emitted': 2, 'offsets': [2, 0, 0], 'heads': [[3, 2]], 'exhausted': [0, 1], 'remaining': 1, 'next_run': 2}), ({'runs': [[1, 4], [1, 3]], 'offsets': [0, 0], 'pop_run': 1}, {'emitted': 1, 'offsets': [0, 1], 'heads': [[1, 0], [3, 1]], 'exhausted': [], 'remaining': 3, 'next_run': 0}), ({'runs': [[2, 3], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 3, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None}), ({'runs': [[2, 8], [1]], 'offsets': [1, 1], 'pop_run': 0}, {'emitted': 8, 'offsets': [2, 1], 'heads': [], 'exhausted': [0, 1], 'remaining': 0, 'next_run': None})]][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-run-frontier-exhausted","generated_at":"2026-09-29T14:43:38.005382+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.","repair":"Derive exhausted using [i for i,k in enumerate(out) if k==len(runs[i])] under the stated bounded certificate contract.","root_cause":"Heap merge frontier detects exhaustion at the exact terminal offset.","sha256":"3d8c73a1e752e95ee7fba22ba844c1091c8cacc77b04bf8546e30851601726db","title":"Heap merge frontier detects exhaustion at the exact terminal offset · case 01","variant":1,"variant_policy":"Six explicit regression certificates are retained; a seventh changes structural size, position, priority, or bounds with N.","verification":{"attempt":{"elapsed_ms":39.917,"exit_code":1,"observations":[{"actual":{"emitted":1,"exhausted":[],"heads":[],"next_run":null,"offsets":[1],"remaining":0},"check":"regression certificate 1","expected":{"emitted":1,"exhausted":[0],"heads":[],"next_run":null,"offsets":[1],"remaining":0},"passed":false},{"actual":{"emitted":1,"exhausted":[],"heads":[[2,1],[3,0]],"next_run":1,"offsets":[1,0],"remaining":3},"check":"regression certificate 2","expected":{"emitted":1,"exhausted":[],"heads":[[2,1],[3,0]],"next_run":1,"offsets":[1,0],"remaining":3},"passed":true},{"actual":{"emitted":4,"exhausted":[],"heads":[[5,0],[8,1]],"next_run":0,"offsets":[1,2],"remaining":3},"check":"regression certificate 3","expected":{"emitted":4,"exhausted":[],"heads":[[5,0],[8,1]],"next_run":0,"offsets":[1,2],"remaining":3},"passed":true},{"actual":{"emitted":2,"exhausted":[1],"heads":[[3,2]],"next_run":2,"offsets":[2,0,0],"remaining":1},"check":"regression certificate 4","expected":{"emitted":2,"exhausted":[0,1],"heads":[[3,2]],"next_run":2,"offsets":[2,0,0],"remaining":1},"passed":false},{"actual":{"emitted":1,"exhausted":[],"heads":[[1,0],[3,1]],"next_run":0,"offsets":[0,1],"remaining":3},"check":"regression certificate 5","expected":{"emitted":1,"exhausted":[],"heads":[[1,0],[3,1]],"next_run":0,"offsets":[0,1],"remaining":3},"passed":true},{"actual":{"emitted":3,"exhausted":[],"heads":[],"next_run":null,"offsets":[2,1],"remaining":0},"check":"regression certificate 6","expected":{"emitted":3,"exhausted":[0,1],"heads":[],"next_run":null,"offsets":[2,1],"remaining":0},"passed":false},{"actual":{"emitted":4,"exhausted":[],"heads":[],"next_run":null,"offsets":[2,1],"remaining":0},"check":"variant-dependent certificate","expected":{"emitted":4,"exhausted":[0,1],"heads":[],"next_run":null,"offsets":[2,1],"remaining":0},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"emitted\": 1, \"offsets\": [1], \"heads\": [], \"exhausted\": [], \"remaining\": 0, \"next_run\": null}, \"expected\": {\"emitted\": 1, \"offsets\": [1], \"heads\": [], \"exhausted\": [0], \"remaining\": 0, \"next_run\": null}, \"passed\": false}, {\"check\": \"regression certificate 2\", \"actual\": {\"emitted\": 1, \"offsets\": [1, 0], \"heads\": [[2, 1], [3, 0]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 1}, \"expected\": {\"emitted\": 1, \"offsets\": [1, 0], \"heads\": [[2, 1], [3, 0]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 1}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"emitted\": 4, \"offsets\": [1, 2], \"heads\": [[5, 0], [8, 1]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 0}, \"expected\": {\"emitted\": 4, \"offsets\": [1, 2], \"heads\": [[5, 0], [8, 1]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 0}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"emitted\": 2, \"offsets\": [2, 0, 0], \"heads\": [[3, 2]], \"exhausted\": [1], \"remaining\": 1, \"next_run\": 2}, \"expected\": {\"emitted\": 2, \"offsets\": [2, 0, 0], \"heads\": [[3, 2]], \"exhausted\": [0, 1], \"remaining\": 1, \"next_run\": 2}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"emitted\": 1, \"offsets\": [0, 1], \"heads\": [[1, 0], [3, 1]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 0}, \"expected\": {\"emitted\": 1, \"offsets\": [0, 1], \"heads\": [[1, 0], [3, 1]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 0}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"emitted\": 3, \"offsets\": [2, 1], \"heads\": [], \"exhausted\": [], \"remaining\": 0, \"next_run\": null}, \"expected\": {\"emitted\": 3, \"offsets\": [2, 1], \"heads\": [], \"exhausted\": [0, 1], \"remaining\": 0, \"next_run\": null}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"emitted\": 4, \"offsets\": [2, 1], \"heads\": [], \"exhausted\": [], \"remaining\": 0, \"next_run\": null}, \"expected\": {\"emitted\": 4, \"offsets\": [2, 1], \"heads\": [], \"exhausted\": [0, 1], \"remaining\": 0, \"next_run\": null}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.294,"exit_code":1,"observations":[{"actual":{"emitted":1,"exhausted":[],"heads":[],"next_run":null,"offsets":[1],"remaining":0},"check":"regression certificate 1","expected":{"emitted":1,"exhausted":[0],"heads":[],"next_run":null,"offsets":[1],"remaining":0},"passed":false},{"actual":{"emitted":1,"exhausted":[],"heads":[[2,1],[3,0]],"next_run":1,"offsets":[1,0],"remaining":3},"check":"regression certificate 2","expected":{"emitted":1,"exhausted":[],"heads":[[2,1],[3,0]],"next_run":1,"offsets":[1,0],"remaining":3},"passed":true},{"actual":{"emitted":4,"exhausted":[],"heads":[[5,0],[8,1]],"next_run":0,"offsets":[1,2],"remaining":3},"check":"regression certificate 3","expected":{"emitted":4,"exhausted":[],"heads":[[5,0],[8,1]],"next_run":0,"offsets":[1,2],"remaining":3},"passed":true},{"actual":{"emitted":2,"exhausted":[],"heads":[[3,2]],"next_run":2,"offsets":[2,0,0],"remaining":1},"check":"regression certificate 4","expected":{"emitted":2,"exhausted":[0,1],"heads":[[3,2]],"next_run":2,"offsets":[2,0,0],"remaining":1},"passed":false},{"actual":{"emitted":1,"exhausted":[],"heads":[[1,0],[3,1]],"next_run":0,"offsets":[0,1],"remaining":3},"check":"regression certificate 5","expected":{"emitted":1,"exhausted":[],"heads":[[1,0],[3,1]],"next_run":0,"offsets":[0,1],"remaining":3},"passed":true},{"actual":{"emitted":3,"exhausted":[],"heads":[],"next_run":null,"offsets":[2,1],"remaining":0},"check":"regression certificate 6","expected":{"emitted":3,"exhausted":[0,1],"heads":[],"next_run":null,"offsets":[2,1],"remaining":0},"passed":false},{"actual":{"emitted":4,"exhausted":[],"heads":[],"next_run":null,"offsets":[2,1],"remaining":0},"check":"variant-dependent certificate","expected":{"emitted":4,"exhausted":[0,1],"heads":[],"next_run":null,"offsets":[2,1],"remaining":0},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"emitted\": 1, \"offsets\": [1], \"heads\": [], \"exhausted\": [], \"remaining\": 0, \"next_run\": null}, \"expected\": {\"emitted\": 1, \"offsets\": [1], \"heads\": [], \"exhausted\": [0], \"remaining\": 0, \"next_run\": null}, \"passed\": false}, {\"check\": \"regression certificate 2\", \"actual\": {\"emitted\": 1, \"offsets\": [1, 0], \"heads\": [[2, 1], [3, 0]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 1}, \"expected\": {\"emitted\": 1, \"offsets\": [1, 0], \"heads\": [[2, 1], [3, 0]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 1}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"emitted\": 4, \"offsets\": [1, 2], \"heads\": [[5, 0], [8, 1]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 0}, \"expected\": {\"emitted\": 4, \"offsets\": [1, 2], \"heads\": [[5, 0], [8, 1]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 0}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"emitted\": 2, \"offsets\": [2, 0, 0], \"heads\": [[3, 2]], \"exhausted\": [], \"remaining\": 1, \"next_run\": 2}, \"expected\": {\"emitted\": 2, \"offsets\": [2, 0, 0], \"heads\": [[3, 2]], \"exhausted\": [0, 1], \"remaining\": 1, \"next_run\": 2}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"emitted\": 1, \"offsets\": [0, 1], \"heads\": [[1, 0], [3, 1]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 0}, \"expected\": {\"emitted\": 1, \"offsets\": [0, 1], \"heads\": [[1, 0], [3, 1]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 0}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"emitted\": 3, \"offsets\": [2, 1], \"heads\": [], \"exhausted\": [], \"remaining\": 0, \"next_run\": null}, \"expected\": {\"emitted\": 3, \"offsets\": [2, 1], \"heads\": [], \"exhausted\": [0, 1], \"remaining\": 0, \"next_run\": null}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"emitted\": 4, \"offsets\": [2, 1], \"heads\": [], \"exhausted\": [], \"remaining\": 0, \"next_run\": null}, \"expected\": {\"emitted\": 4, \"offsets\": [2, 1], \"heads\": [], \"exhausted\": [0, 1], \"remaining\": 0, \"next_run\": null}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.38,"exit_code":0,"observations":[{"actual":{"emitted":1,"exhausted":[0],"heads":[],"next_run":null,"offsets":[1],"remaining":0},"check":"regression certificate 1","expected":{"emitted":1,"exhausted":[0],"heads":[],"next_run":null,"offsets":[1],"remaining":0},"passed":true},{"actual":{"emitted":1,"exhausted":[],"heads":[[2,1],[3,0]],"next_run":1,"offsets":[1,0],"remaining":3},"check":"regression certificate 2","expected":{"emitted":1,"exhausted":[],"heads":[[2,1],[3,0]],"next_run":1,"offsets":[1,0],"remaining":3},"passed":true},{"actual":{"emitted":4,"exhausted":[],"heads":[[5,0],[8,1]],"next_run":0,"offsets":[1,2],"remaining":3},"check":"regression certificate 3","expected":{"emitted":4,"exhausted":[],"heads":[[5,0],[8,1]],"next_run":0,"offsets":[1,2],"remaining":3},"passed":true},{"actual":{"emitted":2,"exhausted":[0,1],"heads":[[3,2]],"next_run":2,"offsets":[2,0,0],"remaining":1},"check":"regression certificate 4","expected":{"emitted":2,"exhausted":[0,1],"heads":[[3,2]],"next_run":2,"offsets":[2,0,0],"remaining":1},"passed":true},{"actual":{"emitted":1,"exhausted":[],"heads":[[1,0],[3,1]],"next_run":0,"offsets":[0,1],"remaining":3},"check":"regression certificate 5","expected":{"emitted":1,"exhausted":[],"heads":[[1,0],[3,1]],"next_run":0,"offsets":[0,1],"remaining":3},"passed":true},{"actual":{"emitted":3,"exhausted":[0,1],"heads":[],"next_run":null,"offsets":[2,1],"remaining":0},"check":"regression certificate 6","expected":{"emitted":3,"exhausted":[0,1],"heads":[],"next_run":null,"offsets":[2,1],"remaining":0},"passed":true},{"actual":{"emitted":4,"exhausted":[0,1],"heads":[],"next_run":null,"offsets":[2,1],"remaining":0},"check":"variant-dependent certificate","expected":{"emitted":4,"exhausted":[0,1],"heads":[],"next_run":null,"offsets":[2,1],"remaining":0},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"emitted\": 1, \"offsets\": [1], \"heads\": [], \"exhausted\": [0], \"remaining\": 0, \"next_run\": null}, \"expected\": {\"emitted\": 1, \"offsets\": [1], \"heads\": [], \"exhausted\": [0], \"remaining\": 0, \"next_run\": null}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"emitted\": 1, \"offsets\": [1, 0], \"heads\": [[2, 1], [3, 0]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 1}, \"expected\": {\"emitted\": 1, \"offsets\": [1, 0], \"heads\": [[2, 1], [3, 0]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 1}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"emitted\": 4, \"offsets\": [1, 2], \"heads\": [[5, 0], [8, 1]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 0}, \"expected\": {\"emitted\": 4, \"offsets\": [1, 2], \"heads\": [[5, 0], [8, 1]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 0}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"emitted\": 2, \"offsets\": [2, 0, 0], \"heads\": [[3, 2]], \"exhausted\": [0, 1], \"remaining\": 1, \"next_run\": 2}, \"expected\": {\"emitted\": 2, \"offsets\": [2, 0, 0], \"heads\": [[3, 2]], \"exhausted\": [0, 1], \"remaining\": 1, \"next_run\": 2}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"emitted\": 1, \"offsets\": [0, 1], \"heads\": [[1, 0], [3, 1]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 0}, \"expected\": {\"emitted\": 1, \"offsets\": [0, 1], \"heads\": [[1, 0], [3, 1]], \"exhausted\": [], \"remaining\": 3, \"next_run\": 0}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"emitted\": 3, \"offsets\": [2, 1], \"heads\": [], \"exhausted\": [0, 1], \"remaining\": 0, \"next_run\": null}, \"expected\": {\"emitted\": 3, \"offsets\": [2, 1], \"heads\": [], \"exhausted\": [0, 1], \"remaining\": 0, \"next_run\": null}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"emitted\": 4, \"offsets\": [2, 1], \"heads\": [], \"exhausted\": [0, 1], \"remaining\": 0, \"next_run\": null}, \"expected\": {\"emitted\": 4, \"offsets\": [2, 1], \"heads\": [], \"exhausted\": [0, 1], \"remaining\": 0, \"next_run\": null}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}