{"comparisons":[{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr1","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":824056,"kept_recovered_cells":34,"kept_tag":"v29","slice":239,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr1","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":775992,"kept_recovered_cells":35,"kept_tag":"v29","slice":830,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr1","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":873669,"kept_recovered_cells":34,"kept_tag":"v19","slice":1069,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr2","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":794568,"kept_recovered_cells":9,"kept_tag":"v06","slice":1352,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr2","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":654320,"kept_recovered_cells":8,"kept_tag":"v20","slice":1641,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr3","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":4644219,"kept_recovered_cells":82,"kept_tag":"u07","slice":1474,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr3","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":2990711,"kept_recovered_cells":62,"kept_tag":"u09","slice":1209,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr3","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":1266691,"kept_recovered_cells":8,"kept_tag":"w07","slice":272,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr3","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":2743844,"kept_recovered_cells":68,"kept_tag":"w11","slice":406,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr4","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":4626855,"kept_recovered_cells":62,"kept_tag":"u06","slice":1721,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr4","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":3610660,"kept_recovered_cells":62,"kept_tag":"u08","slice":1814,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr4","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":2489578,"kept_recovered_cells":82,"kept_tag":"w12","slice":466,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr4","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":2532988,"kept_recovered_cells":68,"kept_tag":"w17","slice":997,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr5","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":5709232,"kept_recovered_cells":68,"kept_tag":"u05","slice":1651,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr5","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":3455391,"kept_recovered_cells":82,"kept_tag":"u10","slice":1639,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr5","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":2676198,"kept_recovered_cells":82,"kept_tag":"w21","slice":1183,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr5","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":3718248,"kept_recovered_cells":62,"kept_tag":"w08","slice":276,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr5","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":2851789,"kept_recovered_cells":69,"kept_tag":"w23","slice":1260,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr5","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":3017860,"kept_recovered_cells":68,"kept_tag":"w27","slice":1371,"verdict":"IDENTICAL"},{"cells":99,"files":{"counts.json":true,"hashes.json":true,"known.json without run":true,"reach.json":true,"run-config.json":true},"fresh_from_scratch":true,"fresh_recovered_cells":0,"fresh_tag":"vmr6","fresh_verdict_pass":true,"hashed_files":86,"kept_above_12":1633594,"kept_recovered_cells":82,"kept_tag":"w24","slice":1270,"verdict":"IDENTICAL"}],"decision":{"checks":[{"detail":"same snapshot sources True; original/final key-field differences {}","gate":"G3","name":"rejudge-equality","ok":true,"status":"met"},{"detail":"rerun reason groups total 245; judge requested pairs 245","gate":"G3","name":"rerun-reason-accounting","ok":true,"status":"met"},{"detail":"pilot verdict OK, exit 0","gate":"G3","name":"plan-pilot","ok":true,"status":"met"},{"detail":"full verdict OK, exit 0","gate":"G3","name":"plan-full","ok":true,"status":"met"},{"detail":"phaseb verdict OK, exit 0","gate":"G3","name":"plan-phaseb","ok":true,"status":"met"},{"detail":"1920 accepted slice entries; expected the partition of range(1920)","gate":"G3","name":"partition","ok":true,"status":"met"},{"detail":"fleet-wide verdict OK, status complete","gate":"G3","name":"fleet-audit","ok":true,"status":"met"},{"detail":"accepted predictions [82582, 5293, 10037]; required fleet totals [97912, 97912, 97912]","gate":"G4","name":"known-control","ok":true,"status":"met"},{"detail":"repro verdict OK, exit 0","gate":"G5","name":"reproduction","ok":true,"status":"met"},{"detail":"saved resumed-slice comparisons [(239, 'IDENTICAL'), (830, 'IDENTICAL'), (1069, 'IDENTICAL'), (1352, 'IDENTICAL'), (1641, 'IDENTICAL'), (1474, 'IDENTICAL'), (1209, 'IDENTICAL'), (272, 'IDENTICAL'), (406, 'IDENTICAL'), (1721, 'IDENTICAL'), (1814, 'IDENTICAL'), (466, 'IDENTICAL'), (997, 'IDENTICAL'), (1651, 'IDENTICAL'), (1639, 'IDENTICAL'), (1183, 'IDENTICAL'), (276, 'IDENTICAL'), (1260, 'IDENTICAL'), (1371, 'IDENTICAL'), (1270, 'IDENTICAL')]; every saved row must be IDENTICAL with passing file comparisons, fresh_from_scratch true and zero fresh recovered cells; invalid rows []","gate":"G3","name":"resumed-reruns","ok":true,"status":"met"},{"detail":"unrefuted survivors []; bundle problems []","gate":"G3","name":"survivor-refutations","ok":true,"status":"met"},{"detail":"record exists","gate":"G0","name":"literature","ok":true,"status":"met"},{"detail":"closure record research/unit-distance-24/G1-verification-2026-10-07.md: first G1 verdict CLOSED; basis reported by the closure note: Targeted verification rounds 1, 2, 3 end with verifier verdict CLOSED; 656 field families: 386 measured or derived, 152 historical, 118 provenance; independent retained scan: 1,936 copies, 15,488 files, 0 problems; four-plan re-judge JUDGE OK, fleet audit OK. The final verification sampled 30 bound fields. Sampling is not exhaustive.","gate":"G1","name":"review-closure","ok":true,"status":"met"},{"detail":"pilot verdict OK; 42 accepted of 42 planned; u24-pilot section exists in coordination/cloud-workers/JOBS.md","gate":"G2","name":"pilot","ok":true,"status":"met"},{"detail":"aggregation problems []","gate":"G6","name":"aggregation","ok":true,"status":"met"}],"failing_gates":[],"failing_items":[],"headline":"COMPLETE"},"fleet":{"audit":{"exit":3,"missing_slices":0,"problems":[],"record":{"audited":1923,"fleets":[{"cells_recovered_from_history":26320,"g4_results":{"PASS":1923},"missing_slices":0,"prefix_cells":15,"prefix_cells_with_parents_recorded":15,"prefix_files_hashed":70,"prefix_files_identical_in":1923,"slice_count":1920,"slice_indices":1920,"slice_level":12,"slice_partition":{"20":{"slices_recording":1920,"stage_file":1384579,"sum":1384579},"21":{"slices_recording":1920,"stage_file":476585,"sum":476585},"22":{"slices_recording":1920,"stage_file":51819,"sum":51819},"23":{"slices_recording":1920,"stage_file":3011,"sum":3011},"24":{"slices_recording":1920,"stage_file":198,"sum":198},"25":{"slices_recording":1920,"stage_file":25,"sum":25},"26":{"slices_recording":1920,"stage_file":2,"sum":2},"27":{"slices_recording":1920,"stage_file":1,"sum":1}},"summaries":1923,"target":[24,69],"target_cell":{"children":1,"kept":1,"slices_with_children":[50]}}],"mode":"summary-only","pinned":{"seed":10,"slices":[12,1920],"target":[24,69]},"problems":0,"required":["g4","hashes"],"runs":1923,"unresolved":0},"status":"complete","unresolved":[]},"checker_sha256":"a231bfc384702231f57fc21461b4c700ec8eed842bceb981076963c79d2cc86a","coverage_lines":["COVERAGE (summary only) OK: every run's required cells are listed and recorded with the parents L4 allows, every count is consistent, and every fleet's slices are all present with their shares"],"exit":0,"plans":{"full":{"accepted_slices":[0,1,2,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,51,52,53,54,55,56,57,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,78,79,80,81,82,83,84,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,156,157,158,159,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,273,274,275,277,278,279,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,385,386,388,389,390,391,392,393,395,396,397,398,400,401,402,403,404,405,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,537,538,539,540,541,542,543,544,545,546,547,548,549,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,601,602,603,604,605,606,607,608,609,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,657,659,660,661,662,663,664,665,666,667,668,669,670,671,672,673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,697,698,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736,737,739,740,741,742,743,744,745,746,747,748,749,750,751,752,753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768,769,770,771,772,773,774,775,776,777,779,780,781,782,784,785,786,787,788,789,790,791,792,793,794,795,796,797,798,799,800,801,802,803,805,806,807,808,809,810,811,812,813,814,815,816,817,818,819,820,821,822,823,824,825,826,827,828,829,830,831,832,833,834,835,836,837,838,839,840,842,843,844,845,846,847,848,849,850,851,852,853,854,855,856,857,858,859,860,861,862,863,864,865,866,867,868,869,870,871,872,873,874,875,876,877,878,879,880,881,882,883,884,885,886,887,888,889,890,891,892,893,894,895,896,897,898,899,900,901,902,903,904,905,906,907,908,909,910,911,912,913,914,915,916,917,918,919,920,921,922,923,924,925,926,927,928,929,930,931,932,933,934,935,936,937,938,939,940,941,942,943,944,945,946,947,948,950,951,952,953,954,955,956,957,958,959,960,961,962,963,964,965,966,967,968,969,970,971,972,973,974,975,976,977,978,979,980,981,982,983,984,985,986,987,988,989,990,991,992,993,994,995,996,998,999,1000,1002,1003,1004,1005,1006,1007,1008,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019,1020,1021,1022,1023,1024,1025,1026,1028,1029,1030,1031,1032,1033,1034,1035,1036,1037,1038,1039,1040,1041,1042,1043,1044,1045,1046,1047,1048,1049,1050,1051,1052,1053,1054,1055,1056,1057,1058,1059,1060,1061,1062,1063,1064,1065,1066,1067,1068,1069,1070,1071,1072,1073,1074,1075,1076,1077,1078,1079,1080,1081,1083,1084,1085,1087,1088,1089,1090,1091,1092,1093,1094,1095,1096,1097,1098,1099,1100,1101,1102,1103,1104,1105,1106,1107,1108,1109,1110,1111,1112,1113,1114,1115,1116,1117,1118,1119,1120,1121,1122,1123,1124,1125,1126,1127,1128,1129,1130,1131,1132,1133,1134,1136,1137,1138,1139,1140,1141,1142,1143,1144,1145,1146,1147,1148,1149,1150,1151,1152,1153,1154,1155,1156,1157,1158,1160,1161,1162,1163,1164,1165,1166,1167,1168,1169,1170,1171,1172,1173,1174,1175,1176,1177,1178,1179,1180,1181,1182,1184,1185,1186,1188,1189,1190,1191,1192,1193,1194,1195,1196,1197,1198,1199,1200,1201,1202,1203,1204,1205,1206,1207,1208,1210,1211,1212,1213,1214,1215,1216,1217,1218,1219,1220,1221,1222,1223,1225,1226,1227,1228,1229,1230,1232,1233,1234,1235,1236,1237,1238,1239,1240,1241,1242,1243,1244,1245,1246,1247,1248,1249,1250,1251,1252,1253,1254,1255,1256,1257,1258,1259,1261,1262,1263,1264,1265,1266,1267,1268,1269,1271,1272,1273,1274,1275,1276,1277,1278,1279,1280,1281,1282,1283,1284,1285,1286,1287,1288,1289,1290,1291,1292,1293,1294,1295,1296,1297,1299,1300,1301,1302,1303,1304,1305,1306,1307,1308,1309,1311,1312,1313,1314,1315,1316,1317,1318,1319,1320,1321,1322,1323,1324,1325,1326,1327,1328,1329,1330,1331,1332,1333,1334,1335,1336,1337,1338,1339,1340,1341,1342,1343,1345,1346,1347,1348,1349,1350,1351,1352,1353,1354,1355,1356,1357,1358,1359,1360,1361,1362,1363,1364,1365,1366,1367,1368,1369,1370,1372,1373,1374,1375,1376,1377,1378,1379,1380,1381,1382,1383,1384,1385,1386,1387,1389,1390,1391,1392,1393,1394,1395,1396,1397,1398,1399,1400,1401,1402,1403,1404,1406,1407,1408,1409,1410,1411,1412,1413,1414,1415,1416,1417,1418,1419,1420,1421,1422,1423,1424,1425,1426,1427,1428,1429,1430,1431,1432,1433,1434,1435,1436,1437,1438,1439,1440,1441,1442,1443,1444,1445,1446,1447,1448,1449,1450,1451,1452,1453,1455,1456,1457,1458,1459,1460,1461,1462,1463,1464,1465,1466,1467,1469,1470,1471,1472,1473,1475,1476,1477,1478,1479,1480,1481,1482,1483,1484,1485,1486,1487,1488,1489,1490,1491,1492,1493,1494,1495,1496,1497,1498,1499,1500,1501,1502,1503,1504,1505,1507,1508,1509,1510,1511,1512,1513,1514,1515,1516,1517,1518,1519,1520,1521,1522,1523,1524,1525,1526,1527,1528,1529,1530,1531,1532,1533,1534,1536,1537,1538,1539,1540,1541,1542,1543,1544,1545,1546,1547,1548,1549,1550,1551,1552,1553,1554,1555,1556,1557,1559,1560,1561,1563,1564,1565,1566,1567,1568,1569,1570,1571,1572,1573,1574,1575,1576,1577,1578,1579,1580,1581,1582,1583,1584,1585,1586,1587,1588,1589,1590,1591,1592,1593,1594,1595,1596,1597,1598,1599,1600,1601,1602,1603,1604,1605,1606,1607,1608,1609,1610,1611,1612,1613,1614,1615,1616,1617,1618,1619,1620,1621,1622,1623,1624,1625,1626,1627,1628,1629,1630,1631,1632,1633,1634,1635,1636,1638,1640,1641,1642,1643,1644,1645,1646,1648,1649,1650,1652,1653,1654,1655,1656,1657,1658,1659,1660,1661,1662,1663,1664,1665,1666,1667,1668,1669,1670,1671,1672,1673,1674,1675,1676,1677,1678,1679,1680,1681,1682,1683,1684,1685,1686,1687,1688,1689,1690,1691,1692,1693,1694,1696,1697,1698,1699,1700,1701,1702,1703,1704,1705,1706,1707,1708,1709,1710,1711,1712,1713,1714,1715,1716,1717,1718,1719,1720,1722,1723,1724,1725,1726,1727,1728,1729,1732,1733,1734,1736,1737,1738,1739,1740,1741,1743,1744,1745,1746,1747,1748,1749,1750,1751,1752,1753,1754,1755,1756,1757,1758,1759,1760,1761,1762,1763,1764,1766,1767,1768,1769,1770,1771,1772,1773,1774,1775,1776,1777,1778,1779,1780,1781,1782,1783,1784,1785,1786,1787,1788,1789,1790,1791,1792,1793,1794,1795,1796,1797,1798,1799,1800,1801,1802,1803,1804,1805,1806,1807,1808,1809,1810,1811,1812,1813,1815,1816,1817,1818,1819,1821,1822,1823,1824,1825,1826,1827,1828,1829,1830,1831,1832,1833,1835,1836,1838,1839,1840,1841,1842,1843,1844,1845,1846,1847,1848,1849,1850,1851,1852,1853,1854,1855,1856,1857,1858,1859,1860,1861,1862,1863,1864,1865,1866,1867,1868,1869,1870,1871,1872,1873,1874,1875,1876,1877,1878,1879,1880,1881,1882,1884,1885,1886,1887,1888,1889,1890,1891,1892,1893,1894,1895,1896,1897,1898,1899,1900,1901,1902,1903,1904,1905,1906,1907,1908,1909,1910,1911,1912,1913,1914,1915,1916,1917,1919],"exit":0,"per_plan_audit_total":1841,"plan":"coordination/cloud-workers/u24-full-plan.json","plan_sha256":"04bf734c8a35d6a8512d84ebe96649535f575291e26672d5282e583dadaa03d6","staged_copies":1842,"verdict":"OK"},"phaseB":{"accepted_slices":[3,58,85,139,155,222,272,276,324,399,406,466,520,536,783,841,997,1001,1027,1135,1183,1224,1260,1270,1310,1344,1371,1405,1454,1558,1647,1730,1735,1742,1765,1883,1918],"exit":0,"per_plan_audit_total":37,"plan":"coordination/cloud-workers/u24-phaseb-plan.json","plan_sha256":"14571771e915b27e6401f8ba703960b2c95bac345b1e5387e85ca85bfde2dd94","staged_copies":37,"verdict":"OK"},"pilot":{"accepted_slices":[50,77,160,255,280,308,344,384,387,394,439,488,550,658,699,738,778,804,949,1082,1086,1159,1187,1209,1231,1298,1388,1468,1474,1506,1535,1562,1637,1639,1651,1695,1721,1731,1814,1820,1834,1837],"exit":0,"per_plan_audit_total":42,"plan":"coordination/cloud-workers/u24-pilot-plan.json","plan_sha256":"82cff1560b604049112cf9dfc7dd5d62dc6e1d24eddd0c00f73fa90aeb051f6b","staged_copies":44,"verdict":"OK"}},"problems":[],"schema":"u24-fleet-audit-v1","union_copies":1923,"union_slices":1920,"verdict":"OK"},"generated":"2026-10-07T18:48:22Z","plans":{"full":{"accepted":[0,1,2,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,51,52,53,54,55,56,57,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,78,79,80,81,82,83,84,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,156,157,158,159,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,273,274,275,277,278,279,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,385,386,388,389,390,391,392,393,395,396,397,398,400,401,402,403,404,405,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,537,538,539,540,541,542,543,544,545,546,547,548,549,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,601,602,603,604,605,606,607,608,609,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,657,659,660,661,662,663,664,665,666,667,668,669,670,671,672,673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,697,698,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736,737,739,740,741,742,743,744,745,746,747,748,749,750,751,752,753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768,769,770,771,772,773,774,775,776,777,779,780,781,782,784,785,786,787,788,789,790,791,792,793,794,795,796,797,798,799,800,801,802,803,805,806,807,808,809,810,811,812,813,814,815,816,817,818,819,820,821,822,823,824,825,826,827,828,829,830,831,832,833,834,835,836,837,838,839,840,842,843,844,845,846,847,848,849,850,851,852,853,854,855,856,857,858,859,860,861,862,863,864,865,866,867,868,869,870,871,872,873,874,875,876,877,878,879,880,881,882,883,884,885,886,887,888,889,890,891,892,893,894,895,896,897,898,899,900,901,902,903,904,905,906,907,908,909,910,911,912,913,914,915,916,917,918,919,920,921,922,923,924,925,926,927,928,929,930,931,932,933,934,935,936,937,938,939,940,941,942,943,944,945,946,947,948,950,951,952,953,954,955,956,957,958,959,960,961,962,963,964,965,966,967,968,969,970,971,972,973,974,975,976,977,978,979,980,981,982,983,984,985,986,987,988,989,990,991,992,993,994,995,996,998,999,1000,1002,1003,1004,1005,1006,1007,1008,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019,1020,1021,1022,1023,1024,1025,1026,1028,1029,1030,1031,1032,1033,1034,1035,1036,1037,1038,1039,1040,1041,1042,1043,1044,1045,1046,1047,1048,1049,1050,1051,1052,1053,1054,1055,1056,1057,1058,1059,1060,1061,1062,1063,1064,1065,1066,1067,1068,1069,1070,1071,1072,1073,1074,1075,1076,1077,1078,1079,1080,1081,1083,1084,1085,1087,1088,1089,1090,1091,1092,1093,1094,1095,1096,1097,1098,1099,1100,1101,1102,1103,1104,1105,1106,1107,1108,1109,1110,1111,1112,1113,1114,1115,1116,1117,1118,1119,1120,1121,1122,1123,1124,1125,1126,1127,1128,1129,1130,1131,1132,1133,1134,1136,1137,1138,1139,1140,1141,1142,1143,1144,1145,1146,1147,1148,1149,1150,1151,1152,1153,1154,1155,1156,1157,1158,1160,1161,1162,1163,1164,1165,1166,1167,1168,1169,1170,1171,1172,1173,1174,1175,1176,1177,1178,1179,1180,1181,1182,1184,1185,1186,1188,1189,1190,1191,1192,1193,1194,1195,1196,1197,1198,1199,1200,1201,1202,1203,1204,1205,1206,1207,1208,1210,1211,1212,1213,1214,1215,1216,1217,1218,1219,1220,1221,1222,1223,1225,1226,1227,1228,1229,1230,1232,1233,1234,1235,1236,1237,1238,1239,1240,1241,1242,1243,1244,1245,1246,1247,1248,1249,1250,1251,1252,1253,1254,1255,1256,1257,1258,1259,1261,1262,1263,1264,1265,1266,1267,1268,1269,1271,1272,1273,1274,1275,1276,1277,1278,1279,1280,1281,1282,1283,1284,1285,1286,1287,1288,1289,1290,1291,1292,1293,1294,1295,1296,1297,1299,1300,1301,1302,1303,1304,1305,1306,1307,1308,1309,1311,1312,1313,1314,1315,1316,1317,1318,1319,1320,1321,1322,1323,1324,1325,1326,1327,1328,1329,1330,1331,1332,1333,1334,1335,1336,1337,1338,1339,1340,1341,1342,1343,1345,1346,1347,1348,1349,1350,1351,1352,1353,1354,1355,1356,1357,1358,1359,1360,1361,1362,1363,1364,1365,1366,1367,1368,1369,1370,1372,1373,1374,1375,1376,1377,1378,1379,1380,1381,1382,1383,1384,1385,1386,1387,1389,1390,1391,1392,1393,1394,1395,1396,1397,1398,1399,1400,1401,1402,1403,1404,1406,1407,1408,1409,1410,1411,1412,1413,1414,1415,1416,1417,1418,1419,1420,1421,1422,1423,1424,1425,1426,1427,1428,1429,1430,1431,1432,1433,1434,1435,1436,1437,1438,1439,1440,1441,1442,1443,1444,1445,1446,1447,1448,1449,1450,1451,1452,1453,1455,1456,1457,1458,1459,1460,1461,1462,1463,1464,1465,1466,1467,1469,1470,1471,1472,1473,1475,1476,1477,1478,1479,1480,1481,1482,1483,1484,1485,1486,1487,1488,1489,1490,1491,1492,1493,1494,1495,1496,1497,1498,1499,1500,1501,1502,1503,1504,1505,1507,1508,1509,1510,1511,1512,1513,1514,1515,1516,1517,1518,1519,1520,1521,1522,1523,1524,1525,1526,1527,1528,1529,1530,1531,1532,1533,1534,1536,1537,1538,1539,1540,1541,1542,1543,1544,1545,1546,1547,1548,1549,1550,1551,1552,1553,1554,1555,1556,1557,1559,1560,1561,1563,1564,1565,1566,1567,1568,1569,1570,1571,1572,1573,1574,1575,1576,1577,1578,1579,1580,1581,1582,1583,1584,1585,1586,1587,1588,1589,1590,1591,1592,1593,1594,1595,1596,1597,1598,1599,1600,1601,1602,1603,1604,1605,1606,1607,1608,1609,1610,1611,1612,1613,1614,1615,1616,1617,1618,1619,1620,1621,1622,1623,1624,1625,1626,1627,1628,1629,1630,1631,1632,1633,1634,1635,1636,1638,1640,1641,1642,1643,1644,1645,1646,1648,1649,1650,1652,1653,1654,1655,1656,1657,1658,1659,1660,1661,1662,1663,1664,1665,1666,1667,1668,1669,1670,1671,1672,1673,1674,1675,1676,1677,1678,1679,1680,1681,1682,1683,1684,1685,1686,1687,1688,1689,1690,1691,1692,1693,1694,1696,1697,1698,1699,1700,1701,1702,1703,1704,1705,1706,1707,1708,1709,1710,1711,1712,1713,1714,1715,1716,1717,1718,1719,1720,1722,1723,1724,1725,1726,1727,1728,1729,1732,1733,1734,1736,1737,1738,1739,1740,1741,1743,1744,1745,1746,1747,1748,1749,1750,1751,1752,1753,1754,1755,1756,1757,1758,1759,1760,1761,1762,1763,1764,1766,1767,1768,1769,1770,1771,1772,1773,1774,1775,1776,1777,1778,1779,1780,1781,1782,1783,1784,1785,1786,1787,1788,1789,1790,1791,1792,1793,1794,1795,1796,1797,1798,1799,1800,1801,1802,1803,1804,1805,1806,1807,1808,1809,1810,1811,1812,1813,1815,1816,1817,1818,1819,1821,1822,1823,1824,1825,1826,1827,1828,1829,1830,1831,1832,1833,1835,1836,1838,1839,1840,1841,1842,1843,1844,1845,1846,1847,1848,1849,1850,1851,1852,1853,1854,1855,1856,1857,1858,1859,1860,1861,1862,1863,1864,1865,1866,1867,1868,1869,1870,1871,1872,1873,1874,1875,1876,1877,1878,1879,1880,1881,1882,1884,1885,1886,1887,1888,1889,1890,1891,1892,1893,1894,1895,1896,1897,1898,1899,1900,1901,1902,1903,1904,1905,1906,1907,1908,1909,1910,1911,1912,1913,1914,1915,1916,1917,1919],"copies":1842,"duplicates":{"75":["v19-qayfjq/research/unit-distance-24/results/u24/check/s75of1920-v19.txt","codex-cx24-pilot-75e/research/unit-distance-24/results/u24/check/s75of1920-cx24-pilot-75e.txt"]},"g4":{"PASS":1842},"known":5293,"known_cells":{"16-35":{"eligible":124,"found":23},"16-36":{"eligible":12058,"found":879},"16-37":{"eligible":1500,"found":36},"16-38":{"eligible":119,"found":5},"16-39":{"eligible":13,"found":0},"16-40":{"eligible":1,"found":0},"16-41":{"eligible":1,"found":0},"17-39":{"eligible":27487,"found":1654},"17-40":{"eligible":4855,"found":173},"17-41":{"eligible":481,"found":12},"17-42":{"eligible":39,"found":0},"17-43":{"eligible":6,"found":0},"18-42":{"eligible":1792,"found":102},"18-43":{"eligible":18906,"found":848},"18-44":{"eligible":1798,"found":58},"18-45":{"eligible":204,"found":1},"18-46":{"eligible":16,"found":0},"19-46":{"eligible":16196,"found":1190},"19-47":{"eligible":8779,"found":244},"19-48":{"eligible":823,"found":5},"19-49":{"eligible":44,"found":1},"19-50":{"eligible":3,"found":0},"20-51":{"eligible":2248,"found":56},"20-52":{"eligible":296,"found":4},"20-53":{"eligible":11,"found":0},"20-54":{"eligible":1,"found":0},"21-56":{"eligible":71,"found":2},"21-57":{"eligible":5,"found":0},"22-60":{"eligible":35,"found":0}},"planned":[0,1,2,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,51,52,53,54,55,56,57,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,78,79,80,81,82,83,84,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,156,157,158,159,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,273,274,275,277,278,279,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,385,386,388,389,390,391,392,393,395,396,397,398,400,401,402,403,404,405,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,537,538,539,540,541,542,543,544,545,546,547,548,549,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,601,602,603,604,605,606,607,608,609,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,657,659,660,661,662,663,664,665,666,667,668,669,670,671,672,673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,697,698,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736,737,739,740,741,742,743,744,745,746,747,748,749,750,751,752,753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768,769,770,771,772,773,774,775,776,777,779,780,781,782,784,785,786,787,788,789,790,791,792,793,794,795,796,797,798,799,800,801,802,803,805,806,807,808,809,810,811,812,813,814,815,816,817,818,819,820,821,822,823,824,825,826,827,828,829,830,831,832,833,834,835,836,837,838,839,840,842,843,844,845,846,847,848,849,850,851,852,853,854,855,856,857,858,859,860,861,862,863,864,865,866,867,868,869,870,871,872,873,874,875,876,877,878,879,880,881,882,883,884,885,886,887,888,889,890,891,892,893,894,895,896,897,898,899,900,901,902,903,904,905,906,907,908,909,910,911,912,913,914,915,916,917,918,919,920,921,922,923,924,925,926,927,928,929,930,931,932,933,934,935,936,937,938,939,940,941,942,943,944,945,946,947,948,950,951,952,953,954,955,956,957,958,959,960,961,962,963,964,965,966,967,968,969,970,971,972,973,974,975,976,977,978,979,980,981,982,983,984,985,986,987,988,989,990,991,992,993,994,995,996,998,999,1000,1002,1003,1004,1005,1006,1007,1008,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019,1020,1021,1022,1023,1024,1025,1026,1028,1029,1030,1031,1032,1033,1034,1035,1036,1037,1038,1039,1040,1041,1042,1043,1044,1045,1046,1047,1048,1049,1050,1051,1052,1053,1054,1055,1056,1057,1058,1059,1060,1061,1062,1063,1064,1065,1066,1067,1068,1069,1070,1071,1072,1073,1074,1075,1076,1077,1078,1079,1080,1081,1083,1084,1085,1087,1088,1089,1090,1091,1092,1093,1094,1095,1096,1097,1098,1099,1100,1101,1102,1103,1104,1105,1106,1107,1108,1109,1110,1111,1112,1113,1114,1115,1116,1117,1118,1119,1120,1121,1122,1123,1124,1125,1126,1127,1128,1129,1130,1131,1132,1133,1134,1136,1137,1138,1139,1140,1141,1142,1143,1144,1145,1146,1147,1148,1149,1150,1151,1152,1153,1154,1155,1156,1157,1158,1160,1161,1162,1163,1164,1165,1166,1167,1168,1169,1170,1171,1172,1173,1174,1175,1176,1177,1178,1179,1180,1181,1182,1184,1185,1186,1188,1189,1190,1191,1192,1193,1194,1195,1196,1197,1198,1199,1200,1201,1202,1203,1204,1205,1206,1207,1208,1210,1211,1212,1213,1214,1215,1216,1217,1218,1219,1220,1221,1222,1223,1225,1226,1227,1228,1229,1230,1232,1233,1234,1235,1236,1237,1238,1239,1240,1241,1242,1243,1244,1245,1246,1247,1248,1249,1250,1251,1252,1253,1254,1255,1256,1257,1258,1259,1261,1262,1263,1264,1265,1266,1267,1268,1269,1271,1272,1273,1274,1275,1276,1277,1278,1279,1280,1281,1282,1283,1284,1285,1286,1287,1288,1289,1290,1291,1292,1293,1294,1295,1296,1297,1299,1300,1301,1302,1303,1304,1305,1306,1307,1308,1309,1311,1312,1313,1314,1315,1316,1317,1318,1319,1320,1321,1322,1323,1324,1325,1326,1327,1328,1329,1330,1331,1332,1333,1334,1335,1336,1337,1338,1339,1340,1341,1342,1343,1345,1346,1347,1348,1349,1350,1351,1352,1353,1354,1355,1356,1357,1358,1359,1360,1361,1362,1363,1364,1365,1366,1367,1368,1369,1370,1372,1373,1374,1375,1376,1377,1378,1379,1380,1381,1382,1383,1384,1385,1386,1387,1389,1390,1391,1392,1393,1394,1395,1396,1397,1398,1399,1400,1401,1402,1403,1404,1406,1407,1408,1409,1410,1411,1412,1413,1414,1415,1416,1417,1418,1419,1420,1421,1422,1423,1424,1425,1426,1427,1428,1429,1430,1431,1432,1433,1434,1435,1436,1437,1438,1439,1440,1441,1442,1443,1444,1445,1446,1447,1448,1449,1450,1451,1452,1453,1455,1456,1457,1458,1459,1460,1461,1462,1463,1464,1465,1466,1467,1469,1470,1471,1472,1473,1475,1476,1477,1478,1479,1480,1481,1482,1483,1484,1485,1486,1487,1488,1489,1490,1491,1492,1493,1494,1495,1496,1497,1498,1499,1500,1501,1502,1503,1504,1505,1507,1508,1509,1510,1511,1512,1513,1514,1515,1516,1517,1518,1519,1520,1521,1522,1523,1524,1525,1526,1527,1528,1529,1530,1531,1532,1533,1534,1536,1537,1538,1539,1540,1541,1542,1543,1544,1545,1546,1547,1548,1549,1550,1551,1552,1553,1554,1555,1556,1557,1559,1560,1561,1563,1564,1565,1566,1567,1568,1569,1570,1571,1572,1573,1574,1575,1576,1577,1578,1579,1580,1581,1582,1583,1584,1585,1586,1587,1588,1589,1590,1591,1592,1593,1594,1595,1596,1597,1598,1599,1600,1601,1602,1603,1604,1605,1606,1607,1608,1609,1610,1611,1612,1613,1614,1615,1616,1617,1618,1619,1620,1621,1622,1623,1624,1625,1626,1627,1628,1629,1630,1631,1632,1633,1634,1635,1636,1638,1640,1641,1642,1643,1644,1645,1646,1648,1649,1650,1652,1653,1654,1655,1656,1657,1658,1659,1660,1661,1662,1663,1664,1665,1666,1667,1668,1669,1670,1671,1672,1673,1674,1675,1676,1677,1678,1679,1680,1681,1682,1683,1684,1685,1686,1687,1688,1689,1690,1691,1692,1693,1694,1696,1697,1698,1699,1700,1701,1702,1703,1704,1705,1706,1707,1708,1709,1710,1711,1712,1713,1714,1715,1716,1717,1718,1719,1720,1722,1723,1724,1725,1726,1727,1728,1729,1732,1733,1734,1736,1737,1738,1739,1740,1741,1743,1744,1745,1746,1747,1748,1749,1750,1751,1752,1753,1754,1755,1756,1757,1758,1759,1760,1761,1762,1763,1764,1766,1767,1768,1769,1770,1771,1772,1773,1774,1775,1776,1777,1778,1779,1780,1781,1782,1783,1784,1785,1786,1787,1788,1789,1790,1791,1792,1793,1794,1795,1796,1797,1798,1799,1800,1801,1802,1803,1804,1805,1806,1807,1808,1809,1810,1811,1812,1813,1815,1816,1817,1818,1819,1821,1822,1823,1824,1825,1826,1827,1828,1829,1830,1831,1832,1833,1835,1836,1838,1839,1840,1841,1842,1843,1844,1845,1846,1847,1848,1849,1850,1851,1852,1853,1854,1855,1856,1857,1858,1859,1860,1861,1862,1863,1864,1865,1866,1867,1868,1869,1870,1871,1872,1873,1874,1875,1876,1877,1878,1879,1880,1881,1882,1884,1885,1886,1887,1888,1889,1890,1891,1892,1893,1894,1895,1896,1897,1898,1899,1900,1901,1902,1903,1904,1905,1906,1907,1908,1909,1910,1911,1912,1913,1914,1915,1916,1917,1919],"problems":[],"verdict":"OK"},"phaseb":{"accepted":[3,58,85,139,155,222,272,276,324,399,406,466,520,536,783,841,997,1001,1027,1135,1183,1224,1260,1270,1310,1344,1371,1405,1454,1558,1647,1730,1735,1742,1765,1883,1918],"copies":37,"duplicates":{},"g4":{"PASS":37},"known":10037,"known_cells":{"16-35":{"eligible":124,"found":46},"16-36":{"eligible":12058,"found":2446},"16-37":{"eligible":1500,"found":84},"16-38":{"eligible":119,"found":1},"16-39":{"eligible":13,"found":0},"16-40":{"eligible":1,"found":0},"16-41":{"eligible":1,"found":0},"17-39":{"eligible":27487,"found":3801},"17-40":{"eligible":4855,"found":253},"17-41":{"eligible":481,"found":7},"17-42":{"eligible":39,"found":0},"17-43":{"eligible":6,"found":0},"18-42":{"eligible":1792,"found":158},"18-43":{"eligible":18906,"found":1012},"18-44":{"eligible":1798,"found":44},"18-45":{"eligible":204,"found":0},"18-46":{"eligible":16,"found":0},"19-46":{"eligible":16196,"found":1857},"19-47":{"eligible":8779,"found":243},"19-48":{"eligible":823,"found":7},"19-49":{"eligible":44,"found":0},"19-50":{"eligible":3,"found":0},"20-51":{"eligible":2248,"found":69},"20-52":{"eligible":296,"found":5},"20-53":{"eligible":11,"found":0},"20-54":{"eligible":1,"found":0},"21-56":{"eligible":71,"found":2},"21-57":{"eligible":5,"found":0},"22-60":{"eligible":35,"found":2}},"planned":[3,58,85,139,155,222,272,276,324,399,406,466,520,536,783,841,997,1001,1027,1135,1183,1224,1260,1270,1310,1344,1371,1405,1454,1558,1647,1730,1735,1742,1765,1883,1918],"problems":[],"verdict":"OK"},"pilot":{"accepted":[50,77,160,255,280,308,344,384,387,394,439,488,550,658,699,738,778,804,949,1082,1086,1159,1187,1209,1231,1298,1388,1468,1474,1506,1535,1562,1637,1639,1651,1695,1721,1731,1814,1820,1834,1837],"copies":44,"duplicates":{"1209":["u09-sgz9zi/research/unit-distance-24/results/u24/check/s1209of1920-u09.txt","u09-x7dha8/research/unit-distance-24/results/u24/check/s1209of1920-u09.txt"],"1639":["u10-c2xaqf/research/unit-distance-24/results/u24/check/s1639of1920-u10.txt","u10-vhb8bq/research/unit-distance-24/results/u24/check/s1639of1920-u10.txt"]},"g4":{"PASS":44},"known":82582,"known_cells":{"16-35":{"eligible":124,"found":55},"16-36":{"eligible":12058,"found":8733},"16-37":{"eligible":1500,"found":1380},"16-38":{"eligible":119,"found":113},"16-39":{"eligible":13,"found":13},"16-40":{"eligible":1,"found":1},"16-41":{"eligible":1,"found":1},"17-39":{"eligible":27487,"found":22032},"17-40":{"eligible":4855,"found":4429},"17-41":{"eligible":481,"found":462},"17-42":{"eligible":39,"found":39},"17-43":{"eligible":6,"found":6},"18-42":{"eligible":1792,"found":1532},"18-43":{"eligible":18906,"found":17046},"18-44":{"eligible":1798,"found":1696},"18-45":{"eligible":204,"found":203},"18-46":{"eligible":16,"found":16},"19-46":{"eligible":16196,"found":13149},"19-47":{"eligible":8779,"found":8292},"19-48":{"eligible":823,"found":811},"19-49":{"eligible":44,"found":43},"19-50":{"eligible":3,"found":3},"20-51":{"eligible":2248,"found":2123},"20-52":{"eligible":296,"found":287},"20-53":{"eligible":11,"found":11},"20-54":{"eligible":1,"found":1},"21-56":{"eligible":71,"found":67},"21-57":{"eligible":5,"found":5},"22-60":{"eligible":35,"found":33}},"planned":[50,77,160,255,280,308,344,384,387,394,439,488,550,658,699,738,778,804,949,1082,1086,1159,1187,1209,1231,1298,1388,1468,1474,1506,1535,1562,1637,1639,1651,1695,1721,1731,1814,1820,1834,1837],"problems":[],"verdict":"OK"},"repro":{"accepted":[10,37,57,73,104,116,218,254,260,293,294,344,376,461,473,516,590,610,622,681,693,697,771,793,975,1005,1019,1042,1047,1056,1074,1149,1248,1269,1270,1298,1320,1360,1382,1414,1535,1549,1623,1695,1704,1723,1794,1818,1872,1887],"copies":100,"duplicates":{"10":["r04-trmyhh/research/unit-distance-24/results/u24/check/s10of1920-r04.txt","w41-iljca0/research/unit-distance-24/results/u24/check/s10of1920-w41.txt"],"1005":["r04-trmyhh/research/unit-distance-24/results/u24/check/s1005of1920-r04.txt","w40-zfudhv/research/unit-distance-24/results/u24/check/s1005of1920-w40.txt"],"1019":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s1019of1920-r03.txt","v15-ms454i/research/unit-distance-24/results/u24/check/s1019of1920-v15.txt"],"104":["r04-trmyhh/research/unit-distance-24/results/u24/check/s104of1920-r04.txt","w52/research/unit-distance-24/results/u24/check/s104of1920-w52.txt"],"1042":["r04-trmyhh/research/unit-distance-24/results/u24/check/s1042of1920-r04.txt","v04-2negye/research/unit-distance-24/results/u24/check/s1042of1920-v04.txt"],"1047":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s1047of1920-r03.txt","w53/research/unit-distance-24/results/u24/check/s1047of1920-w53.txt"],"1056":["r04-trmyhh/research/unit-distance-24/results/u24/check/s1056of1920-r04.txt","w55/research/unit-distance-24/results/u24/check/s1056of1920-w55.txt"],"1074":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s1074of1920-r03.txt","v07-68dgfe/research/unit-distance-24/results/u24/check/s1074of1920-v07.txt"],"1149":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s1149of1920-r03.txt","v29-fxyv1b/research/unit-distance-24/results/u24/check/s1149of1920-v29.txt"],"116":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s116of1920-r03.txt","v28-qcs79p/research/unit-distance-24/results/u24/check/s116of1920-v28.txt"],"1248":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s1248of1920-r03.txt","v12-qua3jm/research/unit-distance-24/results/u24/check/s1248of1920-v12.txt"],"1269":["r04-trmyhh/research/unit-distance-24/results/u24/check/s1269of1920-r04.txt","v08-4i7zuu/research/unit-distance-24/results/u24/check/s1269of1920-v08.txt"],"1270":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s1270of1920-r03.txt","w24-dex65e/research/unit-distance-24/results/u24/check/s1270of1920-w24.txt"],"1298":["r04-trmyhh/research/unit-distance-24/results/u24/check/s1298of1920-r04.txt","u14-n3tmfk/research/unit-distance-24/results/u24/check/s1298of1920-u14.txt"],"1320":["r04-trmyhh/research/unit-distance-24/results/u24/check/s1320of1920-r04.txt","w52/research/unit-distance-24/results/u24/check/s1320of1920-w52.txt"],"1360":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s1360of1920-r03.txt","w02-a62kx4/research/unit-distance-24/results/u24/check/s1360of1920-w02.txt"],"1382":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s1382of1920-r03.txt","v12-qua3jm/research/unit-distance-24/results/u24/check/s1382of1920-v12.txt"],"1414":["r04-trmyhh/research/unit-distance-24/results/u24/check/s1414of1920-r04.txt","v32-3idoqa/research/unit-distance-24/results/u24/check/s1414of1920-v32.txt"],"1535":["r02/research/unit-distance-24/results/u24/check/s1535of1920-r02.txt","vm02/research/unit-distance-24/results/u24/check/s1535of1920-vm02.txt"],"1549":["r04-trmyhh/research/unit-distance-24/results/u24/check/s1549of1920-r04.txt","v02-9swn9j/research/unit-distance-24/results/u24/check/s1549of1920-v02.txt"],"1623":["r04-trmyhh/research/unit-distance-24/results/u24/check/s1623of1920-r04.txt","v18-5uh0xl/research/unit-distance-24/results/u24/check/s1623of1920-v18.txt"],"1695":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s1695of1920-r03.txt","u16-0nqdjl/research/unit-distance-24/results/u24/check/s1695of1920-u16.txt"],"1704":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s1704of1920-r03.txt","v26-ysvydx/research/unit-distance-24/results/u24/check/s1704of1920-v26.txt"],"1723":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s1723of1920-r03.txt","w18-bz7qzy/research/unit-distance-24/results/u24/check/s1723of1920-w18.txt"],"1794":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s1794of1920-r03.txt","v35-6b77wy/research/unit-distance-24/results/u24/check/s1794of1920-v35.txt"],"1818":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s1818of1920-r03.txt","w45-bk211a/research/unit-distance-24/results/u24/check/s1818of1920-w45.txt"],"1872":["r04-trmyhh/research/unit-distance-24/results/u24/check/s1872of1920-r04.txt","v18-5uh0xl/research/unit-distance-24/results/u24/check/s1872of1920-v18.txt"],"1887":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s1887of1920-r03.txt","w02-a62kx4/research/unit-distance-24/results/u24/check/s1887of1920-w02.txt"],"218":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s218of1920-r03.txt","v03-fqai0r/research/unit-distance-24/results/u24/check/s218of1920-v03.txt"],"254":["r04-trmyhh/research/unit-distance-24/results/u24/check/s254of1920-r04.txt","v24-10u5i7/research/unit-distance-24/results/u24/check/s254of1920-v24.txt"],"260":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s260of1920-r03.txt","v16-i6bwf7/research/unit-distance-24/results/u24/check/s260of1920-v16.txt"],"293":["r04-trmyhh/research/unit-distance-24/results/u24/check/s293of1920-r04.txt","v11-ilslai/research/unit-distance-24/results/u24/check/s293of1920-v11.txt"],"294":["r04-trmyhh/research/unit-distance-24/results/u24/check/s294of1920-r04.txt","v25-vvoem9/research/unit-distance-24/results/u24/check/s294of1920-v25.txt"],"344":["r01/research/unit-distance-24/results/u24/check/s344of1920-r01.txt","vm01/research/unit-distance-24/results/u24/check/s344of1920-vm01.txt"],"37":["r04-trmyhh/research/unit-distance-24/results/u24/check/s37of1920-r04.txt","v03-fqai0r/research/unit-distance-24/results/u24/check/s37of1920-v03.txt"],"376":["r04-trmyhh/research/unit-distance-24/results/u24/check/s376of1920-r04.txt","v34-z9ku33/research/unit-distance-24/results/u24/check/s376of1920-v34.txt"],"461":["r04-trmyhh/research/unit-distance-24/results/u24/check/s461of1920-r04.txt","v31-6lzzzp/research/unit-distance-24/results/u24/check/s461of1920-v31.txt"],"473":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s473of1920-r03.txt","v15-92eiy3/research/unit-distance-24/results/u24/check/s473of1920-v15.txt"],"516":["r04-trmyhh/research/unit-distance-24/results/u24/check/s516of1920-r04.txt","v03-fqai0r/research/unit-distance-24/results/u24/check/s516of1920-v03.txt"],"57":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s57of1920-r03.txt","v25-vvoem9/research/unit-distance-24/results/u24/check/s57of1920-v25.txt"],"590":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s590of1920-r03.txt","w04-3kfr0p/research/unit-distance-24/results/u24/check/s590of1920-w04.txt"],"610":["r04-trmyhh/research/unit-distance-24/results/u24/check/s610of1920-r04.txt","vm610/research/unit-distance-24/results/u24/check/s610of1920-vm610.txt"],"622":["codex-cx24-b3-0622/research/unit-distance-24/results/u24/check/s622of1920-cx24-b3-0622.txt","r04-trmyhh/research/unit-distance-24/results/u24/check/s622of1920-r04.txt"],"681":["r04-trmyhh/research/unit-distance-24/results/u24/check/s681of1920-r04.txt","v03-fqai0r/research/unit-distance-24/results/u24/check/s681of1920-v03.txt"],"693":["r04-trmyhh/research/unit-distance-24/results/u24/check/s693of1920-r04.txt","v24-e6b3qc/research/unit-distance-24/results/u24/check/s693of1920-v24.txt"],"697":["codex-cx24-b1-0697/research/unit-distance-24/results/u24/check/s697of1920-cx24-b1-0697.txt","r03-bu3xp3/research/unit-distance-24/results/u24/check/s697of1920-r03.txt"],"73":["codex-cx24-b3-0073/research/unit-distance-24/results/u24/check/s73of1920-cx24-b3-0073.txt","r03-bu3xp3/research/unit-distance-24/results/u24/check/s73of1920-r03.txt"],"771":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s771of1920-r03.txt","w46-35g2kj/research/unit-distance-24/results/u24/check/s771of1920-w46.txt"],"793":["r04-trmyhh/research/unit-distance-24/results/u24/check/s793of1920-r04.txt","w51-v6zewh/research/unit-distance-24/results/u24/check/s793of1920-w51.txt"],"975":["r03-bu3xp3/research/unit-distance-24/results/u24/check/s975of1920-r03.txt","v20-5iutaj/research/unit-distance-24/results/u24/check/s975of1920-v20.txt"]},"g4":{"PASS":100},"known":60586,"known_cells":{"16-35":{"eligible":124,"found":16},"16-36":{"eligible":12058,"found":5787},"16-37":{"eligible":1500,"found":1178},"16-38":{"eligible":119,"found":102},"16-39":{"eligible":13,"found":5},"16-40":{"eligible":1,"found":1},"16-41":{"eligible":1,"found":0},"17-39":{"eligible":27487,"found":16632},"17-40":{"eligible":4855,"found":3729},"17-41":{"eligible":481,"found":325},"17-42":{"eligible":39,"found":22},"17-43":{"eligible":6,"found":1},"18-42":{"eligible":1792,"found":1281},"18-43":{"eligible":18906,"found":13249},"18-44":{"eligible":1798,"found":1250},"18-45":{"eligible":204,"found":92},"18-46":{"eligible":16,"found":6},"19-46":{"eligible":16196,"found":9666},"19-47":{"eligible":8779,"found":5486},"19-48":{"eligible":823,"found":407},"19-49":{"eligible":44,"found":21},"19-50":{"eligible":3,"found":0},"20-51":{"eligible":2248,"found":1203},"20-52":{"eligible":296,"found":109},"20-53":{"eligible":11,"found":1},"20-54":{"eligible":1,"found":0},"21-56":{"eligible":71,"found":11},"21-57":{"eligible":5,"found":1},"22-60":{"eligible":35,"found":5}},"planned":[10,37,57,73,104,116,218,254,260,293,294,344,376,461,473,516,590,610,622,681,693,697,771,793,975,1005,1019,1042,1047,1056,1074,1149,1248,1269,1270,1298,1320,1360,1382,1414,1535,1549,1623,1695,1704,1723,1794,1818,1872,1887],"problems":[],"verdict":"OK"}},"previous":{"22":60,"23":64},"resumed_copies":[{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-pilot","slice":344,"source":"vm01/research/unit-distance-24/results/u24/check/s344of1920-vm01.txt","twin":"reproduction comparison: r01/research/unit-distance-24/results/u24/check/s344of1920-r01.txt; judge verdict OK"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-pilot","slice":1209,"source":"u09-sgz9zi/research/unit-distance-24/results/u24/check/s1209of1920-u09.txt","twin":"vmr3 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:2; via the counted copy and the judge's duplicate-copy agreement"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-pilot","slice":1209,"source":"u09-x7dha8/research/unit-distance-24/results/u24/check/s1209of1920-u09.txt","twin":"vmr3 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:2; direct comparison"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-pilot","slice":1474,"source":"u07-aa336b/research/unit-distance-24/results/u24/check/s1474of1920-u07.txt","twin":"vmr3 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:1; direct comparison"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-pilot","slice":1639,"source":"u10-c2xaqf/research/unit-distance-24/results/u24/check/s1639of1920-u10.txt","twin":"vmr5 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:10; direct comparison"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-pilot","slice":1639,"source":"u10-vhb8bq/research/unit-distance-24/results/u24/check/s1639of1920-u10.txt","twin":"vmr5 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:10; via the counted copy and the judge's duplicate-copy agreement"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-pilot","slice":1651,"source":"u05-umq7r7/research/unit-distance-24/results/u24/check/s1651of1920-u05.txt","twin":"vmr5 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:9; direct comparison"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-pilot","slice":1721,"source":"u06-srvteg/research/unit-distance-24/results/u24/check/s1721of1920-u06.txt","twin":"vmr4 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:5; direct comparison"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-pilot","slice":1814,"source":"u08-8w6cq5/research/unit-distance-24/results/u24/check/s1814of1920-u08.txt","twin":"vmr4 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:6; direct comparison"},{"mechanism":"legacy same-container relaunch","missing":false,"plan":"u24-full","slice":239,"source":"v29-fxyv1b/research/unit-distance-24/results/u24/check/s239of1920-v29.txt","twin":"vmr1 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-2026-10-06.jsonl:1; direct comparison"},{"mechanism":"legacy same-container relaunch","missing":false,"plan":"u24-full","slice":830,"source":"v29-fxyv1b/research/unit-distance-24/results/u24/check/s830of1920-v29.txt","twin":"vmr1 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-2026-10-06.jsonl:2; direct comparison"},{"mechanism":"legacy same-container relaunch","missing":false,"plan":"u24-full","slice":1069,"source":"v19-qayfjq/research/unit-distance-24/results/u24/check/s1069of1920-v19.txt","twin":"vmr1 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-2026-10-06.jsonl:3; direct comparison"},{"mechanism":"legacy same-container relaunch","missing":false,"plan":"u24-full","slice":1352,"source":"v06-hyf31m/research/unit-distance-24/results/u24/check/s1352of1920-v06.txt","twin":"vmr2 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-2026-10-06.jsonl:4; direct comparison"},{"mechanism":"legacy same-container relaunch","missing":false,"plan":"u24-full","slice":1641,"source":"v20-5iutaj/research/unit-distance-24/results/u24/check/s1641of1920-v20.txt","twin":"vmr2 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-2026-10-06.jsonl:5; direct comparison"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-phaseb","slice":272,"source":"w07-s86zer/research/unit-distance-24/results/u24/check/s272of1920-w07.txt","twin":"vmr3 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:3; direct comparison"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-phaseb","slice":276,"source":"w08-9did6s/research/unit-distance-24/results/u24/check/s276of1920-w08.txt","twin":"vmr5 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:12; direct comparison"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-phaseb","slice":406,"source":"w11-suxmrc/research/unit-distance-24/results/u24/check/s406of1920-w11.txt","twin":"vmr3 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:4; direct comparison"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-phaseb","slice":466,"source":"w12-4fkktd/research/unit-distance-24/results/u24/check/s466of1920-w12.txt","twin":"vmr4 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:7; direct comparison"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-phaseb","slice":997,"source":"w17/research/unit-distance-24/results/u24/check/s997of1920-w17.txt","twin":"vmr4 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:8; direct comparison"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-phaseb","slice":1183,"source":"w21-7drrhb/research/unit-distance-24/results/u24/check/s1183of1920-w21.txt","twin":"vmr5 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:11; direct comparison"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-phaseb","slice":1260,"source":"w23-lw7rks/research/unit-distance-24/results/u24/check/s1260of1920-w23.txt","twin":"vmr5 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:13; direct comparison"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-phaseb","slice":1270,"source":"w24-dex65e/research/unit-distance-24/results/u24/check/s1270of1920-w24.txt","twin":"vmr6 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:15; direct comparison"},{"mechanism":"tree-kill time-slice supervisor","missing":false,"plan":"u24-phaseb","slice":1371,"source":"w27-a4sf5r/research/unit-distance-24/results/u24/check/s1371of1920-w27.txt","twin":"vmr5 (IDENTICAL); research/unit-distance-24/evidence/rerun-resumed-supervisor-2026-10-07.jsonl:14; direct comparison"}],"sample_fraction":"0.002","sample_heavy":[344,1535],"sample_random":48,"sample_seed":20261003,"scar":[{"differences":["COPIES: slice 247: accepted copies disagree on counts (w28-l7lhe0/research/unit-distance-24/results/u24/check/s247of1920-w28.txt, v26-ysvydx/research/unit-distance-24/results/u24/check/s247of1920-v26.txt)"],"new_copy":"w28-l7lhe0/research/unit-distance-24/results/u24/check/s247of1920-w28.txt","old_copy":"v26-ysvydx/research/unit-distance-24/results/u24/check/s247of1920-v26.txt","slice":247}],"schema":"distance24-page-audit-v1","target":[24,69],"tree":[{"cells":8,"children":17770330,"embedded":0,"input":17770330,"kept":14227296,"level":13,"pruned":3543034,"pruned_percent":19.937918991937686,"refuted":0,"survivors":15120594,"tri_refuted":15574,"tri_silent_passes":0,"tri_survivors":14227296,"tri_tu":877724,"tu":2649736,"unknown":14227296,"window":"23..30"},{"cells":8,"children":149368305,"embedded":0,"input":149368305,"kept":111094819,"level":14,"pruned":38273486,"pruned_percent":25.62356585622365,"refuted":0,"survivors":122694588,"tri_refuted":358963,"tri_silent_passes":0,"tri_survivors":111094819,"tri_tu":11240806,"tu":26673717,"unknown":111094819,"window":"26..33"},{"cells":9,"children":842594946,"embedded":0,"input":842594946,"kept":492690622,"level":15,"pruned":349904324,"pruned_percent":41.52699059744894,"refuted":0,"survivors":628042572,"tri_refuted":7375584,"tri_silent_passes":0,"tri_survivors":492690622,"tri_tu":127976366,"tu":214552374,"unknown":492690622,"window":"29..37"},{"cells":9,"children":1058712809,"embedded":0,"input":1058712809,"kept":580930642,"level":16,"pruned":477782167,"pruned_percent":45.128590391882184,"refuted":0,"survivors":807149173,"tri_refuted":14511415,"tri_silent_passes":0,"tri_survivors":580930642,"tri_tu":211707116,"tu":251563636,"unknown":580930642,"window":"33..41"},{"cells":7,"children":430213864,"embedded":0,"input":430213864,"kept":213648868,"level":17,"pruned":216564996,"pruned_percent":50.338916088487565,"refuted":0,"survivors":323424432,"tri_refuted":8134186,"tri_silent_passes":0,"tri_survivors":213648868,"tri_tu":101641378,"tu":106789432,"unknown":213648868,"window":"37..43"},{"cells":6,"children":149651568,"embedded":0,"input":149651568,"kept":70700498,"level":18,"pruned":78951070,"pruned_percent":52.75659390351326,"refuted":0,"survivors":109094848,"tri_refuted":3104242,"tri_silent_passes":0,"tri_survivors":70700498,"tri_tu":35290108,"tu":40556720,"unknown":70700498,"window":"41..46"},{"cells":6,"children":71309140,"embedded":0,"input":71309140,"kept":35311814,"level":19,"pruned":35997326,"pruned_percent":50.480662086234666,"refuted":0,"survivors":52526851,"tri_refuted":1440482,"tri_silent_passes":0,"tri_survivors":35311814,"tri_tu":15774555,"tu":18782289,"unknown":35311814,"window":"45..50"},{"cells":6,"children":7827502,"embedded":0,"input":7827502,"kept":2997565,"level":20,"pruned":4829937,"pruned_percent":61.704704770436344,"refuted":0,"survivors":5545151,"tri_refuted":250711,"tri_silent_passes":0,"tri_survivors":2997565,"tri_tu":2296875,"tu":2282351,"unknown":2997565,"window":"49..54"},{"cells":4,"children":93259,"embedded":0,"input":93259,"kept":46801,"level":21,"pruned":46458,"pruned_percent":49.816103539604754,"refuted":0,"survivors":69306,"tri_refuted":2710,"tri_silent_passes":0,"tri_survivors":46801,"tri_tu":19795,"tu":23953,"unknown":46801,"window":"54..57"},{"cells":2,"children":1356,"embedded":0,"input":1356,"kept":892,"level":22,"pruned":464,"pruned_percent":34.21828908554572,"refuted":0,"survivors":1086,"tri_refuted":36,"tri_silent_passes":0,"tri_survivors":892,"tri_tu":158,"tu":270,"unknown":892,"window":"59..60"},{"cells":1,"children":48,"embedded":0,"input":48,"kept":31,"level":23,"pruned":17,"pruned_percent":35.416666666666664,"refuted":0,"survivors":35,"tri_refuted":2,"tri_silent_passes":0,"tri_survivors":31,"tri_tu":2,"tu":13,"unknown":31,"window":"64"},{"cells":1,"children":1,"embedded":0,"input":1,"kept":1,"level":24,"pruned":0,"pruned_percent":0.0,"refuted":0,"survivors":1,"tri_refuted":0,"tri_silent_passes":0,"tri_survivors":1,"tri_tu":0,"tu":0,"unknown":1,"window":"69"}]}