FA-51511 / Raster clipping / Open access

Ranked alpha clip coverage: disabled alpha · case 01

Disabling alpha-to-coverage produces no coverage instead of passing all samples.

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

ROOT CAUSE

Disabling alpha-to-coverage produces no coverage instead of passing all samples.

VERIFIED REPAIR

Apply the documented state transition at disabled alpha. Each command supplies alpha numerator over denominator, a permutation ranking the physical samples, rotation, geometric sample mask, fixed enable mask and optional shader mask. Alpha selects floor(alpha*size) ranks, clamped to [0,size]; alpha-disabled commands select all ranks. Rotate selected physical sample IDs modulo size, then intersect masks. A missing shader mask passes all samples; an explicit empty mask passes none. Return sorted surviving sample IDs.

Unsuccessful approach: Forcing one sample does not bypass alpha coverage when the feature is disabled.

Case contract

Each command supplies alpha numerator over denominator, a permutation ranking the physical samples, rotation, geometric sample mask, fixed enable mask and optional shader mask. Alpha selects floor(alpha*size) ranks, clamped to [0,size]; alpha-disabled commands select all ranks. Rotate selected physical sample IDs modulo size, then intersect masks. A missing shader mask passes all samples; an explicit empty mask passes none. Return sorted surviving sample IDs.

Why this case matters

Raster clip state can leak coverage across draws even when every individual region is valid.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(commands, size):
    out=[]
    full=set(range(size))
    for numerator,denominator,rank,rotation,geometry,enabled,shader,alpha_enabled in commands:
        count=max(0,min(size,(numerator*size)//denominator)) if alpha_enabled else 0
        ordering=[x for x in rank if x in full]
        selected={ordering[i] for i in range(min(count,len(ordering)))}
        selected={(x+rotation)%size for x in selected}
        geometric=set(geometry)&full
        fixed=set(enabled)&full
        shader_mask=full if shader is None else set(shader)&full
        out.append(sorted(selected & geometric & fixed & shader_mask))
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
if N == 1:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[3]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[1, 2]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 3]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 4), [[0, 1, 2, 3]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 4), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 4), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1, 2, 3]])
if N == 2:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1, 2]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[4]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[1, 2]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 4]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 5), [[0, 1, 2, 3, 4]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 5), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 5), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1, 2, 3, 4]])
if N == 3:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2, 3]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[4, 5]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[1, 2, 3]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 5]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 6), [[0, 1, 2, 3, 4, 5]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 6), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 6), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2, 3, 4, 5]])
if N == 4:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2, 3]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[5, 6]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[1, 2, 3]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 6]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 7), [[0, 1, 2, 3, 4, 5, 6]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 7), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 7), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2, 3, 4, 5, 6]])
if N == 5:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3, 4]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[6, 7]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[1, 2, 3, 4]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 7]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 8), [[0, 1, 2, 3, 4, 5, 6, 7]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 8), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 8), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3, 4, 5, 6, 7]])
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
explicit sequence 0	`[[0, 1]]`	`[[0, 1]]`	Passed
explicit sequence 1	`[[]]`	`[[]]`	Passed
explicit sequence 2	`[[0, 1]]`	`[[0, 1]]`	Passed
explicit sequence 3	`[[3]]`	`[[3]]`	Passed
explicit sequence 4	`[[1, 2]]`	`[[1, 2]]`	Passed
explicit sequence 5	`[[0, 3]]`	`[[0, 3]]`	Passed
explicit sequence 6	`[[]]`	`[[0, 1, 2, 3]]`	Failed
explicit sequence 7	`[[]]`	`[[]]`	Passed
explicit sequence 8	`[[]]`	`[[]]`	Passed
explicit sequence 9	`[[]]`	`[[]]`	Passed
explicit sequence 10	`[[0, 1, 2, 3]]`	`[[0, 1, 2, 3]]`	Passed

