{"abstract":"Expanded views lose the source example label.","category":"Training label alignment","checks":7,"contract":"Examples are [source_id,label,view_ids]. Emit [view_id,label] for every view in source and view order.","contract_signature":"examples","evaluation_group":"training-label-alignment-source-label-view-expansion","failed_approach":"Copying the label only to the first view leaves the remaining training rows unlabeled.","family":"w3-training-label-alignment-example-expansion-label-copy","id":"FA-97996","implementations":{"attempt":{"sha256":"e7450883a8ca75c94d905e4a69a5b1089fcb71be59c64eaa2ade3030b5f19f66","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(examples):\n    return [[v,e[1]] for e in examples for v in e[2][:1]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('all views inherit',solve([['s',N,['v1','v2']]]),[['v1',N],['v2',N]])\ncheck('multiple sources',solve([['a',N,['a1']],['b',N+1,['b1','b2']]]),[['a1',N],['b1',N+1],['b2',N+1]])\ncheck('no views',solve([['x',0,[]]]),[])\ncheck('empty sources',solve([]),[])\ncheck('zero label copied',solve([['x',0,[0,N]]]),[[0,0],[N,0]])\ncheck('single view',solve([['x',N,['only']]]),[['only',N]])\ncheck('source order',solve([['b',2,['b0']],['a',1,['a0']]]),[['b0',2],['a0',1]])\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":"68aded5df9701b72911f782cdbaa7e6e5687a50a6f2f9a5509c78a4c38210c7f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(examples):\n    return [[v,None] for e in examples for v in e[2]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('all views inherit',solve([['s',N,['v1','v2']]]),[['v1',N],['v2',N]])\ncheck('multiple sources',solve([['a',N,['a1']],['b',N+1,['b1','b2']]]),[['a1',N],['b1',N+1],['b2',N+1]])\ncheck('no views',solve([['x',0,[]]]),[])\ncheck('empty sources',solve([]),[])\ncheck('zero label copied',solve([['x',0,[0,N]]]),[[0,0],[N,0]])\ncheck('single view',solve([['x',N,['only']]]),[['only',N]])\ncheck('source order',solve([['b',2,['b0']],['a',1,['a0']]]),[['b0',2],['a0',1]])\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":"View IDs need not be globally unique; rows retain source order. 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":"w3-training-label-alignment-example-expansion-label-copy","generated_at":"2026-09-30T16:48:07.976625+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A small deterministic training-data operation makes label ownership and ordering explicit.","root_cause":"Each derived view is emitted without carrying its source supervision value.","sha256":"1ce78b42425c2be7a59603bef03aa14479eef54073ad3e43f9fa6ae32c30b687","title":"Expanded views lose the source example label · case 01","variant":1,"variant_policy":"The fixture code references N, supplied as 1 through 5. Fixed boundary checks may repeat. These records share one mechanism and must remain together in evaluation splits.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":25.572,"exit_code":1,"observations":[{"actual":[["v1",1]],"check":"all views inherit","expected":[["v1",1],["v2",1]],"passed":false},{"actual":[["a1",1],["b1",2]],"check":"multiple sources","expected":[["a1",1],["b1",2],["b2",2]],"passed":false},{"actual":[],"check":"no views","expected":[],"passed":true},{"actual":[],"check":"empty sources","expected":[],"passed":true},{"actual":[[0,0]],"check":"zero label copied","expected":[[0,0],[1,0]],"passed":false},{"actual":[["only",1]],"check":"single view","expected":[["only",1]],"passed":true},{"actual":[["b0",2],["a0",1]],"check":"source order","expected":[["b0",2],["a0",1]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"all views inherit\", \"actual\": [[\"v1\", 1]], \"expected\": [[\"v1\", 1], [\"v2\", 1]], \"passed\": false}, {\"check\": \"multiple sources\", \"actual\": [[\"a1\", 1], [\"b1\", 2]], \"expected\": [[\"a1\", 1], [\"b1\", 2], [\"b2\", 2]], \"passed\": false}, {\"check\": \"no views\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"empty sources\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"zero label copied\", \"actual\": [[0, 0]], \"expected\": [[0, 0], [1, 0]], \"passed\": false}, {\"check\": \"single view\", \"actual\": [[\"only\", 1]], \"expected\": [[\"only\", 1]], \"passed\": true}, {\"check\": \"source order\", \"actual\": [[\"b0\", 2], [\"a0\", 1]], \"expected\": [[\"b0\", 2], [\"a0\", 1]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":24.934,"exit_code":1,"observations":[{"actual":[["v1",null],["v2",null]],"check":"all views inherit","expected":[["v1",1],["v2",1]],"passed":false},{"actual":[["a1",null],["b1",null],["b2",null]],"check":"multiple sources","expected":[["a1",1],["b1",2],["b2",2]],"passed":false},{"actual":[],"check":"no views","expected":[],"passed":true},{"actual":[],"check":"empty sources","expected":[],"passed":true},{"actual":[[0,null],[1,null]],"check":"zero label copied","expected":[[0,0],[1,0]],"passed":false},{"actual":[["only",null]],"check":"single view","expected":[["only",1]],"passed":false},{"actual":[["b0",null],["a0",null]],"check":"source order","expected":[["b0",2],["a0",1]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"all views inherit\", \"actual\": [[\"v1\", null], [\"v2\", null]], \"expected\": [[\"v1\", 1], [\"v2\", 1]], \"passed\": false}, {\"check\": \"multiple sources\", \"actual\": [[\"a1\", null], [\"b1\", null], [\"b2\", null]], \"expected\": [[\"a1\", 1], [\"b1\", 2], [\"b2\", 2]], \"passed\": false}, {\"check\": \"no views\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"empty sources\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"zero label copied\", \"actual\": [[0, null], [1, null]], \"expected\": [[0, 0], [1, 0]], \"passed\": false}, {\"check\": \"single view\", \"actual\": [[\"only\", null]], \"expected\": [[\"only\", 1]], \"passed\": false}, {\"check\": \"source order\", \"actual\": [[\"b0\", null], [\"a0\", null]], \"expected\": [[\"b0\", 2], [\"a0\", 1]], \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}