{"abstract":"Slightly out-of-bounds objects land at the far end of the order.","category":"Collision detection broadphase","checks":8,"contract":"solve(pts, bounds): LBVH ordering. Each centroid [id,x,y] is quantized per axis to min(1023, max(0, floor((c-lo)/(hi-lo)*1024))) (0 for a flat axis), and the 10-bit values are interleaved with x in even bits and y in odd bits. Return [[id, code]] sorted by (code, numeric id).","evaluation_group":"w2-collision_detection_broadphase-morton-lbvh-order","failed_approach":"Taking the absolute value mirrors them into the scene instead of clamping.","family":"w2-collision_detection_broadphase-morton-lbvh-order-lower-quantization-clamp","id":"FA-87591","implementations":{"attempt":{"sha256":"d0c7231af2618d0ae8345688a0da92a7dffd58ae592456d5020778ad89676f41","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(pts, bounds):\n    def part(v):\n        v &= 0x3FF\n        v = (v | (v << 8)) & 0x00FF00FF\n        v = (v | (v << 4)) & 0x0F0F0F0F\n        v = (v | (v << 2)) & 0x33333333\n        v = (v | (v << 1)) & 0x55555555\n        return v\n    def quant(c, lo, hi):\n        if hi <= lo:\n            return 0\n        return min(1023, abs(math.floor((c - lo) / (hi - lo) * 1024)))\n    out = []\n    for i, x, y in pts:\n        code = part(quant(x, bounds[0], bounds[2])) | (part(quant(y, bounds[1], bounds[3])) << 1)\n        out.append([i, code])\n    out.sort(key=lambda r: (r[1], r[0]))\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[[[29, 0.0, 10.76], [26, 0.0, 10.76], [13, 81.68, 0.0], [4, 0.0, 32.0], [10, 100.0, 0.3], [2, 71.74, 6.32]], [0.0, 0.0, 100.0, 32.0]], [[26, 139904], [29, 139904], [2, 324060], [13, 331792], [10, 349655], [4, 699050]]], [[[[15, -9.79, -4.0], [23, -8.97, 28.0], [4, 1.83, -4.0], [3, -10.0, 28.0]], [-10.0, -4.0, 6.0, 28.0]], [[15, 81], [4, 283921], [3, 699050], [23, 703147]]], [[[[29, 15.14, -4.07], [13, 0.0, 4.0]], [0.0, -4.0, 100.0, 4.0]], [[29, 16709], [13, 699050]]], [[[[27, 42.89, 8.0], [20, 51.81, 8.87]], [5.0, 0.0, 105.0, 8.0]], [[27, 780975], [20, 785407]]], [[[[7, 16.0, -4.65], [16, 16.22, -4.0]], [0.0, -4.0, 16.0, 4.0]], [[7, 349525], [16, 349525]]], [[[[6, -10.0, 6.42], [28, -7.78, 3.03]], [-10.0, 0.0, 6.0, 8.0]], [[28, 180318], [6, 657954]]], [[[[23, -10.0, 2.89], [10, -9.49, 0.0], [12, -10.79, 0.0], [24, -10.0, 8.0], [21, -10.0, 3.46], [15, -10.0, -0.74]], [-10.0, 0.0, -10.0, 8.0]], [[10, 0], [12, 0], [15, 0], [23, 141826], [21, 166536], [24, 699050]]], [[[[21, 6.0, -0.03], [8, -2.52, 28.0], [12, 0.34, -1.72], [16, -10.48, 8.44]], [-10.0, -4.0, 6.0, 28.0]], [[16, 164008], [12, 287121], [21, 360447], [8, 785406]]]], [[[[[24, 18.92, 1.21], [28, 0.0, 4.0], [15, 88.88, -4.27], [6, 75.34, 2.92], [26, 85.85, -4.53], [7, 98.19, -2.3]], [0.0, -4.0, 100.0, 4.0]], [[26, 332885], [15, 344148], [7, 390867], [24, 578185], [28, 699050], [6, 993831]]], [[[[7, 61.89, 26.8], [4, 65.14, 0.0], [10, 37.56, 2.32], [12, 46.76, 27.2], [13, 105.0, 16.99]], [5.0, 0.0, 105.0, 32.0]], [[10, 78041], [4, 267285], [12, 748653], [13, 874495], [7, 930454]]], [[[[17, 0.31, 0.97], [20, 0.0, -4.0], [19, 0.21, -4.52], [12, 0.0, -1.71], [9, 0.0, 4.0]], [0.0, -4.0, 0.0, 4.0]], [[19, 0], [20, 0], [12, 133154], [17, 535200], [9, 699050]]], [[[[24, 54.6, 4.0], [1, 54.6, 4.0], [29, -10.0, -4.05], [13, -10.0, -4.0], [3, -10.0, -3.74], [12, -10.0, 4.82], [6, -10.0, -4.0], [7, 90.0, 4.0]], [-10.0, -4.0, 90.0, 4.0]], [[6, 0], [13, 0], [29, 0], [3, 2050], [12, 699050], [1, 977851], [24, 977851], [7, 1048575]]], [[[[17, 6.0, 23.49], [4, -10.0, 4.97], [14, -10.0, 11.29], [5, -10.0, 28.0], [27, 2.15, 28.38], [9, 6.0, -4.0], [3, 6.0, 13.56]], [-10.0, -4.0, 6.0, 28.0]], [[4, 131754], [14, 174210], [9, 349525], [5, 699050], [3, 876375], [17, 1015295], [27, 1026795]]], [[[[12, 101.57, 28.0], [2, 101.57, 28.0], [7, 71.05, 28.0], [19, 5.0, 28.0], [29, 105.0, 2.15]], [5.0, -4.0, 105.0, 28.0]], [[29, 390517], [19, 699050], [7, 978618], [2, 1047546], [12, 1047546]]], [[[[17, -10.0, 0.42], [11, -10.0, 0.42], [5, -10.73, 0.0], [24, -10.0, 0.0], [1, -9.52, 32.0], [19, -10.0, 27.12], [20, -10.0, 8.92]], [-10.0, 0.0, -10.0, 32.0]], [[5, 0], [24, 0], [11, 162], [17, 162], [20, 131746], [19, 665610], [1, 699050]]], [[[[22, 5.0, 1.76], [26, 5.0, 1.76], [25, 5.7, -1.04], [6, 5.0, -0.73]], [5.0, -4.0, 21.0, 4.0]], [[25, 143064], [6, 165896], [22, 567298], [26, 567298]]]], [[[[[18, 3.54, 4.0], [5, 4.61, 4.0], [6, 7.15, 4.0], [8, 6.15, 4.0]], [0.0, -4.0, 10.0, 4.0]], [[18, 769774], [5, 785386], [8, 966587], [6, 982010]]], [[[[10, -10.0, 27.45], [13, -10.0, 27.45], [2, -10.0, -4.0], [24, -10.0, -0.07], [7, -10.0, 28.0]], [-10.0, -4.0, -10.0, 28.0]], [[2, 0], [24, 10914], [10, 698536], [13, 698536], [7, 699050]]], [[[[6, 10.0, 8.0], [8, 10.0, 0.11], [20, 10.0, 4.45], [15, 3.12, 0.36]], [0.0, 0.0, 10.0, 8.0]], [[15, 69117], [8, 349693], [20, 876503], [6, 1048575]]], [[[[16, 56.84, 2.88], [5, 65.91, 8.0], [25, 6.98, 0.63], [13, 5.0, 8.0], [3, 26.28, 0.0], [15, 5.0, -0.81], [4, 105.0, 0.0], [17, 105.0, 0.0], [6, 13.5, 1.77]], [5.0, 0.0, 105.0, 8.0]], [[15, 0], [25, 8976], [3, 20801], [6, 47389], [4, 349525], [17, 349525], [16, 404228], [13, 699050], [5, 966399]]], [[[[20, 0.0, 0.82], [7, 0.0, 0.82], [22, -10.0, 3.54], [10, -8.22, 0.0], [14, -10.0, 6.39], [13, -4.48, 8.0], [15, -10.6, 5.53], [2, -10.0, 1.37]], [-10.0, 0.0, 0.0, 8.0]], [[10, 17684], [2, 34986], [22, 172066], [7, 359893], [20, 359893], [15, 565258], [14, 657922], [13, 962491]]], [[[[8, 1.97, -4.78], [27, 9.24, -2.19], [7, 0.0, -4.0]], [0.0, -4.0, 10.0, 4.0]], [[7, 0], [8, 20545], [27, 388398]]], [[[[25, 0.71, -4.92], [3, 0.0, 4.0], [14, 0.94, 4.27], [19, -0.4, 2.92], [28, -0.71, 4.0], [9, 5.44, 3.44]], [0.0, -4.0, 10.0, 4.0]], [[25, 4160], [19, 666146], [3, 699050], [28, 699050], [14, 704170], [9, 954065]]], [[[[29, 5.0, 4.73], [15, 16.49, -1.96], [3, 9.85, 4.0], [20, 16.44, 0.26], [28, 5.0, -1.62], [19, 16.73, 4.0], [8, 5.0, -4.51]], [5.0, -4.0, 21.0, 4.0]], [[8, 0], [28, 133632], [15, 414071], [29, 699050], [3, 765886], [20, 809298], [19, 982782]]]], [[[[[25, 69.59, 21.33], [1, 5.0, 28.0], [16, 15.52, 18.84], [27, 17.38, 7.05]], [5.0, -4.0, 105.0, 28.0]], [[27, 146774], [16, 571085], [1, 699050], [25, 936345]]], [[[[10, 0.0, -4.0], [18, 0.0, 1.87], [11, 10.24, 4.0], [17, 13.44, 4.0], [20, 15.66, 4.0], [2, 0.0, -1.78], [8, 16.0, -4.0], [4, 16.0, -2.59], [14, 5.21, -4.41], [21, 9.67, -4.0]], [0.0, -4.0, 16.0, 4.0]], [[10, 0], [14, 69713], [2, 131744], [21, 267332], [8, 349525], [4, 384885], [18, 567466], [11, 977663], [17, 1031162], [20, 1048302]]], [[[[2, 5.0, 0.0], [17, 5.0, 0.0], [19, 16.36, 1.31], [8, 4.99, 8.0], [27, 21.0, 8.0], [28, 18.96, 6.39]], [5.0, 0.0, 21.0, 8.0]], [[2, 0], [17, 0], [19, 317759], [8, 699050], [28, 991059], [27, 1048575]]], [[[[21, 13.34, 0.23], [8, 13.34, 0.23], [28, 13.33, 8.0], [1, 15.0, 5.19], [14, 4.58, 8.0], [13, 15.0, 8.0], [23, 15.5, 8.91], [19, 15.0, 4.94], [18, 7.91, 0.0]], [5.0, 0.0, 15.0, 8.0]], [[18, 66625], [8, 332726], [21, 332726], [14, 699050], [19, 884693], [1, 907221], [28, 1031098], [13, 1048575], [23, 1048575]]], [[[[2, 100.0, 4.0], [14, 19.7, 0.88], [25, 27.6, -2.94]], [0.0, -4.0, 100.0, 4.0]], [[25, 98670], [14, 555585], [2, 1048575]]], [[[[24, 6.0, 28.0], [15, 6.0, 28.0], [21, -10.0, 17.05], [12, -8.8, 19.12], [25, -5.09, 22.05]], [-10.0, -4.0, 6.0, 28.0]], [[21, 559106], [12, 571482], [25, 730438], [15, 1048575], [24, 1048575]]], [[[[15, 34.3, 7.41], [12, 34.3, 7.41], [4, -5.23, 1.64], [13, 90.0, 8.0], [2, 90.0, 8.0], [11, 32.52, 7.96], [22, 90.0, 7.07], [5, 73.63, 3.33], [9, 4.21, 8.0], [10, 61.24, 2.86]], [-10.0, 0.0, 90.0, 8.0]], [[4, 42754], [10, 424425], [5, 498120], [9, 715691], [12, 776753], [15, 776753], [11, 782221], [22, 1037781], [2, 1048575], [13, 1048575]]], [[[[5, -0.18, 28.0], [29, 16.0, 0.87], [16, 0.0, -4.0], [23, 15.26, -4.0], [24, 10.31, 28.0], [20, 15.76, 28.0], [12, 4.35, -4.0], [8, 13.87, 14.59], [4, 0.0, -4.0], [7, 0.0, 27.51]], [0.0, -4.0, 16.0, 28.0]], [[4, 0], [16, 0], [12, 65812], [23, 348416], [29, 382943], [7, 698880], [5, 699050], [8, 866077], [24, 977839], [20, 1048490]]]], [[[[[10, 5.0, 5.3], [29, 14.7, 25.88], [7, 4.37, 32.0], [6, 5.0, 0.0], [23, 6.09, 2.22], [20, 10.74, 32.0], [11, 15.0, 23.32], [14, 5.0, 19.76]], [5.0, 0.0, 15.0, 32.0]], [[6, 0], [23, 13439], [10, 34946], [14, 535168], [7, 699050], [11, 916957], [20, 965359], [29, 1007265]]], [[[[19, 5.0, -3.05], [25, 5.0, -3.05], [2, 5.0, -4.0], [7, 5.0, -0.21], [4, 5.0, -0.44]], [5.0, -4.0, 5.0, 28.0]], [[2, 0], [19, 680], [25, 680], [4, 10754], [7, 10882]]], [[[[13, 15.0, 11.38], [18, 15.0, 28.0], [6, 14.52, 4.53], [5, 14.55, 28.0], [20, 13.11, 28.0], [16, 5.89, 1.96], [15, 5.0, -4.0], [10, 9.17, 28.0], [23, 14.46, 15.77], [19, 15.52, -4.0], [17, 10.19, 28.0]], [5.0, -4.0, 15.0, 28.0]], [[15, 0], [16, 39917], [19, 349525], [6, 479828], [13, 523765], [10, 782063], [23, 883392], [17, 961455], [20, 1028094], [5, 1047467], [18, 1048575]]], [[[[6, -10.0, 1.87], [22, -10.0, 1.87], [18, -10.0, 19.83], [27, -7.05, 6.24], [13, -7.53, 27.93], [8, -8.41, -0.77], [23, -10.0, 0.56]], [-10.0, 0.0, 6.0, 32.0]], [[23, 514], [6, 2698], [22, 2698], [8, 5137], [27, 58746], [18, 535176], [13, 682998]]], [[[[27, 1.75, 8.0], [28, 0.0, -0.68], [22, 0.0, 5.11], [12, 16.0, 8.0], [1, 9.94, 2.97], [8, 0.0, 0.0]], [0.0, 0.0, 16.0, 8.0]], [[8, 0], [28, 0], [1, 409584], [22, 557224], [27, 704426], [12, 1048575]]], [[[[27, 0.0, 8.0], [11, 10.0, 3.99], [26, 4.74, 0.0], [21, 10.0, 8.0], [7, 0.43, 4.89], [23, 10.0, 0.0], [29, 10.0, 0.0], [16, 4.68, 7.81], [24, -0.16, 8.0], [12, 1.68, 8.0]], [0.0, 0.0, 10.0, 8.0]], [[26, 87057], [23, 349525], [29, 349525], [11, 524285], [7, 536146], [24, 699050], [27, 699050], [12, 716538], [16, 784767], [21, 1048575]]], [[[[17, 0.0, -4.0], [14, 0.0, -4.0], [28, 0.0, -4.0], [6, 0.0, 3.21], [9, 0.0, 20.07], [24, 0.0, -4.0], [27, 0.69, 27.28], [21, -0.16, 18.67], [23, 0.0, 19.8]], [0.0, -4.0, 0.0, 28.0]], [[14, 0], [17, 0], [24, 0], [28, 0], [6, 43048], [21, 565794], [23, 567938], [9, 655368], [27, 698496]]], [[[[8, -2.26, 8.0], [21, -4.59, 7.78], [28, 0.0, 1.24], [29, -4.93, 6.43], [11, -2.4, 8.0], [5, -9.98, 8.0], [7, 0.0, 0.0], [15, -9.58, 2.26], [22, -10.78, 0.0], [20, -10.0, 0.86]], [-10.0, 0.0, 0.0, 8.0]], [[22, 0], [20, 10408], [15, 134215], [7, 349525], [28, 382973], [5, 699054], [29, 920127], [21, 961611], [11, 1026798], [8, 1027050]]]]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"case %d\" % i, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"76e300357b7321b68f309b865732618c0936e7edd48db700a8013d00b63bd981","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(pts, bounds):\n    def part(v):\n        v &= 0x3FF\n        v = (v | (v << 8)) & 0x00FF00FF\n        v = (v | (v << 4)) & 0x0F0F0F0F\n        v = (v | (v << 2)) & 0x33333333\n        v = (v | (v << 1)) & 0x55555555\n        return v\n    def quant(c, lo, hi):\n        if hi <= lo:\n            return 0\n        return min(1023, math.floor((c - lo) / (hi - lo) * 1024))\n    out = []\n    for i, x, y in pts:\n        code = part(quant(x, bounds[0], bounds[2])) | (part(quant(y, bounds[1], bounds[3])) << 1)\n        out.append([i, code])\n    out.sort(key=lambda r: (r[1], r[0]))\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[[[29, 0.0, 10.76], [26, 0.0, 10.76], [13, 81.68, 0.0], [4, 0.0, 32.0], [10, 100.0, 0.3], [2, 71.74, 6.32]], [0.0, 0.0, 100.0, 32.0]], [[26, 139904], [29, 139904], [2, 324060], [13, 331792], [10, 349655], [4, 699050]]], [[[[15, -9.79, -4.0], [23, -8.97, 28.0], [4, 1.83, -4.0], [3, -10.0, 28.0]], [-10.0, -4.0, 6.0, 28.0]], [[15, 81], [4, 283921], [3, 699050], [23, 703147]]], [[[[29, 15.14, -4.07], [13, 0.0, 4.0]], [0.0, -4.0, 100.0, 4.0]], [[29, 16709], [13, 699050]]], [[[[27, 42.89, 8.0], [20, 51.81, 8.87]], [5.0, 0.0, 105.0, 8.0]], [[27, 780975], [20, 785407]]], [[[[7, 16.0, -4.65], [16, 16.22, -4.0]], [0.0, -4.0, 16.0, 4.0]], [[7, 349525], [16, 349525]]], [[[[6, -10.0, 6.42], [28, -7.78, 3.03]], [-10.0, 0.0, 6.0, 8.0]], [[28, 180318], [6, 657954]]], [[[[23, -10.0, 2.89], [10, -9.49, 0.0], [12, -10.79, 0.0], [24, -10.0, 8.0], [21, -10.0, 3.46], [15, -10.0, -0.74]], [-10.0, 0.0, -10.0, 8.0]], [[10, 0], [12, 0], [15, 0], [23, 141826], [21, 166536], [24, 699050]]], [[[[21, 6.0, -0.03], [8, -2.52, 28.0], [12, 0.34, -1.72], [16, -10.48, 8.44]], [-10.0, -4.0, 6.0, 28.0]], [[16, 164008], [12, 287121], [21, 360447], [8, 785406]]]], [[[[[24, 18.92, 1.21], [28, 0.0, 4.0], [15, 88.88, -4.27], [6, 75.34, 2.92], [26, 85.85, -4.53], [7, 98.19, -2.3]], [0.0, -4.0, 100.0, 4.0]], [[26, 332885], [15, 344148], [7, 390867], [24, 578185], [28, 699050], [6, 993831]]], [[[[7, 61.89, 26.8], [4, 65.14, 0.0], [10, 37.56, 2.32], [12, 46.76, 27.2], [13, 105.0, 16.99]], [5.0, 0.0, 105.0, 32.0]], [[10, 78041], [4, 267285], [12, 748653], [13, 874495], [7, 930454]]], [[[[17, 0.31, 0.97], [20, 0.0, -4.0], [19, 0.21, -4.52], [12, 0.0, -1.71], [9, 0.0, 4.0]], [0.0, -4.0, 0.0, 4.0]], [[19, 0], [20, 0], [12, 133154], [17, 535200], [9, 699050]]], [[[[24, 54.6, 4.0], [1, 54.6, 4.0], [29, -10.0, -4.05], [13, -10.0, -4.0], [3, -10.0, -3.74], [12, -10.0, 4.82], [6, -10.0, -4.0], [7, 90.0, 4.0]], [-10.0, -4.0, 90.0, 4.0]], [[6, 0], [13, 0], [29, 0], [3, 2050], [12, 699050], [1, 977851], [24, 977851], [7, 1048575]]], [[[[17, 6.0, 23.49], [4, -10.0, 4.97], [14, -10.0, 11.29], [5, -10.0, 28.0], [27, 2.15, 28.38], [9, 6.0, -4.0], [3, 6.0, 13.56]], [-10.0, -4.0, 6.0, 28.0]], [[4, 131754], [14, 174210], [9, 349525], [5, 699050], [3, 876375], [17, 1015295], [27, 1026795]]], [[[[12, 101.57, 28.0], [2, 101.57, 28.0], [7, 71.05, 28.0], [19, 5.0, 28.0], [29, 105.0, 2.15]], [5.0, -4.0, 105.0, 28.0]], [[29, 390517], [19, 699050], [7, 978618], [2, 1047546], [12, 1047546]]], [[[[17, -10.0, 0.42], [11, -10.0, 0.42], [5, -10.73, 0.0], [24, -10.0, 0.0], [1, -9.52, 32.0], [19, -10.0, 27.12], [20, -10.0, 8.92]], [-10.0, 0.0, -10.0, 32.0]], [[5, 0], [24, 0], [11, 162], [17, 162], [20, 131746], [19, 665610], [1, 699050]]], [[[[22, 5.0, 1.76], [26, 5.0, 1.76], [25, 5.7, -1.04], [6, 5.0, -0.73]], [5.0, -4.0, 21.0, 4.0]], [[25, 143064], [6, 165896], [22, 567298], [26, 567298]]]], [[[[[18, 3.54, 4.0], [5, 4.61, 4.0], [6, 7.15, 4.0], [8, 6.15, 4.0]], [0.0, -4.0, 10.0, 4.0]], [[18, 769774], [5, 785386], [8, 966587], [6, 982010]]], [[[[10, -10.0, 27.45], [13, -10.0, 27.45], [2, -10.0, -4.0], [24, -10.0, -0.07], [7, -10.0, 28.0]], [-10.0, -4.0, -10.0, 28.0]], [[2, 0], [24, 10914], [10, 698536], [13, 698536], [7, 699050]]], [[[[6, 10.0, 8.0], [8, 10.0, 0.11], [20, 10.0, 4.45], [15, 3.12, 0.36]], [0.0, 0.0, 10.0, 8.0]], [[15, 69117], [8, 349693], [20, 876503], [6, 1048575]]], [[[[16, 56.84, 2.88], [5, 65.91, 8.0], [25, 6.98, 0.63], [13, 5.0, 8.0], [3, 26.28, 0.0], [15, 5.0, -0.81], [4, 105.0, 0.0], [17, 105.0, 0.0], [6, 13.5, 1.77]], [5.0, 0.0, 105.0, 8.0]], [[15, 0], [25, 8976], [3, 20801], [6, 47389], [4, 349525], [17, 349525], [16, 404228], [13, 699050], [5, 966399]]], [[[[20, 0.0, 0.82], [7, 0.0, 0.82], [22, -10.0, 3.54], [10, -8.22, 0.0], [14, -10.0, 6.39], [13, -4.48, 8.0], [15, -10.6, 5.53], [2, -10.0, 1.37]], [-10.0, 0.0, 0.0, 8.0]], [[10, 17684], [2, 34986], [22, 172066], [7, 359893], [20, 359893], [15, 565258], [14, 657922], [13, 962491]]], [[[[8, 1.97, -4.78], [27, 9.24, -2.19], [7, 0.0, -4.0]], [0.0, -4.0, 10.0, 4.0]], [[7, 0], [8, 20545], [27, 388398]]], [[[[25, 0.71, -4.92], [3, 0.0, 4.0], [14, 0.94, 4.27], [19, -0.4, 2.92], [28, -0.71, 4.0], [9, 5.44, 3.44]], [0.0, -4.0, 10.0, 4.0]], [[25, 4160], [19, 666146], [3, 699050], [28, 699050], [14, 704170], [9, 954065]]], [[[[29, 5.0, 4.73], [15, 16.49, -1.96], [3, 9.85, 4.0], [20, 16.44, 0.26], [28, 5.0, -1.62], [19, 16.73, 4.0], [8, 5.0, -4.51]], [5.0, -4.0, 21.0, 4.0]], [[8, 0], [28, 133632], [15, 414071], [29, 699050], [3, 765886], [20, 809298], [19, 982782]]]], [[[[[25, 69.59, 21.33], [1, 5.0, 28.0], [16, 15.52, 18.84], [27, 17.38, 7.05]], [5.0, -4.0, 105.0, 28.0]], [[27, 146774], [16, 571085], [1, 699050], [25, 936345]]], [[[[10, 0.0, -4.0], [18, 0.0, 1.87], [11, 10.24, 4.0], [17, 13.44, 4.0], [20, 15.66, 4.0], [2, 0.0, -1.78], [8, 16.0, -4.0], [4, 16.0, -2.59], [14, 5.21, -4.41], [21, 9.67, -4.0]], [0.0, -4.0, 16.0, 4.0]], [[10, 0], [14, 69713], [2, 131744], [21, 267332], [8, 349525], [4, 384885], [18, 567466], [11, 977663], [17, 1031162], [20, 1048302]]], [[[[2, 5.0, 0.0], [17, 5.0, 0.0], [19, 16.36, 1.31], [8, 4.99, 8.0], [27, 21.0, 8.0], [28, 18.96, 6.39]], [5.0, 0.0, 21.0, 8.0]], [[2, 0], [17, 0], [19, 317759], [8, 699050], [28, 991059], [27, 1048575]]], [[[[21, 13.34, 0.23], [8, 13.34, 0.23], [28, 13.33, 8.0], [1, 15.0, 5.19], [14, 4.58, 8.0], [13, 15.0, 8.0], [23, 15.5, 8.91], [19, 15.0, 4.94], [18, 7.91, 0.0]], [5.0, 0.0, 15.0, 8.0]], [[18, 66625], [8, 332726], [21, 332726], [14, 699050], [19, 884693], [1, 907221], [28, 1031098], [13, 1048575], [23, 1048575]]], [[[[2, 100.0, 4.0], [14, 19.7, 0.88], [25, 27.6, -2.94]], [0.0, -4.0, 100.0, 4.0]], [[25, 98670], [14, 555585], [2, 1048575]]], [[[[24, 6.0, 28.0], [15, 6.0, 28.0], [21, -10.0, 17.05], [12, -8.8, 19.12], [25, -5.09, 22.05]], [-10.0, -4.0, 6.0, 28.0]], [[21, 559106], [12, 571482], [25, 730438], [15, 1048575], [24, 1048575]]], [[[[15, 34.3, 7.41], [12, 34.3, 7.41], [4, -5.23, 1.64], [13, 90.0, 8.0], [2, 90.0, 8.0], [11, 32.52, 7.96], [22, 90.0, 7.07], [5, 73.63, 3.33], [9, 4.21, 8.0], [10, 61.24, 2.86]], [-10.0, 0.0, 90.0, 8.0]], [[4, 42754], [10, 424425], [5, 498120], [9, 715691], [12, 776753], [15, 776753], [11, 782221], [22, 1037781], [2, 1048575], [13, 1048575]]], [[[[5, -0.18, 28.0], [29, 16.0, 0.87], [16, 0.0, -4.0], [23, 15.26, -4.0], [24, 10.31, 28.0], [20, 15.76, 28.0], [12, 4.35, -4.0], [8, 13.87, 14.59], [4, 0.0, -4.0], [7, 0.0, 27.51]], [0.0, -4.0, 16.0, 28.0]], [[4, 0], [16, 0], [12, 65812], [23, 348416], [29, 382943], [7, 698880], [5, 699050], [8, 866077], [24, 977839], [20, 1048490]]]], [[[[[10, 5.0, 5.3], [29, 14.7, 25.88], [7, 4.37, 32.0], [6, 5.0, 0.0], [23, 6.09, 2.22], [20, 10.74, 32.0], [11, 15.0, 23.32], [14, 5.0, 19.76]], [5.0, 0.0, 15.0, 32.0]], [[6, 0], [23, 13439], [10, 34946], [14, 535168], [7, 699050], [11, 916957], [20, 965359], [29, 1007265]]], [[[[19, 5.0, -3.05], [25, 5.0, -3.05], [2, 5.0, -4.0], [7, 5.0, -0.21], [4, 5.0, -0.44]], [5.0, -4.0, 5.0, 28.0]], [[2, 0], [19, 680], [25, 680], [4, 10754], [7, 10882]]], [[[[13, 15.0, 11.38], [18, 15.0, 28.0], [6, 14.52, 4.53], [5, 14.55, 28.0], [20, 13.11, 28.0], [16, 5.89, 1.96], [15, 5.0, -4.0], [10, 9.17, 28.0], [23, 14.46, 15.77], [19, 15.52, -4.0], [17, 10.19, 28.0]], [5.0, -4.0, 15.0, 28.0]], [[15, 0], [16, 39917], [19, 349525], [6, 479828], [13, 523765], [10, 782063], [23, 883392], [17, 961455], [20, 1028094], [5, 1047467], [18, 1048575]]], [[[[6, -10.0, 1.87], [22, -10.0, 1.87], [18, -10.0, 19.83], [27, -7.05, 6.24], [13, -7.53, 27.93], [8, -8.41, -0.77], [23, -10.0, 0.56]], [-10.0, 0.0, 6.0, 32.0]], [[23, 514], [6, 2698], [22, 2698], [8, 5137], [27, 58746], [18, 535176], [13, 682998]]], [[[[27, 1.75, 8.0], [28, 0.0, -0.68], [22, 0.0, 5.11], [12, 16.0, 8.0], [1, 9.94, 2.97], [8, 0.0, 0.0]], [0.0, 0.0, 16.0, 8.0]], [[8, 0], [28, 0], [1, 409584], [22, 557224], [27, 704426], [12, 1048575]]], [[[[27, 0.0, 8.0], [11, 10.0, 3.99], [26, 4.74, 0.0], [21, 10.0, 8.0], [7, 0.43, 4.89], [23, 10.0, 0.0], [29, 10.0, 0.0], [16, 4.68, 7.81], [24, -0.16, 8.0], [12, 1.68, 8.0]], [0.0, 0.0, 10.0, 8.0]], [[26, 87057], [23, 349525], [29, 349525], [11, 524285], [7, 536146], [24, 699050], [27, 699050], [12, 716538], [16, 784767], [21, 1048575]]], [[[[17, 0.0, -4.0], [14, 0.0, -4.0], [28, 0.0, -4.0], [6, 0.0, 3.21], [9, 0.0, 20.07], [24, 0.0, -4.0], [27, 0.69, 27.28], [21, -0.16, 18.67], [23, 0.0, 19.8]], [0.0, -4.0, 0.0, 28.0]], [[14, 0], [17, 0], [24, 0], [28, 0], [6, 43048], [21, 565794], [23, 567938], [9, 655368], [27, 698496]]], [[[[8, -2.26, 8.0], [21, -4.59, 7.78], [28, 0.0, 1.24], [29, -4.93, 6.43], [11, -2.4, 8.0], [5, -9.98, 8.0], [7, 0.0, 0.0], [15, -9.58, 2.26], [22, -10.78, 0.0], [20, -10.0, 0.86]], [-10.0, 0.0, 0.0, 8.0]], [[22, 0], [20, 10408], [15, 134215], [7, 349525], [28, 382973], [5, 699054], [29, 920127], [21, 961611], [11, 1026798], [8, 1027050]]]]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"case %d\" % i, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"5380efd5e7739d205ff68e63624399b2813324c8b02070d08643add6066b3e37","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(pts, bounds):\n    def part(v):\n        v &= 0x3FF\n        v = (v | (v << 8)) & 0x00FF00FF\n        v = (v | (v << 4)) & 0x0F0F0F0F\n        v = (v | (v << 2)) & 0x33333333\n        v = (v | (v << 1)) & 0x55555555\n        return v\n    def quant(c, lo, hi):\n        if hi <= lo:\n            return 0\n        return min(1023, max(0, math.floor((c - lo) / (hi - lo) * 1024)))\n    out = []\n    for i, x, y in pts:\n        code = part(quant(x, bounds[0], bounds[2])) | (part(quant(y, bounds[1], bounds[3])) << 1)\n        out.append([i, code])\n    out.sort(key=lambda r: (r[1], r[0]))\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[[[29, 0.0, 10.76], [26, 0.0, 10.76], [13, 81.68, 0.0], [4, 0.0, 32.0], [10, 100.0, 0.3], [2, 71.74, 6.32]], [0.0, 0.0, 100.0, 32.0]], [[26, 139904], [29, 139904], [2, 324060], [13, 331792], [10, 349655], [4, 699050]]], [[[[15, -9.79, -4.0], [23, -8.97, 28.0], [4, 1.83, -4.0], [3, -10.0, 28.0]], [-10.0, -4.0, 6.0, 28.0]], [[15, 81], [4, 283921], [3, 699050], [23, 703147]]], [[[[29, 15.14, -4.07], [13, 0.0, 4.0]], [0.0, -4.0, 100.0, 4.0]], [[29, 16709], [13, 699050]]], [[[[27, 42.89, 8.0], [20, 51.81, 8.87]], [5.0, 0.0, 105.0, 8.0]], [[27, 780975], [20, 785407]]], [[[[7, 16.0, -4.65], [16, 16.22, -4.0]], [0.0, -4.0, 16.0, 4.0]], [[7, 349525], [16, 349525]]], [[[[6, -10.0, 6.42], [28, -7.78, 3.03]], [-10.0, 0.0, 6.0, 8.0]], [[28, 180318], [6, 657954]]], [[[[23, -10.0, 2.89], [10, -9.49, 0.0], [12, -10.79, 0.0], [24, -10.0, 8.0], [21, -10.0, 3.46], [15, -10.0, -0.74]], [-10.0, 0.0, -10.0, 8.0]], [[10, 0], [12, 0], [15, 0], [23, 141826], [21, 166536], [24, 699050]]], [[[[21, 6.0, -0.03], [8, -2.52, 28.0], [12, 0.34, -1.72], [16, -10.48, 8.44]], [-10.0, -4.0, 6.0, 28.0]], [[16, 164008], [12, 287121], [21, 360447], [8, 785406]]]], [[[[[24, 18.92, 1.21], [28, 0.0, 4.0], [15, 88.88, -4.27], [6, 75.34, 2.92], [26, 85.85, -4.53], [7, 98.19, -2.3]], [0.0, -4.0, 100.0, 4.0]], [[26, 332885], [15, 344148], [7, 390867], [24, 578185], [28, 699050], [6, 993831]]], [[[[7, 61.89, 26.8], [4, 65.14, 0.0], [10, 37.56, 2.32], [12, 46.76, 27.2], [13, 105.0, 16.99]], [5.0, 0.0, 105.0, 32.0]], [[10, 78041], [4, 267285], [12, 748653], [13, 874495], [7, 930454]]], [[[[17, 0.31, 0.97], [20, 0.0, -4.0], [19, 0.21, -4.52], [12, 0.0, -1.71], [9, 0.0, 4.0]], [0.0, -4.0, 0.0, 4.0]], [[19, 0], [20, 0], [12, 133154], [17, 535200], [9, 699050]]], [[[[24, 54.6, 4.0], [1, 54.6, 4.0], [29, -10.0, -4.05], [13, -10.0, -4.0], [3, -10.0, -3.74], [12, -10.0, 4.82], [6, -10.0, -4.0], [7, 90.0, 4.0]], [-10.0, -4.0, 90.0, 4.0]], [[6, 0], [13, 0], [29, 0], [3, 2050], [12, 699050], [1, 977851], [24, 977851], [7, 1048575]]], [[[[17, 6.0, 23.49], [4, -10.0, 4.97], [14, -10.0, 11.29], [5, -10.0, 28.0], [27, 2.15, 28.38], [9, 6.0, -4.0], [3, 6.0, 13.56]], [-10.0, -4.0, 6.0, 28.0]], [[4, 131754], [14, 174210], [9, 349525], [5, 699050], [3, 876375], [17, 1015295], [27, 1026795]]], [[[[12, 101.57, 28.0], [2, 101.57, 28.0], [7, 71.05, 28.0], [19, 5.0, 28.0], [29, 105.0, 2.15]], [5.0, -4.0, 105.0, 28.0]], [[29, 390517], [19, 699050], [7, 978618], [2, 1047546], [12, 1047546]]], [[[[17, -10.0, 0.42], [11, -10.0, 0.42], [5, -10.73, 0.0], [24, -10.0, 0.0], [1, -9.52, 32.0], [19, -10.0, 27.12], [20, -10.0, 8.92]], [-10.0, 0.0, -10.0, 32.0]], [[5, 0], [24, 0], [11, 162], [17, 162], [20, 131746], [19, 665610], [1, 699050]]], [[[[22, 5.0, 1.76], [26, 5.0, 1.76], [25, 5.7, -1.04], [6, 5.0, -0.73]], [5.0, -4.0, 21.0, 4.0]], [[25, 143064], [6, 165896], [22, 567298], [26, 567298]]]], [[[[[18, 3.54, 4.0], [5, 4.61, 4.0], [6, 7.15, 4.0], [8, 6.15, 4.0]], [0.0, -4.0, 10.0, 4.0]], [[18, 769774], [5, 785386], [8, 966587], [6, 982010]]], [[[[10, -10.0, 27.45], [13, -10.0, 27.45], [2, -10.0, -4.0], [24, -10.0, -0.07], [7, -10.0, 28.0]], [-10.0, -4.0, -10.0, 28.0]], [[2, 0], [24, 10914], [10, 698536], [13, 698536], [7, 699050]]], [[[[6, 10.0, 8.0], [8, 10.0, 0.11], [20, 10.0, 4.45], [15, 3.12, 0.36]], [0.0, 0.0, 10.0, 8.0]], [[15, 69117], [8, 349693], [20, 876503], [6, 1048575]]], [[[[16, 56.84, 2.88], [5, 65.91, 8.0], [25, 6.98, 0.63], [13, 5.0, 8.0], [3, 26.28, 0.0], [15, 5.0, -0.81], [4, 105.0, 0.0], [17, 105.0, 0.0], [6, 13.5, 1.77]], [5.0, 0.0, 105.0, 8.0]], [[15, 0], [25, 8976], [3, 20801], [6, 47389], [4, 349525], [17, 349525], [16, 404228], [13, 699050], [5, 966399]]], [[[[20, 0.0, 0.82], [7, 0.0, 0.82], [22, -10.0, 3.54], [10, -8.22, 0.0], [14, -10.0, 6.39], [13, -4.48, 8.0], [15, -10.6, 5.53], [2, -10.0, 1.37]], [-10.0, 0.0, 0.0, 8.0]], [[10, 17684], [2, 34986], [22, 172066], [7, 359893], [20, 359893], [15, 565258], [14, 657922], [13, 962491]]], [[[[8, 1.97, -4.78], [27, 9.24, -2.19], [7, 0.0, -4.0]], [0.0, -4.0, 10.0, 4.0]], [[7, 0], [8, 20545], [27, 388398]]], [[[[25, 0.71, -4.92], [3, 0.0, 4.0], [14, 0.94, 4.27], [19, -0.4, 2.92], [28, -0.71, 4.0], [9, 5.44, 3.44]], [0.0, -4.0, 10.0, 4.0]], [[25, 4160], [19, 666146], [3, 699050], [28, 699050], [14, 704170], [9, 954065]]], [[[[29, 5.0, 4.73], [15, 16.49, -1.96], [3, 9.85, 4.0], [20, 16.44, 0.26], [28, 5.0, -1.62], [19, 16.73, 4.0], [8, 5.0, -4.51]], [5.0, -4.0, 21.0, 4.0]], [[8, 0], [28, 133632], [15, 414071], [29, 699050], [3, 765886], [20, 809298], [19, 982782]]]], [[[[[25, 69.59, 21.33], [1, 5.0, 28.0], [16, 15.52, 18.84], [27, 17.38, 7.05]], [5.0, -4.0, 105.0, 28.0]], [[27, 146774], [16, 571085], [1, 699050], [25, 936345]]], [[[[10, 0.0, -4.0], [18, 0.0, 1.87], [11, 10.24, 4.0], [17, 13.44, 4.0], [20, 15.66, 4.0], [2, 0.0, -1.78], [8, 16.0, -4.0], [4, 16.0, -2.59], [14, 5.21, -4.41], [21, 9.67, -4.0]], [0.0, -4.0, 16.0, 4.0]], [[10, 0], [14, 69713], [2, 131744], [21, 267332], [8, 349525], [4, 384885], [18, 567466], [11, 977663], [17, 1031162], [20, 1048302]]], [[[[2, 5.0, 0.0], [17, 5.0, 0.0], [19, 16.36, 1.31], [8, 4.99, 8.0], [27, 21.0, 8.0], [28, 18.96, 6.39]], [5.0, 0.0, 21.0, 8.0]], [[2, 0], [17, 0], [19, 317759], [8, 699050], [28, 991059], [27, 1048575]]], [[[[21, 13.34, 0.23], [8, 13.34, 0.23], [28, 13.33, 8.0], [1, 15.0, 5.19], [14, 4.58, 8.0], [13, 15.0, 8.0], [23, 15.5, 8.91], [19, 15.0, 4.94], [18, 7.91, 0.0]], [5.0, 0.0, 15.0, 8.0]], [[18, 66625], [8, 332726], [21, 332726], [14, 699050], [19, 884693], [1, 907221], [28, 1031098], [13, 1048575], [23, 1048575]]], [[[[2, 100.0, 4.0], [14, 19.7, 0.88], [25, 27.6, -2.94]], [0.0, -4.0, 100.0, 4.0]], [[25, 98670], [14, 555585], [2, 1048575]]], [[[[24, 6.0, 28.0], [15, 6.0, 28.0], [21, -10.0, 17.05], [12, -8.8, 19.12], [25, -5.09, 22.05]], [-10.0, -4.0, 6.0, 28.0]], [[21, 559106], [12, 571482], [25, 730438], [15, 1048575], [24, 1048575]]], [[[[15, 34.3, 7.41], [12, 34.3, 7.41], [4, -5.23, 1.64], [13, 90.0, 8.0], [2, 90.0, 8.0], [11, 32.52, 7.96], [22, 90.0, 7.07], [5, 73.63, 3.33], [9, 4.21, 8.0], [10, 61.24, 2.86]], [-10.0, 0.0, 90.0, 8.0]], [[4, 42754], [10, 424425], [5, 498120], [9, 715691], [12, 776753], [15, 776753], [11, 782221], [22, 1037781], [2, 1048575], [13, 1048575]]], [[[[5, -0.18, 28.0], [29, 16.0, 0.87], [16, 0.0, -4.0], [23, 15.26, -4.0], [24, 10.31, 28.0], [20, 15.76, 28.0], [12, 4.35, -4.0], [8, 13.87, 14.59], [4, 0.0, -4.0], [7, 0.0, 27.51]], [0.0, -4.0, 16.0, 28.0]], [[4, 0], [16, 0], [12, 65812], [23, 348416], [29, 382943], [7, 698880], [5, 699050], [8, 866077], [24, 977839], [20, 1048490]]]], [[[[[10, 5.0, 5.3], [29, 14.7, 25.88], [7, 4.37, 32.0], [6, 5.0, 0.0], [23, 6.09, 2.22], [20, 10.74, 32.0], [11, 15.0, 23.32], [14, 5.0, 19.76]], [5.0, 0.0, 15.0, 32.0]], [[6, 0], [23, 13439], [10, 34946], [14, 535168], [7, 699050], [11, 916957], [20, 965359], [29, 1007265]]], [[[[19, 5.0, -3.05], [25, 5.0, -3.05], [2, 5.0, -4.0], [7, 5.0, -0.21], [4, 5.0, -0.44]], [5.0, -4.0, 5.0, 28.0]], [[2, 0], [19, 680], [25, 680], [4, 10754], [7, 10882]]], [[[[13, 15.0, 11.38], [18, 15.0, 28.0], [6, 14.52, 4.53], [5, 14.55, 28.0], [20, 13.11, 28.0], [16, 5.89, 1.96], [15, 5.0, -4.0], [10, 9.17, 28.0], [23, 14.46, 15.77], [19, 15.52, -4.0], [17, 10.19, 28.0]], [5.0, -4.0, 15.0, 28.0]], [[15, 0], [16, 39917], [19, 349525], [6, 479828], [13, 523765], [10, 782063], [23, 883392], [17, 961455], [20, 1028094], [5, 1047467], [18, 1048575]]], [[[[6, -10.0, 1.87], [22, -10.0, 1.87], [18, -10.0, 19.83], [27, -7.05, 6.24], [13, -7.53, 27.93], [8, -8.41, -0.77], [23, -10.0, 0.56]], [-10.0, 0.0, 6.0, 32.0]], [[23, 514], [6, 2698], [22, 2698], [8, 5137], [27, 58746], [18, 535176], [13, 682998]]], [[[[27, 1.75, 8.0], [28, 0.0, -0.68], [22, 0.0, 5.11], [12, 16.0, 8.0], [1, 9.94, 2.97], [8, 0.0, 0.0]], [0.0, 0.0, 16.0, 8.0]], [[8, 0], [28, 0], [1, 409584], [22, 557224], [27, 704426], [12, 1048575]]], [[[[27, 0.0, 8.0], [11, 10.0, 3.99], [26, 4.74, 0.0], [21, 10.0, 8.0], [7, 0.43, 4.89], [23, 10.0, 0.0], [29, 10.0, 0.0], [16, 4.68, 7.81], [24, -0.16, 8.0], [12, 1.68, 8.0]], [0.0, 0.0, 10.0, 8.0]], [[26, 87057], [23, 349525], [29, 349525], [11, 524285], [7, 536146], [24, 699050], [27, 699050], [12, 716538], [16, 784767], [21, 1048575]]], [[[[17, 0.0, -4.0], [14, 0.0, -4.0], [28, 0.0, -4.0], [6, 0.0, 3.21], [9, 0.0, 20.07], [24, 0.0, -4.0], [27, 0.69, 27.28], [21, -0.16, 18.67], [23, 0.0, 19.8]], [0.0, -4.0, 0.0, 28.0]], [[14, 0], [17, 0], [24, 0], [28, 0], [6, 43048], [21, 565794], [23, 567938], [9, 655368], [27, 698496]]], [[[[8, -2.26, 8.0], [21, -4.59, 7.78], [28, 0.0, 1.24], [29, -4.93, 6.43], [11, -2.4, 8.0], [5, -9.98, 8.0], [7, 0.0, 0.0], [15, -9.58, 2.26], [22, -10.78, 0.0], [20, -10.0, 0.86]], [-10.0, 0.0, 0.0, 8.0]], [[22, 0], [20, 10408], [15, 134215], [7, 349525], [28, 382973], [5, 699054], [29, 920127], [21, 961611], [11, 1026798], [8, 1027050]]]]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"case %d\" % i, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic bounded teaching model with stipulated toy conventions; not a production physics engine or spatial index. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-collision_detection_broadphase-morton-lbvh-order-lower-quantization-clamp","generated_at":"2026-09-29T14:51:00.283750+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Broadphase stages decide which object pairs ever reach narrowphase; a wrong boundary, ordering or bookkeeping rule silently drops real contacts or floods the solver with false candidates.","repair":"Clamp negative quantized coordinates to 0.","root_cause":"The max(0, ...) clamp is missing, so negative values are masked to large ones.","sha256":"38f07f24eb4e2148c3d42242ae68f820d66b170e23dbb92be6e61b74a8d8f692","title":"Centroids below the scene bound wrap to high codes · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.035,"exit_code":1,"observations":[{"actual":[[26,139904],[29,139904],[2,324060],[13,331792],[10,349655],[4,699050]],"check":"case 0","expected":[[26,139904],[29,139904],[2,324060],[13,331792],[10,349655],[4,699050]],"passed":true},{"actual":[[15,81],[4,283921],[3,699050],[23,703147]],"check":"case 1","expected":[[15,81],[4,283921],[3,699050],[23,703147]],"passed":true},{"actual":[[29,16839],[13,699050]],"check":"case 2","expected":[[29,16709],[13,699050]],"passed":false},{"actual":[[27,780975],[20,785407]],"check":"case 3","expected":[[27,780975],[20,785407]],"passed":true},{"actual":[[16,349525],[7,358261]],"check":"case 4","expected":[[7,349525],[16,349525]],"passed":false},{"actual":[[28,180318],[6,657954]],"check":"case 5","expected":[[28,180318],[6,657954]],"passed":true},{"actual":[[10,0],[12,0],[15,8874],[23,141826],[21,166536],[24,699050]],"check":"case 6","expected":[[10,0],[12,0],[15,0],[23,141826],[21,166536],[24,699050]],"passed":false},{"actual":[[16,164349],[12,287121],[21,360447],[8,785406]],"check":"case 7","expected":[[16,164008],[12,287121],[21,360447],[8,785406]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"case 0\", \"actual\": [[26, 139904], [29, 139904], [2, 324060], [13, 331792], [10, 349655], [4, 699050]], \"expected\": [[26, 139904], [29, 139904], [2, 324060], [13, 331792], [10, 349655], [4, 699050]], \"passed\": true}, {\"check\": \"case 1\", \"actual\": [[15, 81], [4, 283921], [3, 699050], [23, 703147]], \"expected\": [[15, 81], [4, 283921], [3, 699050], [23, 703147]], \"passed\": true}, {\"check\": \"case 2\", \"actual\": [[29, 16839], [13, 699050]], \"expected\": [[29, 16709], [13, 699050]], \"passed\": false}, {\"check\": \"case 3\", \"actual\": [[27, 780975], [20, 785407]], \"expected\": [[27, 780975], [20, 785407]], \"passed\": true}, {\"check\": \"case 4\", \"actual\": [[16, 349525], [7, 358261]], \"expected\": [[7, 349525], [16, 349525]], \"passed\": false}, {\"check\": \"case 5\", \"actual\": [[28, 180318], [6, 657954]], \"expected\": [[28, 180318], [6, 657954]], \"passed\": true}, {\"check\": \"case 6\", \"actual\": [[10, 0], [12, 0], [15, 8874], [23, 141826], [21, 166536], [24, 699050]], \"expected\": [[10, 0], [12, 0], [15, 0], [23, 141826], [21, 166536], [24, 699050]], \"passed\": false}, {\"check\": \"case 7\", \"actual\": [[16, 164349], [12, 287121], [21, 360447], [8, 785406]], \"expected\": [[16, 164008], [12, 287121], [21, 360447], [8, 785406]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.326,"exit_code":1,"observations":[{"actual":[[26,139904],[29,139904],[2,324060],[13,331792],[10,349655],[4,699050]],"check":"case 0","expected":[[26,139904],[29,139904],[2,324060],[13,331792],[10,349655],[4,699050]],"passed":true},{"actual":[[15,81],[4,283921],[3,699050],[23,703147]],"check":"case 1","expected":[[15,81],[4,283921],[3,699050],[23,703147]],"passed":true},{"actual":[[13,699050],[29,715631]],"check":"case 2","expected":[[29,16709],[13,699050]],"passed":false},{"actual":[[27,780975],[20,785407]],"check":"case 3","expected":[[27,780975],[20,785407]],"passed":true},{"actual":[[16,349525],[7,1039861]],"check":"case 4","expected":[[7,349525],[16,349525]],"passed":false},{"actual":[[28,180318],[6,657954]],"check":"case 5","expected":[[28,180318],[6,657954]],"passed":true},{"actual":[[10,0],[12,0],[23,141826],[21,166536],[15,690178],[24,699050]],"check":"case 6","expected":[[10,0],[12,0],[15,0],[23,141826],[21,166536],[24,699050]],"passed":false},{"actual":[[12,287121],[21,360447],[16,513193],[8,785406]],"check":"case 7","expected":[[16,164008],[12,287121],[21,360447],[8,785406]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"case 0\", \"actual\": [[26, 139904], [29, 139904], [2, 324060], [13, 331792], [10, 349655], [4, 699050]], \"expected\": [[26, 139904], [29, 139904], [2, 324060], [13, 331792], [10, 349655], [4, 699050]], \"passed\": true}, {\"check\": \"case 1\", \"actual\": [[15, 81], [4, 283921], [3, 699050], [23, 703147]], \"expected\": [[15, 81], [4, 283921], [3, 699050], [23, 703147]], \"passed\": true}, {\"check\": \"case 2\", \"actual\": [[13, 699050], [29, 715631]], \"expected\": [[29, 16709], [13, 699050]], \"passed\": false}, {\"check\": \"case 3\", \"actual\": [[27, 780975], [20, 785407]], \"expected\": [[27, 780975], [20, 785407]], \"passed\": true}, {\"check\": \"case 4\", \"actual\": [[16, 349525], [7, 1039861]], \"expected\": [[7, 349525], [16, 349525]], \"passed\": false}, {\"check\": \"case 5\", \"actual\": [[28, 180318], [6, 657954]], \"expected\": [[28, 180318], [6, 657954]], \"passed\": true}, {\"check\": \"case 6\", \"actual\": [[10, 0], [12, 0], [23, 141826], [21, 166536], [15, 690178], [24, 699050]], \"expected\": [[10, 0], [12, 0], [15, 0], [23, 141826], [21, 166536], [24, 699050]], \"passed\": false}, {\"check\": \"case 7\", \"actual\": [[12, 287121], [21, 360447], [16, 513193], [8, 785406]], \"expected\": [[16, 164008], [12, 287121], [21, 360447], [8, 785406]], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.231,"exit_code":0,"observations":[{"actual":[[26,139904],[29,139904],[2,324060],[13,331792],[10,349655],[4,699050]],"check":"case 0","expected":[[26,139904],[29,139904],[2,324060],[13,331792],[10,349655],[4,699050]],"passed":true},{"actual":[[15,81],[4,283921],[3,699050],[23,703147]],"check":"case 1","expected":[[15,81],[4,283921],[3,699050],[23,703147]],"passed":true},{"actual":[[29,16709],[13,699050]],"check":"case 2","expected":[[29,16709],[13,699050]],"passed":true},{"actual":[[27,780975],[20,785407]],"check":"case 3","expected":[[27,780975],[20,785407]],"passed":true},{"actual":[[7,349525],[16,349525]],"check":"case 4","expected":[[7,349525],[16,349525]],"passed":true},{"actual":[[28,180318],[6,657954]],"check":"case 5","expected":[[28,180318],[6,657954]],"passed":true},{"actual":[[10,0],[12,0],[15,0],[23,141826],[21,166536],[24,699050]],"check":"case 6","expected":[[10,0],[12,0],[15,0],[23,141826],[21,166536],[24,699050]],"passed":true},{"actual":[[16,164008],[12,287121],[21,360447],[8,785406]],"check":"case 7","expected":[[16,164008],[12,287121],[21,360447],[8,785406]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"case 0\", \"actual\": [[26, 139904], [29, 139904], [2, 324060], [13, 331792], [10, 349655], [4, 699050]], \"expected\": [[26, 139904], [29, 139904], [2, 324060], [13, 331792], [10, 349655], [4, 699050]], \"passed\": true}, {\"check\": \"case 1\", \"actual\": [[15, 81], [4, 283921], [3, 699050], [23, 703147]], \"expected\": [[15, 81], [4, 283921], [3, 699050], [23, 703147]], \"passed\": true}, {\"check\": \"case 2\", \"actual\": [[29, 16709], [13, 699050]], \"expected\": [[29, 16709], [13, 699050]], \"passed\": true}, {\"check\": \"case 3\", \"actual\": [[27, 780975], [20, 785407]], \"expected\": [[27, 780975], [20, 785407]], \"passed\": true}, {\"check\": \"case 4\", \"actual\": [[7, 349525], [16, 349525]], \"expected\": [[7, 349525], [16, 349525]], \"passed\": true}, {\"check\": \"case 5\", \"actual\": [[28, 180318], [6, 657954]], \"expected\": [[28, 180318], [6, 657954]], \"passed\": true}, {\"check\": \"case 6\", \"actual\": [[10, 0], [12, 0], [15, 0], [23, 141826], [21, 166536], [24, 699050]], \"expected\": [[10, 0], [12, 0], [15, 0], [23, 141826], [21, 166536], [24, 699050]], \"passed\": true}, {\"check\": \"case 7\", \"actual\": [[16, 164008], [12, 287121], [21, 360447], [8, 785406]], \"expected\": [[16, 164008], [12, 287121], [21, 360447], [8, 785406]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}