SHA-256 / 68268a05aa8169ccec4a75a3f61848fb7ce104477f76645a8eec3b38dfb7ff20

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(commands, size):
    out=[]
    full=set(range(size))
    for numerator,denominator,rank,rotation,geometry,enabled,shader,alpha_enabled in commands:
        count=max(0,min(size,(numerator*size)//denominator)) if alpha_enabled else max(1,(numerator*size)//denominator)
        ordering=[x for x in rank if x in full]
        selected={ordering[i] for i in range(min(count,len(ordering)))}
        selected={(x+rotation)%size for x in selected}
        geometric=set(geometry)&full
        fixed=set(enabled)&full
        shader_mask=full if shader is None else set(shader)&full
        out.append(sorted(selected & geometric & fixed & shader_mask))
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
if N == 1:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[3]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[1, 2]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 3]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 4), [[0, 1, 2, 3]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 4), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 4), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1, 2, 3]])
if N == 2:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1, 2]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[4]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[1, 2]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 4]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 5), [[0, 1, 2, 3, 4]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 5), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 5), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1, 2, 3, 4]])
if N == 3:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2, 3]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[4, 5]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[1, 2, 3]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 5]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 6), [[0, 1, 2, 3, 4, 5]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 6), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 6), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2, 3, 4, 5]])
if N == 4:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2, 3]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[5, 6]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[1, 2, 3]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 6]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 7), [[0, 1, 2, 3, 4, 5, 6]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 7), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 7), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2, 3, 4, 5, 6]])
if N == 5:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3, 4]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[6, 7]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[1, 2, 3, 4]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 7]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 8), [[0, 1, 2, 3, 4, 5, 6, 7]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 8), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 8), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3, 4, 5, 6, 7]])
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
explicit sequence 0	`[[0, 1]]`	`[[0, 1]]`	Passed
explicit sequence 1	`[[]]`	`[[]]`	Passed
explicit sequence 2	`[[0, 1]]`	`[[0, 1]]`	Passed
explicit sequence 3	`[[3]]`	`[[3]]`	Passed
explicit sequence 4	`[[1, 2]]`	`[[1, 2]]`	Passed
explicit sequence 5	`[[0, 3]]`	`[[0, 3]]`	Passed
explicit sequence 6	`[[0]]`	`[[0, 1, 2, 3]]`	Failed
explicit sequence 7	`[[]]`	`[[]]`	Passed
explicit sequence 8	`[[]]`	`[[]]`	Passed
explicit sequence 9	`[[]]`	`[[]]`	Passed
explicit sequence 10	`[[0, 1, 2, 3]]`	`[[0, 1, 2, 3]]`	Passed

SHA-256 / abcd228585b0dad29af903d1061816c0ca522dfdfbd492d6a8bc30a6b31b3948

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(commands, size):
    out=[]
    full=set(range(size))
    for numerator,denominator,rank,rotation,geometry,enabled,shader,alpha_enabled in commands:
        count=max(0,min(size,(numerator*size)//denominator)) if alpha_enabled else size
        ordering=[x for x in rank if x in full]
        selected={ordering[i] for i in range(min(count,len(ordering)))}
        selected={(x+rotation)%size for x in selected}
        geometric=set(geometry)&full
        fixed=set(enabled)&full
        shader_mask=full if shader is None else set(shader)&full
        out.append(sorted(selected & geometric & fixed & shader_mask))
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
if N == 1:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[3]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[1, 2]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 3]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 4), [[0, 1, 2, 3]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 4), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 4), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1, 2, 3]])
if N == 2:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1, 2]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[4]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[1, 2]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 4]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 5), [[0, 1, 2, 3, 4]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 5), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 5), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1, 2, 3, 4]])
if N == 3:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2, 3]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[4, 5]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[1, 2, 3]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 5]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 6), [[0, 1, 2, 3, 4, 5]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 6), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 6), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2, 3, 4, 5]])
if N == 4:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2, 3]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[5, 6]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[1, 2, 3]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 6]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 7), [[0, 1, 2, 3, 4, 5, 6]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 7), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 7), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2, 3, 4, 5, 6]])
if N == 5:
    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3]])
    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0]])
    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3, 4]])
    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[6, 7]])
    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[1, 2, 3, 4]])
    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 7]])
    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 8), [[0, 1, 2, 3, 4, 5, 6, 7]])
    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 8), [[]])
    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[]])
    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 8), [[]])
    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3, 4, 5, 6, 7]])
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
explicit sequence 0	`[[0, 1]]`	`[[0, 1]]`	Passed
explicit sequence 1	`[[]]`	`[[]]`	Passed
explicit sequence 2	`[[0, 1]]`	`[[0, 1]]`	Passed
explicit sequence 3	`[[3]]`	`[[3]]`	Passed
explicit sequence 4	`[[1, 2]]`	`[[1, 2]]`	Passed
explicit sequence 5	`[[0, 3]]`	`[[0, 3]]`	Passed
explicit sequence 6	`[[0, 1, 2, 3]]`	`[[0, 1, 2, 3]]`	Passed
explicit sequence 7	`[[]]`	`[[]]`	Passed
explicit sequence 8	`[[]]`	`[[]]`	Passed
explicit sequence 9	`[[]]`	`[[]]`	Passed
explicit sequence 10	`[[0, 1, 2, 3]]`	`[[0, 1, 2, 3]]`	Passed

SHA-256 / 033f1e3ebc473955488a6dd6c4c41fba31ef39962f63c452285ee420d8a9543b

Verification & scope

Finite one-dimensional integer sample sets model coverage state only; no geometric intersection, memory layout, GPU or graphics-standard conformance is claimed. 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:45:19.600455+00:00.

Case digest / 5e961114d950f46b543c14c3f26eb2f8f3a431be15ec942362292709d68ca5c4