FA-87646 / Collision detection broadphase / Open access

Level cell sizes grow linearly · case 01

Large objects need many levels and land on the wrong one.

Verified by executionVariant 1 · 8 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

size += base instead of doubling.

VERIFIED REPAIR

Each level doubles the cell size.

Unsuccessful approach: Quadrupling per level overshoots the contract ratio.

Case contract

solve(objs, base, levels): multi-level grid. Each [id,minx,miny,maxx,maxy] goes to the smallest level l (cell size base*2^l) whose cell size is >= the larger box extent, capped at levels-1; its home cell is floor(min corner / level cell size). Return sorted [[id, level, cx, cy]].

Why this case matters

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.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json
import math
N = 1
observations = []
def solve(objs, base, levels):
    out = []
    for i, a, b, c, d in objs:
        ext = max(c - a, d - b)
        lvl = 0
        size = base
        while size < ext and lvl < levels - 1:
            size += base
            lvl += 1
        out.append([i, lvl, math.floor(a / size), math.floor(b / size)])
    out.sort()
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[[[[34, 9.5, 5.0, 17.5, 14.0], [1, 8.0, 1.0, 11.0, 5.0]], 2.0, 3], [[1, 1, 2, 0], [34, 2, 1, 0]]], [[[[4, -1.0, -2.0, 1.0, 0.0], [7, -9.0, -1.5, -7.0, 0.5], [13, -7.0, -1.0, 1.0, 0.0], [16, 6.5, 3.0, 10.5, 12.0], [27, -0.5, 9.0, 0.0, 10.0], [28, -1.0, -5.5, 6.0, -5.0]], 2.0, 5], [[4, 0, -1, -1], [7, 0, -5, -1], [13, 2, -1, -1], [16, 3, 0, 0], [27, 0, -1, 4], [28, 2, -1, -1]]], [[[[29, -5.5, 8.5, -3.5, 9.0], [8, 1.0, -4.5, 17.0, -0.5], [39, -2.0, 7.0, 0.0, 12.0], [11, 2.0, 8.0, 6.0, 13.0], [4, 1.5, -3.0, 31.5, -2.5]], 2.0, 4], [[4, 3, 0, -1], [8, 3, 0, -1], [11, 2, 0, 1], [29, 0, -3, 4], [39, 2, -1, 0]]], [[[[10, -1.5, 7.5, 0.5, 11.5], [11, -8.0, 3.5, -4.0, 8.5], [17, -5.5, 0.0, -4.5, 4.0], [3, 4.0, -8.5, 12.0, -4.5]], 1.0, 4], [[3, 3, 0, -2], [10, 2, -1, 1], [11, 3, -1, 0], [17, 2, -2, 0]]], [[[[27, -5.0, 6.0, -2.0, 8.0], [21, 4.5, 9.5, 8.5, 14.5]], 2.0, 4], [[21, 2, 0, 1], [27, 1, -2, 1]]], [[[[39, 5.0, 7.0, 6.0, 8.0], [7, -7.5, 2.0, 0.5, 11.0], [2, -8.5, 0.5, -0.5, 2.5], [22, 5.5, 1.5, 13.5, 6.5], [14, -0.5, 2.5, 7.5, 7.5], [36, -9.0, -2.0, 21.0, -1.5]], 1.0, 3], [[2, 2, -3, 0], [7, 2, -2, 0], [14, 2, -1, 0], [22, 2, 1, 0], [36, 2, -3, -1], [39, 0, 5, 7]]], [[[[8, -8.5, 7.0, -0.5, 7.5], [38, -9.5, -8.5, 20.5, -8.0], [39, -7.5, 2.0, -7.0, 11.0], [13, 0.5, -2.0, 4.5, 0.0]], 2.0, 2], [[8, 1, -3, 1], [13, 1, 0, -1], [38, 1, -3, -3], [39, 1, -2, 0]]], [[[[15, 9.5, 2.5, 25.5, 11.5], [12, 6.0, 6.0, 7.0, 10.0], [17, -6.0, 8.0, -5.0, 13.0], [31, 10.0, -5.0, 26.0, -1.0]], 1.0, 2], [[12, 1, 3, 3], [15, 1, 4, 1], [17, 1, -3, 4], [31, 1, 5, -3]]]], [[[[[30, 0.5, -8.0, 8.5, -7.0], [13, 0.5, 3.0, 16.5, 8.0], [22, -2.0, -7.0, 1.0, -2.0], [7, 1.5, -2.0, 3.5, 3.0]], 2.0, 5], [[7, 2, 0, -1], [13, 3, 0, 0], [22, 2, -1, -1], [30, 2, 0, -1]]], [[[[24, -1.0, 2.5, 29.0, 6.5], [11, -7.0, -2.0, -3.0, 2.0], [37, -3.0, 3.5, -1.0, 8.5], [14, -6.0, 6.0, -4.0, 8.0]], 1.0, 5], [[11, 2, -2, -1], [14, 1, -3, 3], [24, 4, -1, 0], [37, 3, -1, 0]]], [[[[8, 8.0, 1.0, 11.0, 2.0], [33, -3.0, 4.5, -2.5, 6.5], [16, 6.5, 2.5, 10.5, 6.5]], 2.0, 5], [[8, 1, 2, 0], [16, 1, 1, 0], [33, 0, -2, 2]]], [[[[17, 9.5, 3.0, 12.5, 12.0], [15, -3.5, 0.0, 12.5, 9.0], [12, -9.0, 2.0, -2.0, 2.5]], 1.0, 4], [[12, 3, -2, 0], [15, 3, -1, 0], [17, 3, 1, 0]]], [[[[16, -6.5, -5.5, -6.0, -5.0], [19, 10.0, -6.5, 40.0, 2.5], [34, -3.0, 2.0, 1.0, 3.0], [10, -5.0, -5.0, 2.0, 0.0], [13, -5.5, -9.0, 10.5, -8.5], [31, 3.0, -1.5, 6.0, -0.5]], 2.0, 5], [[10, 2, -1, -1], [13, 3, -1, -1], [16, 0, -4, -3], [19, 4, 0, -1], [31, 1, 0, -1], [34, 1, -1, 0]]], [[[[5, 6.5, -6.0, 7.0, -2.0], [16, 5.5, 7.0, 7.5, 16.0], [23, -7.0, 4.5, 9.0, 5.0], [20, 2.5, 2.5, 5.5, 3.5]], 2.0, 2], [[5, 1, 1, -2], [16, 1, 1, 1], [20, 1, 0, 0], [23, 1, -2, 1]]], [[[[36, 3.0, -2.5, 19.0, -1.5], [18, -2.0, -9.0, 6.0, -8.5], [7, 4.5, 7.5, 34.5, 8.5], [29, 7.5, -8.0, 15.5, -4.0]], 1.0, 2], [[7, 1, 2, 3], [18, 1, -1, -5], [29, 1, 3, -4], [36, 1, 1, -2]]], [[[[16, -10.0, -5.5, -8.0, -5.0], [6, -7.5, -3.5, -7.0, -1.5]], 1.0, 5], [[6, 1, -4, -2], [16, 1, -5, -3]]]], [[[[[15, 7.5, -4.5, 11.5, 0.5], [3, -4.5, 6.5, 11.5, 10.5], [8, 8.0, -2.0, 10.0, -1.0], [10, -6.5, -3.0, -2.5, 6.0], [17, -8.5, 9.0, -1.5, 14.0], [34, -6.0, 9.0, -3.0, 18.0], [39, 5.0, -8.5, 9.0, -7.5], [28, 0.5, 0.0, 7.5, 0.5]], 2.0, 3], [[3, 2, -1, 0], [8, 0, 4, -1], [10, 2, -1, -1], [15, 2, 0, -1], [17, 2, -2, 1], [28, 2, 0, 0], [34, 2, -1, 1], [39, 1, 1, -3]]], [[[[12, -3.0, -3.5, 4.0, -2.5], [35, -8.5, 0.5, -0.5, 2.5], [32, -8.5, -6.0, -8.0, -2.0]], 1.0, 5], [[12, 3, -1, -1], [32, 2, -3, -2], [35, 3, -2, 0]]], [[[[37, -3.0, 7.0, 1.0, 9.0], [36, -8.0, 7.5, 22.0, 8.0]], 1.0, 3], [[36, 2, -2, 1], [37, 2, -1, 1]]], [[[[39, -2.5, 2.0, 1.5, 7.0], [28, -6.0, 2.5, -5.0, 3.0], [10, -0.5, 3.0, 0.0, 7.0], [6, -5.5, 9.0, 1.5, 10.0], [25, 3.0, -5.5, 33.0, -4.5]], 1.0, 2], [[6, 1, -3, 4], [10, 1, -1, 1], [25, 1, 1, -3], [28, 0, -6, 2], [39, 1, -2, 1]]], [[[[7, -8.0, -9.0, -1.0, -8.5], [10, 3.0, -9.0, 6.0, -5.0], [3, -5.5, -8.0, -2.5, -3.0]], 1.0, 4], [[3, 3, -1, -1], [7, 3, -1, -2], [10, 2, 0, -3]]], [[[[5, 4.0, -1.0, 7.0, 8.0], [33, -5.5, -8.0, 10.5, -4.0], [30, -4.0, 5.0, 26.0, 10.0], [18, 7.0, -4.5, 37.0, -3.5], [36, -2.0, 2.0, 28.0, 3.0], [2, 5.0, 10.0, 21.0, 14.0], [22, 1.0, 4.5, 9.0, 5.5]], 1.0, 3], [[2, 2, 1, 2], [5, 2, 1, -1], [18, 2, 1, -2], [22, 2, 0, 1], [30, 2, -1, 1], [33, 2, -2, -2], [36, 2, -1, 0]]], [[[[33, -0.5, -6.0, 7.5, -5.5], [18, -4.0, -9.0, 26.0, -7.0], [11, 3.5, 8.5, 10.5, 17.5], [28, -3.0, 8.5, 5.0, 9.0], [22, -3.0, 1.5, -2.0, 2.0], [14, 3.0, 9.0, 10.0, 13.0], [21, 1.0, -6.0, 31.0, -2.0]], 2.0, 2], [[11, 1, 0, 2], [14, 1, 0, 2], [18, 1, -1, -3], [21, 1, 0, -2], [22, 0, -2, 0], [28, 1, -1, 2], [33, 1, -1, -2]]], [[[[21, 10.0, -10.0, 12.0, -1.0], [26, -4.5, 4.5, -0.5, 5.0]], 1.0, 2], [[21, 1, 5, -5], [26, 1, -3, 2]]]], [[[[[16, 4.0, -8.0, 8.0, 1.0], [2, 9.0, 6.0, 25.0, 11.0], [13, 1.5, -4.0, 2.0, -2.0], [6, -8.0, -3.0, -5.0, 6.0]], 2.0, 5], [[2, 3, 0, 0], [6, 3, -1, -1], [13, 0, 0, -2], [16, 3, 0, -1]]], [[[[10, 0.0, -1.5, 4.0, 0.5], [30, -10.0, -9.5, -7.0, -8.5], [33, 5.5, 0.0, 6.0, 9.0], [3, -6.0, -3.5, -5.5, -1.5], [7, 2.0, 8.0, 32.0, 9.0], [19, -1.0, 2.0, 29.0, 7.0], [22, -5.0, 3.5, 2.0, 4.5], [28, 5.0, 7.5, 9.0, 11.5]], 2.0, 3], [[3, 0, -3, -2], [7, 2, 0, 1], [10, 1, 0, -1], [19, 2, -1, 0], [22, 2, -1, 0], [28, 1, 1, 1], [30, 1, -3, -3], [33, 2, 0, 0]]], [[[[17, -6.5, -6.0, -3.5, -2.0], [32, 5.5, 7.5, 21.5, 9.5], [21, 5.5, -10.0, 35.5, -6.0], [7, -3.5, -4.5, 26.5, -4.0]], 2.0, 5], [[7, 4, -1, -1], [17, 1, -2, -2], [21, 4, 0, -1], [32, 3, 0, 0]]], [[[[6, 5.5, -4.5, 7.5, -0.5], [14, -6.0, 6.5, -5.0, 11.5], [34, -0.5, -5.5, 29.5, -0.5], [23, 1.0, 9.0, 8.0, 10.0], [32, 1.0, -6.5, 4.0, -2.5]], 2.0, 2], [[6, 1, 1, -2], [14, 1, -2, 1], [23, 1, 0, 2], [32, 1, 0, -2], [34, 1, -1, -2]]], [[[[7, 0.5, -3.0, 1.5, 6.0], [6, -10.0, 1.5, -2.0, 10.5], [32, 9.0, -7.0, 11.0, -3.0], [3, 8.5, -2.5, 16.5, -2.0]], 1.0, 5], [[3, 3, 1, -1], [6, 4, -1, 0], [7, 4, 0, -1], [32, 2, 2, -2]]], [[[[32, 7.5, -0.5, 8.5, 4.5], [11, 8.0, -2.0, 11.0, 0.0], [29, 9.0, 1.5, 16.0, 10.5], [1, -9.0, -3.5, -2.0, 0.5], [10, -10.0, -6.5, -8.0, -4.5], [24, 0.0, 9.0, 8.0, 13.0], [23, 1.5, -0.5, 2.5, 4.5], [38, 6.5, -7.5, 36.5, 1.5]], 1.0, 5], [[1, 3, -2, -1], [10, 1, -5, -4], [11, 2, 2, -1], [23, 3, 0, -1], [24, 3, 0, 1], [29, 4, 0, 0], [32, 3, 0, -1], [38, 4, 0, -1]]], [[[[32, -8.0, -8.0, -7.0, -4.0], [26, -6.0, -4.5, -5.0, 0.5]], 1.0, 2], [[26, 1, -3, -3], [32, 1, -4, -4]]], [[[[1, 2.0, -5.0, 9.0, 0.0], [4, 4.0, -9.0, 4.5, -7.0], [32, 9.0, -6.5, 10.0, -1.5], [11, 6.0, -9.0, 36.0, -8.0], [10, 4.5, -6.0, 34.5, -5.0], [29, -2.0, -10.0, 6.0, -6.0]], 2.0, 4], [[1, 2, 0, -1], [4, 0, 2, -5], [10, 3, 0, -1], [11, 3, 0, -1], [29, 2, -1, -2], [32, 2, 1, -1]]]], [[[[[5, -9.5, 2.5, -7.5, 6.5], [25, -7.5, 0.0, -4.5, 1.0]], 2.0, 2], [[5, 1, -3, 0], [25, 1, -2, 0]]], [[[[25, 7.5, 6.0, 8.0, 7.0], [14, -3.5, 5.0, 0.5, 6.0], [26, -7.5, 4.0, -6.5, 6.0], [1, -6.0, 0.0, -4.0, 2.0], [22, 4.0, 3.0, 8.0, 5.0], [19, 7.0, -6.0, 10.0, -5.0], [5, -6.0, -8.5, -2.0, -7.5], [3, -6.0, 4.0, -3.0, 6.0], [12, -1.0, -0.5, 29.0, 0.5], [33, 2.5, 6.5, 9.5, 7.0]], 1.0, 3], [[1, 1, -3, 0], [3, 2, -2, 1], [5, 2, -2, -3], [12, 2, -1, -1], [14, 2, -1, 1], [19, 2, 1, -2], [22, 2, 1, 0], [25, 0, 7, 6], [26, 1, -4, 2], [33, 2, 0, 1]]], [[[[23, 5.0, 0.0, 9.0, 1.0], [39, 4.0, -2.5, 4.5, 6.5], [7, 1.5, -4.0, 2.5, -3.5], [29, 5.5, 0.5, 6.0, 2.5], [22, 1.5, 3.5, 3.5, 4.0], [27, -7.5, -6.0, -4.5, 3.0], [18, 5.0, -2.0, 21.0, 0.0], [2, -4.5, 8.0, -2.5, 8.5], [32, -9.0, -6.5, -5.0, -4.5]], 1.0, 2], [[2, 1, -3, 4], [7, 0, 1, -4], [18, 1, 2, -1], [22, 1, 0, 1], [23, 1, 2, 0], [27, 1, -4, -3], [29, 1, 2, 0], [32, 1, -5, -4], [39, 1, 2, -2]]], [[[[29, -1.5, 5.5, -0.5, 7.5], [23, -3.0, -4.5, 13.0, -3.5], [38, -2.0, -3.5, 2.0, -3.0], [14, 8.0, -8.5, 12.0, -3.5], [37, -2.0, 2.0, 6.0, 4.0], [2, 9.0, 6.0, 10.0, 8.0], [4, -4.5, -4.5, -4.0, -3.5], [10, 3.5, -1.5, 5.5, 0.5], [19, 2.5, 9.5, 9.5, 14.5]], 2.0, 2], [[2, 0, 4, 3], [4, 0, -3, -3], [10, 0, 1, -1], [14, 1, 2, -3], [19, 1, 0, 2], [23, 1, -1, -2], [29, 0, -1, 2], [37, 1, -1, 0], [38, 1, -1, -1]]], [[[[36, 5.0, 9.0, 9.0, 14.0], [33, -7.5, -1.0, -6.5, -0.5], [24, 9.5, 7.5, 17.5, 11.5], [17, -0.5, -3.0, 15.5, -2.0], [4, 7.5, -5.5, 14.5, -4.5], [6, 1.5, 5.0, 4.5, 9.0]], 2.0, 3], [[4, 2, 0, -1], [6, 1, 0, 1], [17, 2, -1, -1], [24, 2, 1, 0], [33, 0, -4, -1], [36, 2, 0, 1]]], [[[[28, -2.0, 0.0, 14.0, 9.0], [34, 4.5, 0.5, 5.5, 4.5], [14, 6.5, -10.0, 9.5, -9.5], [20, -0.5, -6.0, 15.5, 3.0], [31, -9.5, 5.5, -1.5, 6.0], [4, -1.5, 9.0, 5.5, 9.5], [23, -4.5, -5.5, 25.5, -3.5]], 1.0, 4], [[4, 3, -1, 1], [14, 2, 1, -3], [20, 3, -1, -1], [23, 3, -1, -1], [28, 3, -1, 0], [31, 3, -2, 0], [34, 2, 1, 0]]], [[[[5, 1.0, 7.5, 3.0, 8.0], [6, -9.0, -10.0, -2.0, -5.0], [35, -7.5, 2.0, 22.5, 6.0], [36, 2.5, -8.5, 5.5, 0.5], [2, -6.5, -7.0, 9.5, -3.0], [1, 9.0, -1.5, 39.0, -1.0], [24, 2.0, 3.5, 3.0, 4.5], [25, -2.5, -4.0, 5.5, -3.5], [11, 9.0, -5.5, 10.0, 3.5]], 2.0, 4], [[1, 3, 0, -1], [2, 3, -1, -1], [5, 0, 0, 3], [6, 2, -2, -2], [11, 3, 0, -1], [24, 0, 1, 1], [25, 2, -1, -1], [35, 3, -1, 0], [36, 3, 0, -1]]], [[[[24, 10.0, 2.5, 26.0, 11.5], [1, -7.5, -10.0, 0.5, -9.0], [4, 0.0, 6.0, 4.0, 8.0], [17, -0.5, 5.0, 7.5, 14.0], [32, 3.5, -1.5, 19.5, -0.5]], 2.0, 4], [[1, 2, -1, -2], [4, 1, 0, 1], [17, 3, -1, 0], [24, 3, 0, 0], [32, 3, 0, -1]]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("case %d" % i, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
case 0	`[[1, 1, 2, 0], [34, 2, 1, 0]]`	`[[1, 1, 2, 0], [34, 2, 1, 0]]`	Passed
case 1	`[[4, 0, -1, -1], [7, 0, -5, -1], [13, 3, -1, -1], [16, 4, 0, 0], [27, 0, -1, 4], [28, 3, -1, -1]]`	`[[4, 0, -1, -1], [7, 0, -5, -1], [13, 2, -1, -1], [16, 3, 0, 0], [27, 0, -1, 4], [28, 2, -1, -1]]`	Failed
case 2	`[[4, 3, 0, -1], [8, 3, 0, -1], [11, 2, 0, 1], [29, 0, -3, 4], [39, 2, -1, 1]]`	`[[4, 3, 0, -1], [8, 3, 0, -1], [11, 2, 0, 1], [29, 0, -3, 4], [39, 2, -1, 0]]`	Failed
case 3	`[[3, 3, 1, -3], [10, 3, -1, 1], [11, 3, -2, 0], [17, 3, -2, 0]]`	`[[3, 3, 0, -2], [10, 2, -1, 1], [11, 3, -1, 0], [17, 2, -2, 0]]`	Failed
case 4	`[[21, 2, 0, 1], [27, 1, -2, 1]]`	`[[21, 2, 0, 1], [27, 1, -2, 1]]`	Passed
case 5	`[[2, 2, -3, 0], [7, 2, -3, 0], [14, 2, -1, 0], [22, 2, 1, 0], [36, 2, -3, -1], [39, 0, 5, 7]]`	`[[2, 2, -3, 0], [7, 2, -2, 0], [14, 2, -1, 0], [22, 2, 1, 0], [36, 2, -3, -1], [39, 0, 5, 7]]`	Failed
case 6	`[[8, 1, -3, 1], [13, 1, 0, -1], [38, 1, -3, -3], [39, 1, -2, 0]]`	`[[8, 1, -3, 1], [13, 1, 0, -1], [38, 1, -3, -3], [39, 1, -2, 0]]`	Passed
case 7	`[[12, 1, 3, 3], [15, 1, 4, 1], [17, 1, -3, 4], [31, 1, 5, -3]]`	`[[12, 1, 3, 3], [15, 1, 4, 1], [17, 1, -3, 4], [31, 1, 5, -3]]`	Passed

SHA-256 / 8be29a655cca29d8593f0ce8271b044bf44ab7b209447fa629bb6e9278b4a295

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json
import math
N = 1
observations = []
def solve(objs, base, levels):
    out = []
    for i, a, b, c, d in objs:
        ext = max(c - a, d - b)
        lvl = 0
        size = base
        while size < ext and lvl < levels - 1:
            size *= 4
            lvl += 1
        out.append([i, lvl, math.floor(a / size), math.floor(b / size)])
    out.sort()
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[[[[34, 9.5, 5.0, 17.5, 14.0], [1, 8.0, 1.0, 11.0, 5.0]], 2.0, 3], [[1, 1, 2, 0], [34, 2, 1, 0]]], [[[[4, -1.0, -2.0, 1.0, 0.0], [7, -9.0, -1.5, -7.0, 0.5], [13, -7.0, -1.0, 1.0, 0.0], [16, 6.5, 3.0, 10.5, 12.0], [27, -0.5, 9.0, 0.0, 10.0], [28, -1.0, -5.5, 6.0, -5.0]], 2.0, 5], [[4, 0, -1, -1], [7, 0, -5, -1], [13, 2, -1, -1], [16, 3, 0, 0], [27, 0, -1, 4], [28, 2, -1, -1]]], [[[[29, -5.5, 8.5, -3.5, 9.0], [8, 1.0, -4.5, 17.0, -0.5], [39, -2.0, 7.0, 0.0, 12.0], [11, 2.0, 8.0, 6.0, 13.0], [4, 1.5, -3.0, 31.5, -2.5]], 2.0, 4], [[4, 3, 0, -1], [8, 3, 0, -1], [11, 2, 0, 1], [29, 0, -3, 4], [39, 2, -1, 0]]], [[[[10, -1.5, 7.5, 0.5, 11.5], [11, -8.0, 3.5, -4.0, 8.5], [17, -5.5, 0.0, -4.5, 4.0], [3, 4.0, -8.5, 12.0, -4.5]], 1.0, 4], [[3, 3, 0, -2], [10, 2, -1, 1], [11, 3, -1, 0], [17, 2, -2, 0]]], [[[[27, -5.0, 6.0, -2.0, 8.0], [21, 4.5, 9.5, 8.5, 14.5]], 2.0, 4], [[21, 2, 0, 1], [27, 1, -2, 1]]], [[[[39, 5.0, 7.0, 6.0, 8.0], [7, -7.5, 2.0, 0.5, 11.0], [2, -8.5, 0.5, -0.5, 2.5], [22, 5.5, 1.5, 13.5, 6.5], [14, -0.5, 2.5, 7.5, 7.5], [36, -9.0, -2.0, 21.0, -1.5]], 1.0, 3], [[2, 2, -3, 0], [7, 2, -2, 0], [14, 2, -1, 0], [22, 2, 1, 0], [36, 2, -3, -1], [39, 0, 5, 7]]], [[[[8, -8.5, 7.0, -0.5, 7.5], [38, -9.5, -8.5, 20.5, -8.0], [39, -7.5, 2.0, -7.0, 11.0], [13, 0.5, -2.0, 4.5, 0.0]], 2.0, 2], [[8, 1, -3, 1], [13, 1, 0, -1], [38, 1, -3, -3], [39, 1, -2, 0]]], [[[[15, 9.5, 2.5, 25.5, 11.5], [12, 6.0, 6.0, 7.0, 10.0], [17, -6.0, 8.0, -5.0, 13.0], [31, 10.0, -5.0, 26.0, -1.0]], 1.0, 2], [[12, 1, 3, 3], [15, 1, 4, 1], [17, 1, -3, 4], [31, 1, 5, -3]]]], [[[[[30, 0.5, -8.0, 8.5, -7.0], [13, 0.5, 3.0, 16.5, 8.0], [22, -2.0, -7.0, 1.0, -2.0], [7, 1.5, -2.0, 3.5, 3.0]], 2.0, 5], [[7, 2, 0, -1], [13, 3, 0, 0], [22, 2, -1, -1], [30, 2, 0, -1]]], [[[[24, -1.0, 2.5, 29.0, 6.5], [11, -7.0, -2.0, -3.0, 2.0], [37, -3.0, 3.5, -1.0, 8.5], [14, -6.0, 6.0, -4.0, 8.0]], 1.0, 5], [[11, 2, -2, -1], [14, 1, -3, 3], [24, 4, -1, 0], [37, 3, -1, 0]]], [[[[8, 8.0, 1.0, 11.0, 2.0], [33, -3.0, 4.5, -2.5, 6.5], [16, 6.5, 2.5, 10.5, 6.5]], 2.0, 5], [[8, 1, 2, 0], [16, 1, 1, 0], [33, 0, -2, 2]]], [[[[17, 9.5, 3.0, 12.5, 12.0], [15, -3.5, 0.0, 12.5, 9.0], [12, -9.0, 2.0, -2.0, 2.5]], 1.0, 4], [[12, 3, -2, 0], [15, 3, -1, 0], [17, 3, 1, 0]]], [[[[16, -6.5, -5.5, -6.0, -5.0], [19, 10.0, -6.5, 40.0, 2.5], [34, -3.0, 2.0, 1.0, 3.0], [10, -5.0, -5.0, 2.0, 0.0], [13, -5.5, -9.0, 10.5, -8.5], [31, 3.0, -1.5, 6.0, -0.5]], 2.0, 5], [[10, 2, -1, -1], [13, 3, -1, -1], [16, 0, -4, -3], [19, 4, 0, -1], [31, 1, 0, -1], [34, 1, -1, 0]]], [[[[5, 6.5, -6.0, 7.0, -2.0], [16, 5.5, 7.0, 7.5, 16.0], [23, -7.0, 4.5, 9.0, 5.0], [20, 2.5, 2.5, 5.5, 3.5]], 2.0, 2], [[5, 1, 1, -2], [16, 1, 1, 1], [20, 1, 0, 0], [23, 1, -2, 1]]], [[[[36, 3.0, -2.5, 19.0, -1.5], [18, -2.0, -9.0, 6.0, -8.5], [7, 4.5, 7.5, 34.5, 8.5], [29, 7.5, -8.0, 15.5, -4.0]], 1.0, 2], [[7, 1, 2, 3], [18, 1, -1, -5], [29, 1, 3, -4], [36, 1, 1, -2]]], [[[[16, -10.0, -5.5, -8.0, -5.0], [6, -7.5, -3.5, -7.0, -1.5]], 1.0, 5], [[6, 1, -4, -2], [16, 1, -5, -3]]]], [[[[[15, 7.5, -4.5, 11.5, 0.5], [3, -4.5, 6.5, 11.5, 10.5], [8, 8.0, -2.0, 10.0, -1.0], [10, -6.5, -3.0, -2.5, 6.0], [17, -8.5, 9.0, -1.5, 14.0], [34, -6.0, 9.0, -3.0, 18.0], [39, 5.0, -8.5, 9.0, -7.5], [28, 0.5, 0.0, 7.5, 0.5]], 2.0, 3], [[3, 2, -1, 0], [8, 0, 4, -1], [10, 2, -1, -1], [15, 2, 0, -1], [17, 2, -2, 1], [28, 2, 0, 0], [34, 2, -1, 1], [39, 1, 1, -3]]], [[[[12, -3.0, -3.5, 4.0, -2.5], [35, -8.5, 0.5, -0.5, 2.5], [32, -8.5, -6.0, -8.0, -2.0]], 1.0, 5], [[12, 3, -1, -1], [32, 2, -3, -2], [35, 3, -2, 0]]], [[[[37, -3.0, 7.0, 1.0, 9.0], [36, -8.0, 7.5, 22.0, 8.0]], 1.0, 3], [[36, 2, -2, 1], [37, 2, -1, 1]]], [[[[39, -2.5, 2.0, 1.5, 7.0], [28, -6.0, 2.5, -5.0, 3.0], [10, -0.5, 3.0, 0.0, 7.0], [6, -5.5, 9.0, 1.5, 10.0], [25, 3.0, -5.5, 33.0, -4.5]], 1.0, 2], [[6, 1, -3, 4], [10, 1, -1, 1], [25, 1, 1, -3], [28, 0, -6, 2], [39, 1, -2, 1]]], [[[[7, -8.0, -9.0, -1.0, -8.5], [10, 3.0, -9.0, 6.0, -5.0], [3, -5.5, -8.0, -2.5, -3.0]], 1.0, 4], [[3, 3, -1, -1], [7, 3, -1, -2], [10, 2, 0, -3]]], [[[[5, 4.0, -1.0, 7.0, 8.0], [33, -5.5, -8.0, 10.5, -4.0], [30, -4.0, 5.0, 26.0, 10.0], [18, 7.0, -4.5, 37.0, -3.5], [36, -2.0, 2.0, 28.0, 3.0], [2, 5.0, 10.0, 21.0, 14.0], [22, 1.0, 4.5, 9.0, 5.5]], 1.0, 3], [[2, 2, 1, 2], [5, 2, 1, -1], [18, 2, 1, -2], [22, 2, 0, 1], [30, 2, -1, 1], [33, 2, -2, -2], [36, 2, -1, 0]]], [[[[33, -0.5, -6.0, 7.5, -5.5], [18, -4.0, -9.0, 26.0, -7.0], [11, 3.5, 8.5, 10.5, 17.5], [28, -3.0, 8.5, 5.0, 9.0], [22, -3.0, 1.5, -2.0, 2.0], [14, 3.0, 9.0, 10.0, 13.0], [21, 1.0, -6.0, 31.0, -2.0]], 2.0, 2], [[11, 1, 0, 2], [14, 1, 0, 2], [18, 1, -1, -3], [21, 1, 0, -2], [22, 0, -2, 0], [28, 1, -1, 2], [33, 1, -1, -2]]], [[[[21, 10.0, -10.0, 12.0, -1.0], [26, -4.5, 4.5, -0.5, 5.0]], 1.0, 2], [[21, 1, 5, -5], [26, 1, -3, 2]]]], [[[[[16, 4.0, -8.0, 8.0, 1.0], [2, 9.0, 6.0, 25.0, 11.0], [13, 1.5, -4.0, 2.0, -2.0], [6, -8.0, -3.0, -5.0, 6.0]], 2.0, 5], [[2, 3, 0, 0], [6, 3, -1, -1], [13, 0, 0, -2], [16, 3, 0, -1]]], [[[[10, 0.0, -1.5, 4.0, 0.5], [30, -10.0, -9.5, -7.0, -8.5], [33, 5.5, 0.0, 6.0, 9.0], [3, -6.0, -3.5, -5.5, -1.5], [7, 2.0, 8.0, 32.0, 9.0], [19, -1.0, 2.0, 29.0, 7.0], [22, -5.0, 3.5, 2.0, 4.5], [28, 5.0, 7.5, 9.0, 11.5]], 2.0, 3], [[3, 0, -3, -2], [7, 2, 0, 1], [10, 1, 0, -1], [19, 2, -1, 0], [22, 2, -1, 0], [28, 1, 1, 1], [30, 1, -3, -3], [33, 2, 0, 0]]], [[[[17, -6.5, -6.0, -3.5, -2.0], [32, 5.5, 7.5, 21.5, 9.5], [21, 5.5, -10.0, 35.5, -6.0], [7, -3.5, -4.5, 26.5, -4.0]], 2.0, 5], [[7, 4, -1, -1], [17, 1, -2, -2], [21, 4, 0, -1], [32, 3, 0, 0]]], [[[[6, 5.5, -4.5, 7.5, -0.5], [14, -6.0, 6.5, -5.0, 11.5], [34, -0.5, -5.5, 29.5, -0.5], [23, 1.0, 9.0, 8.0, 10.0], [32, 1.0, -6.5, 4.0, -2.5]], 2.0, 2], [[6, 1, 1, -2], [14, 1, -2, 1], [23, 1, 0, 2], [32, 1, 0, -2], [34, 1, -1, -2]]], [[[[7, 0.5, -3.0, 1.5, 6.0], [6, -10.0, 1.5, -2.0, 10.5], [32, 9.0, -7.0, 11.0, -3.0], [3, 8.5, -2.5, 16.5, -2.0]], 1.0, 5], [[3, 3, 1, -1], [6, 4, -1, 0], [7, 4, 0, -1], [32, 2, 2, -2]]], [[[[32, 7.5, -0.5, 8.5, 4.5], [11, 8.0, -2.0, 11.0, 0.0], [29, 9.0, 1.5, 16.0, 10.5], [1, -9.0, -3.5, -2.0, 0.5], [10, -10.0, -6.5, -8.0, -4.5], [24, 0.0, 9.0, 8.0, 13.0], [23, 1.5, -0.5, 2.5, 4.5], [38, 6.5, -7.5, 36.5, 1.5]], 1.0, 5], [[1, 3, -2, -1], [10, 1, -5, -4], [11, 2, 2, -1], [23, 3, 0, -1], [24, 3, 0, 1], [29, 4, 0, 0], [32, 3, 0, -1], [38, 4, 0, -1]]], [[[[32, -8.0, -8.0, -7.0, -4.0], [26, -6.0, -4.5, -5.0, 0.5]], 1.0, 2], [[26, 1, -3, -3], [32, 1, -4, -4]]], [[[[1, 2.0, -5.0, 9.0, 0.0], [4, 4.0, -9.0, 4.5, -7.0], [32, 9.0, -6.5, 10.0, -1.5], [11, 6.0, -9.0, 36.0, -8.0], [10, 4.5, -6.0, 34.5, -5.0], [29, -2.0, -10.0, 6.0, -6.0]], 2.0, 4], [[1, 2, 0, -1], [4, 0, 2, -5], [10, 3, 0, -1], [11, 3, 0, -1], [29, 2, -1, -2], [32, 2, 1, -1]]]], [[[[[5, -9.5, 2.5, -7.5, 6.5], [25, -7.5, 0.0, -4.5, 1.0]], 2.0, 2], [[5, 1, -3, 0], [25, 1, -2, 0]]], [[[[25, 7.5, 6.0, 8.0, 7.0], [14, -3.5, 5.0, 0.5, 6.0], [26, -7.5, 4.0, -6.5, 6.0], [1, -6.0, 0.0, -4.0, 2.0], [22, 4.0, 3.0, 8.0, 5.0], [19, 7.0, -6.0, 10.0, -5.0], [5, -6.0, -8.5, -2.0, -7.5], [3, -6.0, 4.0, -3.0, 6.0], [12, -1.0, -0.5, 29.0, 0.5], [33, 2.5, 6.5, 9.5, 7.0]], 1.0, 3], [[1, 1, -3, 0], [3, 2, -2, 1], [5, 2, -2, -3], [12, 2, -1, -1], [14, 2, -1, 1], [19, 2, 1, -2], [22, 2, 1, 0], [25, 0, 7, 6], [26, 1, -4, 2], [33, 2, 0, 1]]], [[[[23, 5.0, 0.0, 9.0, 1.0], [39, 4.0, -2.5, 4.5, 6.5], [7, 1.5, -4.0, 2.5, -3.5], [29, 5.5, 0.5, 6.0, 2.5], [22, 1.5, 3.5, 3.5, 4.0], [27, -7.5, -6.0, -4.5, 3.0], [18, 5.0, -2.0, 21.0, 0.0], [2, -4.5, 8.0, -2.5, 8.5], [32, -9.0, -6.5, -5.0, -4.5]], 1.0, 2], [[2, 1, -3, 4], [7, 0, 1, -4], [18, 1, 2, -1], [22, 1, 0, 1], [23, 1, 2, 0], [27, 1, -4, -3], [29, 1, 2, 0], [32, 1, -5, -4], [39, 1, 2, -2]]], [[[[29, -1.5, 5.5, -0.5, 7.5], [23, -3.0, -4.5, 13.0, -3.5], [38, -2.0, -3.5, 2.0, -3.0], [14, 8.0, -8.5, 12.0, -3.5], [37, -2.0, 2.0, 6.0, 4.0], [2, 9.0, 6.0, 10.0, 8.0], [4, -4.5, -4.5, -4.0, -3.5], [10, 3.5, -1.5, 5.5, 0.5], [19, 2.5, 9.5, 9.5, 14.5]], 2.0, 2], [[2, 0, 4, 3], [4, 0, -3, -3], [10, 0, 1, -1], [14, 1, 2, -3], [19, 1, 0, 2], [23, 1, -1, -2], [29, 0, -1, 2], [37, 1, -1, 0], [38, 1, -1, -1]]], [[[[36, 5.0, 9.0, 9.0, 14.0], [33, -7.5, -1.0, -6.5, -0.5], [24, 9.5, 7.5, 17.5, 11.5], [17, -0.5, -3.0, 15.5, -2.0], [4, 7.5, -5.5, 14.5, -4.5], [6, 1.5, 5.0, 4.5, 9.0]], 2.0, 3], [[4, 2, 0, -1], [6, 1, 0, 1], [17, 2, -1, -1], [24, 2, 1, 0], [33, 0, -4, -1], [36, 2, 0, 1]]], [[[[28, -2.0, 0.0, 14.0, 9.0], [34, 4.5, 0.5, 5.5, 4.5], [14, 6.5, -10.0, 9.5, -9.5], [20, -0.5, -6.0, 15.5, 3.0], [31, -9.5, 5.5, -1.5, 6.0], [4, -1.5, 9.0, 5.5, 9.5], [23, -4.5, -5.5, 25.5, -3.5]], 1.0, 4], [[4, 3, -1, 1], [14, 2, 1, -3], [20, 3, -1, -1], [23, 3, -1, -1], [28, 3, -1, 0], [31, 3, -2, 0], [34, 2, 1, 0]]], [[[[5, 1.0, 7.5, 3.0, 8.0], [6, -9.0, -10.0, -2.0, -5.0], [35, -7.5, 2.0, 22.5, 6.0], [36, 2.5, -8.5, 5.5, 0.5], [2, -6.5, -7.0, 9.5, -3.0], [1, 9.0, -1.5, 39.0, -1.0], [24, 2.0, 3.5, 3.0, 4.5], [25, -2.5, -4.0, 5.5, -3.5], [11, 9.0, -5.5, 10.0, 3.5]], 2.0, 4], [[1, 3, 0, -1], [2, 3, -1, -1], [5, 0, 0, 3], [6, 2, -2, -2], [11, 3, 0, -1], [24, 0, 1, 1], [25, 2, -1, -1], [35, 3, -1, 0], [36, 3, 0, -1]]], [[[[24, 10.0, 2.5, 26.0, 11.5], [1, -7.5, -10.0, 0.5, -9.0], [4, 0.0, 6.0, 4.0, 8.0], [17, -0.5, 5.0, 7.5, 14.0], [32, 3.5, -1.5, 19.5, -0.5]], 2.0, 4], [[1, 2, -1, -2], [4, 1, 0, 1], [17, 3, -1, 0], [24, 3, 0, 0], [32, 3, 0, -1]]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("case %d" % i, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
case 0	`[[1, 1, 1, 0], [34, 2, 0, 0]]`	`[[1, 1, 2, 0], [34, 2, 1, 0]]`	Failed
case 1	`[[4, 0, -1, -1], [7, 0, -5, -1], [13, 1, -1, -1], [16, 2, 0, 0], [27, 0, -1, 4], [28, 1, -1, -1]]`	`[[4, 0, -1, -1], [7, 0, -5, -1], [13, 2, -1, -1], [16, 3, 0, 0], [27, 0, -1, 4], [28, 2, -1, -1]]`	Failed
case 2	`[[4, 2, 0, -1], [8, 2, 0, -1], [11, 1, 0, 1], [29, 0, -3, 4], [39, 1, -1, 0]]`	`[[4, 3, 0, -1], [8, 3, 0, -1], [11, 2, 0, 1], [29, 0, -3, 4], [39, 2, -1, 0]]`	Failed
case 3	`[[3, 2, 0, -1], [10, 1, -1, 1], [11, 2, -1, 0], [17, 1, -2, 0]]`	`[[3, 3, 0, -2], [10, 2, -1, 1], [11, 3, -1, 0], [17, 2, -2, 0]]`	Failed
case 4	`[[21, 1, 0, 1], [27, 1, -1, 0]]`	`[[21, 2, 0, 1], [27, 1, -2, 1]]`	Failed
case 5	`[[2, 2, -1, 0], [7, 2, -1, 0], [14, 2, -1, 0], [22, 2, 0, 0], [36, 2, -1, -1], [39, 0, 5, 7]]`	`[[2, 2, -3, 0], [7, 2, -2, 0], [14, 2, -1, 0], [22, 2, 1, 0], [36, 2, -3, -1], [39, 0, 5, 7]]`	Failed
case 6	`[[8, 1, -2, 0], [13, 1, 0, -1], [38, 1, -2, -2], [39, 1, -1, 0]]`	`[[8, 1, -3, 1], [13, 1, 0, -1], [38, 1, -3, -3], [39, 1, -2, 0]]`	Failed
case 7	`[[12, 1, 1, 1], [15, 1, 2, 0], [17, 1, -2, 2], [31, 1, 2, -2]]`	`[[12, 1, 3, 3], [15, 1, 4, 1], [17, 1, -3, 4], [31, 1, 5, -3]]`	Failed

SHA-256 / 43acc6bc910c27fdc52838f9ac87ec30acc384638dd2017669fda2b13e4ef0f6

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json
import math
N = 1
observations = []
def solve(objs, base, levels):
    out = []
    for i, a, b, c, d in objs:
        ext = max(c - a, d - b)
        lvl = 0
        size = base
        while size < ext and lvl < levels - 1:
            size *= 2
            lvl += 1
        out.append([i, lvl, math.floor(a / size), math.floor(b / size)])
    out.sort()
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[[[[34, 9.5, 5.0, 17.5, 14.0], [1, 8.0, 1.0, 11.0, 5.0]], 2.0, 3], [[1, 1, 2, 0], [34, 2, 1, 0]]], [[[[4, -1.0, -2.0, 1.0, 0.0], [7, -9.0, -1.5, -7.0, 0.5], [13, -7.0, -1.0, 1.0, 0.0], [16, 6.5, 3.0, 10.5, 12.0], [27, -0.5, 9.0, 0.0, 10.0], [28, -1.0, -5.5, 6.0, -5.0]], 2.0, 5], [[4, 0, -1, -1], [7, 0, -5, -1], [13, 2, -1, -1], [16, 3, 0, 0], [27, 0, -1, 4], [28, 2, -1, -1]]], [[[[29, -5.5, 8.5, -3.5, 9.0], [8, 1.0, -4.5, 17.0, -0.5], [39, -2.0, 7.0, 0.0, 12.0], [11, 2.0, 8.0, 6.0, 13.0], [4, 1.5, -3.0, 31.5, -2.5]], 2.0, 4], [[4, 3, 0, -1], [8, 3, 0, -1], [11, 2, 0, 1], [29, 0, -3, 4], [39, 2, -1, 0]]], [[[[10, -1.5, 7.5, 0.5, 11.5], [11, -8.0, 3.5, -4.0, 8.5], [17, -5.5, 0.0, -4.5, 4.0], [3, 4.0, -8.5, 12.0, -4.5]], 1.0, 4], [[3, 3, 0, -2], [10, 2, -1, 1], [11, 3, -1, 0], [17, 2, -2, 0]]], [[[[27, -5.0, 6.0, -2.0, 8.0], [21, 4.5, 9.5, 8.5, 14.5]], 2.0, 4], [[21, 2, 0, 1], [27, 1, -2, 1]]], [[[[39, 5.0, 7.0, 6.0, 8.0], [7, -7.5, 2.0, 0.5, 11.0], [2, -8.5, 0.5, -0.5, 2.5], [22, 5.5, 1.5, 13.5, 6.5], [14, -0.5, 2.5, 7.5, 7.5], [36, -9.0, -2.0, 21.0, -1.5]], 1.0, 3], [[2, 2, -3, 0], [7, 2, -2, 0], [14, 2, -1, 0], [22, 2, 1, 0], [36, 2, -3, -1], [39, 0, 5, 7]]], [[[[8, -8.5, 7.0, -0.5, 7.5], [38, -9.5, -8.5, 20.5, -8.0], [39, -7.5, 2.0, -7.0, 11.0], [13, 0.5, -2.0, 4.5, 0.0]], 2.0, 2], [[8, 1, -3, 1], [13, 1, 0, -1], [38, 1, -3, -3], [39, 1, -2, 0]]], [[[[15, 9.5, 2.5, 25.5, 11.5], [12, 6.0, 6.0, 7.0, 10.0], [17, -6.0, 8.0, -5.0, 13.0], [31, 10.0, -5.0, 26.0, -1.0]], 1.0, 2], [[12, 1, 3, 3], [15, 1, 4, 1], [17, 1, -3, 4], [31, 1, 5, -3]]]], [[[[[30, 0.5, -8.0, 8.5, -7.0], [13, 0.5, 3.0, 16.5, 8.0], [22, -2.0, -7.0, 1.0, -2.0], [7, 1.5, -2.0, 3.5, 3.0]], 2.0, 5], [[7, 2, 0, -1], [13, 3, 0, 0], [22, 2, -1, -1], [30, 2, 0, -1]]], [[[[24, -1.0, 2.5, 29.0, 6.5], [11, -7.0, -2.0, -3.0, 2.0], [37, -3.0, 3.5, -1.0, 8.5], [14, -6.0, 6.0, -4.0, 8.0]], 1.0, 5], [[11, 2, -2, -1], [14, 1, -3, 3], [24, 4, -1, 0], [37, 3, -1, 0]]], [[[[8, 8.0, 1.0, 11.0, 2.0], [33, -3.0, 4.5, -2.5, 6.5], [16, 6.5, 2.5, 10.5, 6.5]], 2.0, 5], [[8, 1, 2, 0], [16, 1, 1, 0], [33, 0, -2, 2]]], [[[[17, 9.5, 3.0, 12.5, 12.0], [15, -3.5, 0.0, 12.5, 9.0], [12, -9.0, 2.0, -2.0, 2.5]], 1.0, 4], [[12, 3, -2, 0], [15, 3, -1, 0], [17, 3, 1, 0]]], [[[[16, -6.5, -5.5, -6.0, -5.0], [19, 10.0, -6.5, 40.0, 2.5], [34, -3.0, 2.0, 1.0, 3.0], [10, -5.0, -5.0, 2.0, 0.0], [13, -5.5, -9.0, 10.5, -8.5], [31, 3.0, -1.5, 6.0, -0.5]], 2.0, 5], [[10, 2, -1, -1], [13, 3, -1, -1], [16, 0, -4, -3], [19, 4, 0, -1], [31, 1, 0, -1], [34, 1, -1, 0]]], [[[[5, 6.5, -6.0, 7.0, -2.0], [16, 5.5, 7.0, 7.5, 16.0], [23, -7.0, 4.5, 9.0, 5.0], [20, 2.5, 2.5, 5.5, 3.5]], 2.0, 2], [[5, 1, 1, -2], [16, 1, 1, 1], [20, 1, 0, 0], [23, 1, -2, 1]]], [[[[36, 3.0, -2.5, 19.0, -1.5], [18, -2.0, -9.0, 6.0, -8.5], [7, 4.5, 7.5, 34.5, 8.5], [29, 7.5, -8.0, 15.5, -4.0]], 1.0, 2], [[7, 1, 2, 3], [18, 1, -1, -5], [29, 1, 3, -4], [36, 1, 1, -2]]], [[[[16, -10.0, -5.5, -8.0, -5.0], [6, -7.5, -3.5, -7.0, -1.5]], 1.0, 5], [[6, 1, -4, -2], [16, 1, -5, -3]]]], [[[[[15, 7.5, -4.5, 11.5, 0.5], [3, -4.5, 6.5, 11.5, 10.5], [8, 8.0, -2.0, 10.0, -1.0], [10, -6.5, -3.0, -2.5, 6.0], [17, -8.5, 9.0, -1.5, 14.0], [34, -6.0, 9.0, -3.0, 18.0], [39, 5.0, -8.5, 9.0, -7.5], [28, 0.5, 0.0, 7.5, 0.5]], 2.0, 3], [[3, 2, -1, 0], [8, 0, 4, -1], [10, 2, -1, -1], [15, 2, 0, -1], [17, 2, -2, 1], [28, 2, 0, 0], [34, 2, -1, 1], [39, 1, 1, -3]]], [[[[12, -3.0, -3.5, 4.0, -2.5], [35, -8.5, 0.5, -0.5, 2.5], [32, -8.5, -6.0, -8.0, -2.0]], 1.0, 5], [[12, 3, -1, -1], [32, 2, -3, -2], [35, 3, -2, 0]]], [[[[37, -3.0, 7.0, 1.0, 9.0], [36, -8.0, 7.5, 22.0, 8.0]], 1.0, 3], [[36, 2, -2, 1], [37, 2, -1, 1]]], [[[[39, -2.5, 2.0, 1.5, 7.0], [28, -6.0, 2.5, -5.0, 3.0], [10, -0.5, 3.0, 0.0, 7.0], [6, -5.5, 9.0, 1.5, 10.0], [25, 3.0, -5.5, 33.0, -4.5]], 1.0, 2], [[6, 1, -3, 4], [10, 1, -1, 1], [25, 1, 1, -3], [28, 0, -6, 2], [39, 1, -2, 1]]], [[[[7, -8.0, -9.0, -1.0, -8.5], [10, 3.0, -9.0, 6.0, -5.0], [3, -5.5, -8.0, -2.5, -3.0]], 1.0, 4], [[3, 3, -1, -1], [7, 3, -1, -2], [10, 2, 0, -3]]], [[[[5, 4.0, -1.0, 7.0, 8.0], [33, -5.5, -8.0, 10.5, -4.0], [30, -4.0, 5.0, 26.0, 10.0], [18, 7.0, -4.5, 37.0, -3.5], [36, -2.0, 2.0, 28.0, 3.0], [2, 5.0, 10.0, 21.0, 14.0], [22, 1.0, 4.5, 9.0, 5.5]], 1.0, 3], [[2, 2, 1, 2], [5, 2, 1, -1], [18, 2, 1, -2], [22, 2, 0, 1], [30, 2, -1, 1], [33, 2, -2, -2], [36, 2, -1, 0]]], [[[[33, -0.5, -6.0, 7.5, -5.5], [18, -4.0, -9.0, 26.0, -7.0], [11, 3.5, 8.5, 10.5, 17.5], [28, -3.0, 8.5, 5.0, 9.0], [22, -3.0, 1.5, -2.0, 2.0], [14, 3.0, 9.0, 10.0, 13.0], [21, 1.0, -6.0, 31.0, -2.0]], 2.0, 2], [[11, 1, 0, 2], [14, 1, 0, 2], [18, 1, -1, -3], [21, 1, 0, -2], [22, 0, -2, 0], [28, 1, -1, 2], [33, 1, -1, -2]]], [[[[21, 10.0, -10.0, 12.0, -1.0], [26, -4.5, 4.5, -0.5, 5.0]], 1.0, 2], [[21, 1, 5, -5], [26, 1, -3, 2]]]], [[[[[16, 4.0, -8.0, 8.0, 1.0], [2, 9.0, 6.0, 25.0, 11.0], [13, 1.5, -4.0, 2.0, -2.0], [6, -8.0, -3.0, -5.0, 6.0]], 2.0, 5], [[2, 3, 0, 0], [6, 3, -1, -1], [13, 0, 0, -2], [16, 3, 0, -1]]], [[[[10, 0.0, -1.5, 4.0, 0.5], [30, -10.0, -9.5, -7.0, -8.5], [33, 5.5, 0.0, 6.0, 9.0], [3, -6.0, -3.5, -5.5, -1.5], [7, 2.0, 8.0, 32.0, 9.0], [19, -1.0, 2.0, 29.0, 7.0], [22, -5.0, 3.5, 2.0, 4.5], [28, 5.0, 7.5, 9.0, 11.5]], 2.0, 3], [[3, 0, -3, -2], [7, 2, 0, 1], [10, 1, 0, -1], [19, 2, -1, 0], [22, 2, -1, 0], [28, 1, 1, 1], [30, 1, -3, -3], [33, 2, 0, 0]]], [[[[17, -6.5, -6.0, -3.5, -2.0], [32, 5.5, 7.5, 21.5, 9.5], [21, 5.5, -10.0, 35.5, -6.0], [7, -3.5, -4.5, 26.5, -4.0]], 2.0, 5], [[7, 4, -1, -1], [17, 1, -2, -2], [21, 4, 0, -1], [32, 3, 0, 0]]], [[[[6, 5.5, -4.5, 7.5, -0.5], [14, -6.0, 6.5, -5.0, 11.5], [34, -0.5, -5.5, 29.5, -0.5], [23, 1.0, 9.0, 8.0, 10.0], [32, 1.0, -6.5, 4.0, -2.5]], 2.0, 2], [[6, 1, 1, -2], [14, 1, -2, 1], [23, 1, 0, 2], [32, 1, 0, -2], [34, 1, -1, -2]]], [[[[7, 0.5, -3.0, 1.5, 6.0], [6, -10.0, 1.5, -2.0, 10.5], [32, 9.0, -7.0, 11.0, -3.0], [3, 8.5, -2.5, 16.5, -2.0]], 1.0, 5], [[3, 3, 1, -1], [6, 4, -1, 0], [7, 4, 0, -1], [32, 2, 2, -2]]], [[[[32, 7.5, -0.5, 8.5, 4.5], [11, 8.0, -2.0, 11.0, 0.0], [29, 9.0, 1.5, 16.0, 10.5], [1, -9.0, -3.5, -2.0, 0.5], [10, -10.0, -6.5, -8.0, -4.5], [24, 0.0, 9.0, 8.0, 13.0], [23, 1.5, -0.5, 2.5, 4.5], [38, 6.5, -7.5, 36.5, 1.5]], 1.0, 5], [[1, 3, -2, -1], [10, 1, -5, -4], [11, 2, 2, -1], [23, 3, 0, -1], [24, 3, 0, 1], [29, 4, 0, 0], [32, 3, 0, -1], [38, 4, 0, -1]]], [[[[32, -8.0, -8.0, -7.0, -4.0], [26, -6.0, -4.5, -5.0, 0.5]], 1.0, 2], [[26, 1, -3, -3], [32, 1, -4, -4]]], [[[[1, 2.0, -5.0, 9.0, 0.0], [4, 4.0, -9.0, 4.5, -7.0], [32, 9.0, -6.5, 10.0, -1.5], [11, 6.0, -9.0, 36.0, -8.0], [10, 4.5, -6.0, 34.5, -5.0], [29, -2.0, -10.0, 6.0, -6.0]], 2.0, 4], [[1, 2, 0, -1], [4, 0, 2, -5], [10, 3, 0, -1], [11, 3, 0, -1], [29, 2, -1, -2], [32, 2, 1, -1]]]], [[[[[5, -9.5, 2.5, -7.5, 6.5], [25, -7.5, 0.0, -4.5, 1.0]], 2.0, 2], [[5, 1, -3, 0], [25, 1, -2, 0]]], [[[[25, 7.5, 6.0, 8.0, 7.0], [14, -3.5, 5.0, 0.5, 6.0], [26, -7.5, 4.0, -6.5, 6.0], [1, -6.0, 0.0, -4.0, 2.0], [22, 4.0, 3.0, 8.0, 5.0], [19, 7.0, -6.0, 10.0, -5.0], [5, -6.0, -8.5, -2.0, -7.5], [3, -6.0, 4.0, -3.0, 6.0], [12, -1.0, -0.5, 29.0, 0.5], [33, 2.5, 6.5, 9.5, 7.0]], 1.0, 3], [[1, 1, -3, 0], [3, 2, -2, 1], [5, 2, -2, -3], [12, 2, -1, -1], [14, 2, -1, 1], [19, 2, 1, -2], [22, 2, 1, 0], [25, 0, 7, 6], [26, 1, -4, 2], [33, 2, 0, 1]]], [[[[23, 5.0, 0.0, 9.0, 1.0], [39, 4.0, -2.5, 4.5, 6.5], [7, 1.5, -4.0, 2.5, -3.5], [29, 5.5, 0.5, 6.0, 2.5], [22, 1.5, 3.5, 3.5, 4.0], [27, -7.5, -6.0, -4.5, 3.0], [18, 5.0, -2.0, 21.0, 0.0], [2, -4.5, 8.0, -2.5, 8.5], [32, -9.0, -6.5, -5.0, -4.5]], 1.0, 2], [[2, 1, -3, 4], [7, 0, 1, -4], [18, 1, 2, -1], [22, 1, 0, 1], [23, 1, 2, 0], [27, 1, -4, -3], [29, 1, 2, 0], [32, 1, -5, -4], [39, 1, 2, -2]]], [[[[29, -1.5, 5.5, -0.5, 7.5], [23, -3.0, -4.5, 13.0, -3.5], [38, -2.0, -3.5, 2.0, -3.0], [14, 8.0, -8.5, 12.0, -3.5], [37, -2.0, 2.0, 6.0, 4.0], [2, 9.0, 6.0, 10.0, 8.0], [4, -4.5, -4.5, -4.0, -3.5], [10, 3.5, -1.5, 5.5, 0.5], [19, 2.5, 9.5, 9.5, 14.5]], 2.0, 2], [[2, 0, 4, 3], [4, 0, -3, -3], [10, 0, 1, -1], [14, 1, 2, -3], [19, 1, 0, 2], [23, 1, -1, -2], [29, 0, -1, 2], [37, 1, -1, 0], [38, 1, -1, -1]]], [[[[36, 5.0, 9.0, 9.0, 14.0], [33, -7.5, -1.0, -6.5, -0.5], [24, 9.5, 7.5, 17.5, 11.5], [17, -0.5, -3.0, 15.5, -2.0], [4, 7.5, -5.5, 14.5, -4.5], [6, 1.5, 5.0, 4.5, 9.0]], 2.0, 3], [[4, 2, 0, -1], [6, 1, 0, 1], [17, 2, -1, -1], [24, 2, 1, 0], [33, 0, -4, -1], [36, 2, 0, 1]]], [[[[28, -2.0, 0.0, 14.0, 9.0], [34, 4.5, 0.5, 5.5, 4.5], [14, 6.5, -10.0, 9.5, -9.5], [20, -0.5, -6.0, 15.5, 3.0], [31, -9.5, 5.5, -1.5, 6.0], [4, -1.5, 9.0, 5.5, 9.5], [23, -4.5, -5.5, 25.5, -3.5]], 1.0, 4], [[4, 3, -1, 1], [14, 2, 1, -3], [20, 3, -1, -1], [23, 3, -1, -1], [28, 3, -1, 0], [31, 3, -2, 0], [34, 2, 1, 0]]], [[[[5, 1.0, 7.5, 3.0, 8.0], [6, -9.0, -10.0, -2.0, -5.0], [35, -7.5, 2.0, 22.5, 6.0], [36, 2.5, -8.5, 5.5, 0.5], [2, -6.5, -7.0, 9.5, -3.0], [1, 9.0, -1.5, 39.0, -1.0], [24, 2.0, 3.5, 3.0, 4.5], [25, -2.5, -4.0, 5.5, -3.5], [11, 9.0, -5.5, 10.0, 3.5]], 2.0, 4], [[1, 3, 0, -1], [2, 3, -1, -1], [5, 0, 0, 3], [6, 2, -2, -2], [11, 3, 0, -1], [24, 0, 1, 1], [25, 2, -1, -1], [35, 3, -1, 0], [36, 3, 0, -1]]], [[[[24, 10.0, 2.5, 26.0, 11.5], [1, -7.5, -10.0, 0.5, -9.0], [4, 0.0, 6.0, 4.0, 8.0], [17, -0.5, 5.0, 7.5, 14.0], [32, 3.5, -1.5, 19.5, -0.5]], 2.0, 4], [[1, 2, -1, -2], [4, 1, 0, 1], [17, 3, -1, 0], [24, 3, 0, 0], [32, 3, 0, -1]]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("case %d" % i, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
case 0	`[[1, 1, 2, 0], [34, 2, 1, 0]]`	`[[1, 1, 2, 0], [34, 2, 1, 0]]`	Passed
case 1	`[[4, 0, -1, -1], [7, 0, -5, -1], [13, 2, -1, -1], [16, 3, 0, 0], [27, 0, -1, 4], [28, 2, -1, -1]]`	`[[4, 0, -1, -1], [7, 0, -5, -1], [13, 2, -1, -1], [16, 3, 0, 0], [27, 0, -1, 4], [28, 2, -1, -1]]`	Passed
case 2	`[[4, 3, 0, -1], [8, 3, 0, -1], [11, 2, 0, 1], [29, 0, -3, 4], [39, 2, -1, 0]]`	`[[4, 3, 0, -1], [8, 3, 0, -1], [11, 2, 0, 1], [29, 0, -3, 4], [39, 2, -1, 0]]`	Passed
case 3	`[[3, 3, 0, -2], [10, 2, -1, 1], [11, 3, -1, 0], [17, 2, -2, 0]]`	`[[3, 3, 0, -2], [10, 2, -1, 1], [11, 3, -1, 0], [17, 2, -2, 0]]`	Passed
case 4	`[[21, 2, 0, 1], [27, 1, -2, 1]]`	`[[21, 2, 0, 1], [27, 1, -2, 1]]`	Passed
case 5	`[[2, 2, -3, 0], [7, 2, -2, 0], [14, 2, -1, 0], [22, 2, 1, 0], [36, 2, -3, -1], [39, 0, 5, 7]]`	`[[2, 2, -3, 0], [7, 2, -2, 0], [14, 2, -1, 0], [22, 2, 1, 0], [36, 2, -3, -1], [39, 0, 5, 7]]`	Passed
case 6	`[[8, 1, -3, 1], [13, 1, 0, -1], [38, 1, -3, -3], [39, 1, -2, 0]]`	`[[8, 1, -3, 1], [13, 1, 0, -1], [38, 1, -3, -3], [39, 1, -2, 0]]`	Passed
case 7	`[[12, 1, 3, 3], [15, 1, 4, 1], [17, 1, -3, 4], [31, 1, 5, -3]]`	`[[12, 1, 3, 3], [15, 1, 4, 1], [17, 1, -3, 4], [31, 1, 5, -3]]`	Passed

SHA-256 / b1d8e92013273ff42ed713489004756ecdf29fbe3a5850390f78927fa08bbf36

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:51:00.633370+00:00.

Case digest / 9620f90446393b5103c0adb3fc717f6a86a7cee156d9025fa9daf0071707c763