{"abstract":"The two faces on an edge never meet in the table, so no seam is ever reported.","category":"Mesh topology invariants","checks":7,"contract":"Input [faces, uvfaces]: each face has a parallel list of UV indices. A face whose UV list length differs returns [\"uv-mismatch\", face index]. A geometric edge is a seam when a later face assigns a different UV index to either endpoint than the first face did. Return sorted seam edges [min,max].","evaluation_group":"w2-mesh_topology_invariants-uv-seams","failed_approach":"Keying by the UV index pair compares texture edges instead of geometric edges.","family":"w2-mesh_topology_invariants-uv-seams-geometric-edge-key","id":"FA-88766","implementations":{"attempt":{"sha256":"576e9251b3837a2d95f735de1d68e9f28e06651494dbfbb5ab99aa95b86cf259","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    faces,uvf=x\n    seen={}\n    seams=set()\n    for fi,(f,t) in enumerate(zip(faces,uvf)):\n        if len(f)!=len(t): return ['uv-mismatch',fi]\n        n=len(f)\n        for i in range(n):\n            a,b=f[i],f[(i+1)%n]\n            ua,ub=t[i],t[(i+1)%n]\n            k=(min(ua,ub),max(ua,ub))\n            m={a:ua,b:ub}\n            if k in seen:\n                if seen[k]!=m: seams.add(k)\n            else: seen[k]=m\n    return sorted([list(k) for k in seams])\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['shared uv no seam', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1, 3]]]], []], ['one endpoint split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [4, 1, 3]]]], [[1, 2]]], ['both endpoints split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [5, 4, 3]]]], [[1, 2]]], ['swapped uv indices', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [1, 2, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['length mismatch', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1]]]], ['uv-mismatch', 1]], ['extra uv corner', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2, 7], [2, 1, 3]]]], ['uv-mismatch', 0]]], [['both endpoints split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [5, 4, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['length mismatch', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1]]]], ['uv-mismatch', 1]], ['extra uv corner', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2, 7], [2, 1, 3]]]], ['uv-mismatch', 0]], ['quad strip', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [1, 2, 5, 4]]]], []], ['quad strip split', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [6, 2, 5, 7]]]], [[1, 4]]], ['disk atlas', [[[[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [0, 5, 1]], [[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [6, 5, 1]]]], [[0, 1], [0, 5]]]], [['shared uv no seam', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1, 3]]]], []], ['swapped uv indices', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [1, 2, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['quad strip split', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [6, 2, 5, 7]]]], [[1, 4]]], ['disk atlas', [[[[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [0, 5, 1]], [[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [6, 5, 1]]]], [[0, 1], [0, 5]]], ['mismatch after seams', [[[[0, 1, 2], [2, 1, 3], [3, 1, 4]], [[0, 1, 2], [5, 1, 3], [3, 1]]]], ['uv-mismatch', 2]], ['same uv sum collision', [[[[0, 3, 1], [1, 3, 2]], [[0, 3, 1], [1, 3, 2]]]], []]], [['shared uv no seam', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1, 3]]]], []], ['one endpoint split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [4, 1, 3]]]], [[1, 2]]], ['both endpoints split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [5, 4, 3]]]], [[1, 2]]], ['swapped uv indices', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [1, 2, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['quad strip split', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [6, 2, 5, 7]]]], [[1, 4]]], ['same uv sum collision', [[[[0, 3, 1], [1, 3, 2]], [[0, 3, 1], [1, 3, 2]]]], []]], [['both endpoints split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [5, 4, 3]]]], [[1, 2]]], ['swapped uv indices', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [1, 2, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['length mismatch', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1]]]], ['uv-mismatch', 1]], ['extra uv corner', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2, 7], [2, 1, 3]]]], ['uv-mismatch', 0]], ['quad strip split', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [6, 2, 5, 7]]]], [[1, 4]]], ['disk atlas', [[[[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [0, 5, 1]], [[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [6, 5, 1]]]], [[0, 1], [0, 5]]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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":"2f581103d91661512767ddc8d06fd3418073abcad913fbd98833046a6cdfa3b3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    faces,uvf=x\n    seen={}\n    seams=set()\n    for fi,(f,t) in enumerate(zip(faces,uvf)):\n        if len(f)!=len(t): return ['uv-mismatch',fi]\n        n=len(f)\n        for i in range(n):\n            a,b=f[i],f[(i+1)%n]\n            ua,ub=t[i],t[(i+1)%n]\n            k=(a,b)\n            m={a:ua,b:ub}\n            if k in seen:\n                if seen[k]!=m: seams.add(k)\n            else: seen[k]=m\n    return sorted([list(k) for k in seams])\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['shared uv no seam', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1, 3]]]], []], ['one endpoint split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [4, 1, 3]]]], [[1, 2]]], ['both endpoints split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [5, 4, 3]]]], [[1, 2]]], ['swapped uv indices', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [1, 2, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['length mismatch', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1]]]], ['uv-mismatch', 1]], ['extra uv corner', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2, 7], [2, 1, 3]]]], ['uv-mismatch', 0]]], [['both endpoints split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [5, 4, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['length mismatch', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1]]]], ['uv-mismatch', 1]], ['extra uv corner', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2, 7], [2, 1, 3]]]], ['uv-mismatch', 0]], ['quad strip', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [1, 2, 5, 4]]]], []], ['quad strip split', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [6, 2, 5, 7]]]], [[1, 4]]], ['disk atlas', [[[[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [0, 5, 1]], [[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [6, 5, 1]]]], [[0, 1], [0, 5]]]], [['shared uv no seam', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1, 3]]]], []], ['swapped uv indices', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [1, 2, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['quad strip split', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [6, 2, 5, 7]]]], [[1, 4]]], ['disk atlas', [[[[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [0, 5, 1]], [[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [6, 5, 1]]]], [[0, 1], [0, 5]]], ['mismatch after seams', [[[[0, 1, 2], [2, 1, 3], [3, 1, 4]], [[0, 1, 2], [5, 1, 3], [3, 1]]]], ['uv-mismatch', 2]], ['same uv sum collision', [[[[0, 3, 1], [1, 3, 2]], [[0, 3, 1], [1, 3, 2]]]], []]], [['shared uv no seam', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1, 3]]]], []], ['one endpoint split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [4, 1, 3]]]], [[1, 2]]], ['both endpoints split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [5, 4, 3]]]], [[1, 2]]], ['swapped uv indices', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [1, 2, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['quad strip split', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [6, 2, 5, 7]]]], [[1, 4]]], ['same uv sum collision', [[[[0, 3, 1], [1, 3, 2]], [[0, 3, 1], [1, 3, 2]]]], []]], [['both endpoints split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [5, 4, 3]]]], [[1, 2]]], ['swapped uv indices', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [1, 2, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['length mismatch', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1]]]], ['uv-mismatch', 1]], ['extra uv corner', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2, 7], [2, 1, 3]]]], ['uv-mismatch', 0]], ['quad strip split', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [6, 2, 5, 7]]]], [[1, 4]]], ['disk atlas', [[[[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [0, 5, 1]], [[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [6, 5, 1]]]], [[0, 1], [0, 5]]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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":"e0ad31bc6edb078c1845b0e9f503422dc1f4281fdd486b4b6d08458fff8fba14","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    faces,uvf=x\n    seen={}\n    seams=set()\n    for fi,(f,t) in enumerate(zip(faces,uvf)):\n        if len(f)!=len(t): return ['uv-mismatch',fi]\n        n=len(f)\n        for i in range(n):\n            a,b=f[i],f[(i+1)%n]\n            ua,ub=t[i],t[(i+1)%n]\n            k=(min(a,b),max(a,b))\n            m={a:ua,b:ub}\n            if k in seen:\n                if seen[k]!=m: seams.add(k)\n            else: seen[k]=m\n    return sorted([list(k) for k in seams])\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['shared uv no seam', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1, 3]]]], []], ['one endpoint split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [4, 1, 3]]]], [[1, 2]]], ['both endpoints split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [5, 4, 3]]]], [[1, 2]]], ['swapped uv indices', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [1, 2, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['length mismatch', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1]]]], ['uv-mismatch', 1]], ['extra uv corner', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2, 7], [2, 1, 3]]]], ['uv-mismatch', 0]]], [['both endpoints split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [5, 4, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['length mismatch', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1]]]], ['uv-mismatch', 1]], ['extra uv corner', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2, 7], [2, 1, 3]]]], ['uv-mismatch', 0]], ['quad strip', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [1, 2, 5, 4]]]], []], ['quad strip split', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [6, 2, 5, 7]]]], [[1, 4]]], ['disk atlas', [[[[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [0, 5, 1]], [[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [6, 5, 1]]]], [[0, 1], [0, 5]]]], [['shared uv no seam', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1, 3]]]], []], ['swapped uv indices', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [1, 2, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['quad strip split', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [6, 2, 5, 7]]]], [[1, 4]]], ['disk atlas', [[[[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [0, 5, 1]], [[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [6, 5, 1]]]], [[0, 1], [0, 5]]], ['mismatch after seams', [[[[0, 1, 2], [2, 1, 3], [3, 1, 4]], [[0, 1, 2], [5, 1, 3], [3, 1]]]], ['uv-mismatch', 2]], ['same uv sum collision', [[[[0, 3, 1], [1, 3, 2]], [[0, 3, 1], [1, 3, 2]]]], []]], [['shared uv no seam', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1, 3]]]], []], ['one endpoint split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [4, 1, 3]]]], [[1, 2]]], ['both endpoints split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [5, 4, 3]]]], [[1, 2]]], ['swapped uv indices', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [1, 2, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['quad strip split', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [6, 2, 5, 7]]]], [[1, 4]]], ['same uv sum collision', [[[[0, 3, 1], [1, 3, 2]], [[0, 3, 1], [1, 3, 2]]]], []]], [['both endpoints split', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [5, 4, 3]]]], [[1, 2]]], ['swapped uv indices', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [1, 2, 3]]]], [[1, 2]]], ['cube with seams', [[[[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 5, 4], [1, 2, 6, 5], [2, 3, 7, 6], [3, 0, 4, 7]], [[0, 3, 2, 1], [4, 5, 6, 7], [0, 1, 9, 8], [1, 2, 10, 9], [2, 3, 11, 10], [3, 0, 8, 11]]]], [[4, 5], [4, 7], [5, 6], [6, 7]]], ['length mismatch', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2], [2, 1]]]], ['uv-mismatch', 1]], ['extra uv corner', [[[[0, 1, 2], [2, 1, 3]], [[0, 1, 2, 7], [2, 1, 3]]]], ['uv-mismatch', 0]], ['quad strip split', [[[[0, 1, 4, 3], [1, 2, 5, 4]], [[0, 1, 4, 3], [6, 2, 5, 7]]]], [[1, 4]]], ['disk atlas', [[[[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [0, 5, 1]], [[0, 1, 2], [0, 2, 3], [0, 3, 4], [0, 4, 5], [6, 5, 1]]]], [[0, 1], [0, 5]]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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":"Pure combinatorial teaching model over integer face lists with a stipulated contract; no geometry kernel or file format is implied. 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-mesh_topology_invariants-uv-seams-geometric-edge-key","generated_at":"2026-09-29T14:51:11.029613+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Mesh processing pipelines (remeshing, export, simulation, printing) trust these topological counts and adjacency answers; a wrong invariant silently accepts broken meshes or rejects valid ones.","repair":"Key edges by the undirected vertex pair (min, max).","root_cause":"The edge key keeps traversal direction, and neighbouring faces traverse shared edges oppositely.","sha256":"89da4ca36595112be274ca2ecb6bfb3b18d273e553c3c39763c2e13f6d2a7a57","title":"UV seams are keyed by directed geometric edges · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.142,"exit_code":1,"observations":[{"actual":[],"check":"shared uv no seam","expected":[],"passed":true},{"actual":[],"check":"one endpoint split","expected":[[1,2]],"passed":false},{"actual":[],"check":"both endpoints split","expected":[[1,2]],"passed":false},{"actual":[[1,2]],"check":"swapped uv indices","expected":[[1,2]],"passed":true},{"actual":[],"check":"cube with seams","expected":[[4,5],[4,7],[5,6],[6,7]],"passed":false},{"actual":["uv-mismatch",1],"check":"length mismatch","expected":["uv-mismatch",1],"passed":true},{"actual":["uv-mismatch",0],"check":"extra uv corner","expected":["uv-mismatch",0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"shared uv no seam\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"one endpoint split\", \"actual\": [], \"expected\": [[1, 2]], \"passed\": false}, {\"check\": \"both endpoints split\", \"actual\": [], \"expected\": [[1, 2]], \"passed\": false}, {\"check\": \"swapped uv indices\", \"actual\": [[1, 2]], \"expected\": [[1, 2]], \"passed\": true}, {\"check\": \"cube with seams\", \"actual\": [], \"expected\": [[4, 5], [4, 7], [5, 6], [6, 7]], \"passed\": false}, {\"check\": \"length mismatch\", \"actual\": [\"uv-mismatch\", 1], \"expected\": [\"uv-mismatch\", 1], \"passed\": true}, {\"check\": \"extra uv corner\", \"actual\": [\"uv-mismatch\", 0], \"expected\": [\"uv-mismatch\", 0], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.102,"exit_code":1,"observations":[{"actual":[],"check":"shared uv no seam","expected":[],"passed":true},{"actual":[],"check":"one endpoint split","expected":[[1,2]],"passed":false},{"actual":[],"check":"both endpoints split","expected":[[1,2]],"passed":false},{"actual":[],"check":"swapped uv indices","expected":[[1,2]],"passed":false},{"actual":[],"check":"cube with seams","expected":[[4,5],[4,7],[5,6],[6,7]],"passed":false},{"actual":["uv-mismatch",1],"check":"length mismatch","expected":["uv-mismatch",1],"passed":true},{"actual":["uv-mismatch",0],"check":"extra uv corner","expected":["uv-mismatch",0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"shared uv no seam\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"one endpoint split\", \"actual\": [], \"expected\": [[1, 2]], \"passed\": false}, {\"check\": \"both endpoints split\", \"actual\": [], \"expected\": [[1, 2]], \"passed\": false}, {\"check\": \"swapped uv indices\", \"actual\": [], \"expected\": [[1, 2]], \"passed\": false}, {\"check\": \"cube with seams\", \"actual\": [], \"expected\": [[4, 5], [4, 7], [5, 6], [6, 7]], \"passed\": false}, {\"check\": \"length mismatch\", \"actual\": [\"uv-mismatch\", 1], \"expected\": [\"uv-mismatch\", 1], \"passed\": true}, {\"check\": \"extra uv corner\", \"actual\": [\"uv-mismatch\", 0], \"expected\": [\"uv-mismatch\", 0], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.446,"exit_code":0,"observations":[{"actual":[],"check":"shared uv no seam","expected":[],"passed":true},{"actual":[[1,2]],"check":"one endpoint split","expected":[[1,2]],"passed":true},{"actual":[[1,2]],"check":"both endpoints split","expected":[[1,2]],"passed":true},{"actual":[[1,2]],"check":"swapped uv indices","expected":[[1,2]],"passed":true},{"actual":[[4,5],[4,7],[5,6],[6,7]],"check":"cube with seams","expected":[[4,5],[4,7],[5,6],[6,7]],"passed":true},{"actual":["uv-mismatch",1],"check":"length mismatch","expected":["uv-mismatch",1],"passed":true},{"actual":["uv-mismatch",0],"check":"extra uv corner","expected":["uv-mismatch",0],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"shared uv no seam\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"one endpoint split\", \"actual\": [[1, 2]], \"expected\": [[1, 2]], \"passed\": true}, {\"check\": \"both endpoints split\", \"actual\": [[1, 2]], \"expected\": [[1, 2]], \"passed\": true}, {\"check\": \"swapped uv indices\", \"actual\": [[1, 2]], \"expected\": [[1, 2]], \"passed\": true}, {\"check\": \"cube with seams\", \"actual\": [[4, 5], [4, 7], [5, 6], [6, 7]], \"expected\": [[4, 5], [4, 7], [5, 6], [6, 7]], \"passed\": true}, {\"check\": \"length mismatch\", \"actual\": [\"uv-mismatch\", 1], \"expected\": [\"uv-mismatch\", 1], \"passed\": true}, {\"check\": \"extra uv corner\", \"actual\": [\"uv-mismatch\", 0], \"expected\": [\"uv-mismatch\", 0], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}