{"abstract":"Sweep-fill and outline karaoke syllables vanish and later syllables start early.","category":"Subtitle cue timing","checks":9,"contract":"Karaoke text is a sequence of {\\k|\\K|\\kf|\\ko<cs>}syllable with durations in centiseconds. Syllable i starts at cue start plus the sum of all previous durations (empty syllables still consume time). Syllables starting at or after the cue end are dropped; others are clipped to the cue end. Output [syllable,start_ms,end_ms].","contract_signature":"cue, text","evaluation_group":"w2-subtitle-cue-timing-karaoke-syllables","failed_approach":"Adding \\kf still drops \\ko syllables and their durations.","family":"w2-subtitle-cue-timing-karaoke-syllables-karaoke-tag-family","id":"FA-78216","implementations":{"attempt":{"sha256":"40a6578b3c508660e7e1a6568f880cf3eae026e07c38c595340ed4889e97bf3d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport re\nN = 1\nobservations = []\ndef solve(cue, text):\n    cs,ce=cue\n    out=[]\n    t=cs\n    for m in re.finditer(r'\\{\\\\(kf|k|K)(\\d+)\\}([^{]*)',text):\n        d=int(m.group(2))*10\n        syl=m.group(3)\n        if syl and t<ce:\n            out.append([syl,t,min(t+d,ce)])\n        t+=d\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: karaoke tag family', [[0, 300], '{\\\\k20}a{\\\\kf20}b'], [['a', 0, 200], ['b', 200, 300]]), ('regression variant: karaoke tag family', [[1000, 3000], '{\\\\kf50}{\\\\k25}Hel'], [['Hel', 1500, 1750]]), ('partial repair probe: karaoke tag family', [[1000, 1800], '{\\\\ko50}{\\\\kf25}{\\\\k50} '], [[' ', 1750, 1800]]), ('partial repair variant: karaoke tag family', [[1000, 1800], '{\\\\k25}la{\\\\ko5}la{\\\\K5} '], [['la', 1000, 1250], ['la', 1250, 1300], [' ', 1300, 1350]]), ('boundary control', [[0, 1000], '{\\\\k50}Hel{\\\\k50}lo'], [['Hel', 0, 500], ['lo', 500, 1000]]), ('boundary control', [[0, 200], '{\\\\k20}a{\\\\k10}{\\\\k5}b'], [['a', 0, 200]]), ('normal control', [[0, 300], '{\\\\k10}la{\\\\k5}la{\\\\k50}lo{\\\\ko25}lo'], [['la', 0, 100], ['la', 100, 150], ['lo', 150, 300]]), ('normal control', [[1000, 1500], '{\\\\K50}o {\\\\kf50} '], [['o ', 1000, 1500]]), ('normal control', [[1000, 1100], '{\\\\k5}Hel{\\\\k5}la'], [['Hel', 1000, 1050], ['la', 1050, 1100]])], [('regression: karaoke tag family', [[0, 100], '{\\\\ko10}x{\\\\k1}y'], [['x', 0, 100]]), ('regression variant: karaoke tag family', [[1000, 1500], '{\\\\ko5} {\\\\ko25}{\\\\k5}o {\\\\k0} '], [[' ', 1000, 1050], ['o ', 1300, 1350], [' ', 1350, 1350]]), ('partial repair probe: karaoke tag family', [[0, 300], '{\\\\ko25}la{\\\\k25}o {\\\\kf5}la'], [['la', 0, 250], ['o ', 250, 300]]), ('partial repair variant: karaoke tag family', [[0, 2000], '{\\\\ko50}{\\\\k50}la'], [['la', 500, 1000]]), ('boundary control', [[0, 200], '{\\\\k20}a{\\\\k10}{\\\\k5}b'], [['a', 0, 200]]), ('boundary control', [[0, 1000], '{\\\\k50}Hel{\\\\k50}lo'], [['Hel', 0, 500], ['lo', 500, 1000]]), ('normal control', [[0, 500], '{\\\\k30}o '], [['o ', 0, 300]]), ('normal control', [[1000, 1300], '{\\\\K50}la{\\\\ko30}Hel{\\\\k50}Hel{\\\\K25} '], [['la', 1000, 1300]]), ('normal control', [[1000, 1500], '{\\\\k5}lo{\\\\K30}o '], [['lo', 1000, 1050], ['o ', 1050, 1350]])], [('regression: karaoke tag family', [[1000, 1500], '{\\\\kf10} {\\\\k10}la'], [[' ', 1000, 1100], ['la', 1100, 1200]]), ('regression variant: karaoke tag family', [[0, 300], '{\\\\ko25}la{\\\\k25}o {\\\\kf5}la'], [['la', 0, 250], ['o ', 250, 300]]), ('partial repair probe: karaoke tag family', [[0, 800], '{\\\\k0}lo{\\\\ko50}la{\\\\kf30}lo'], [['lo', 0, 0], ['la', 0, 500], ['lo', 500, 800]]), ('partial repair variant: karaoke tag family', [[1000, 1800], '{\\\\K25}lo{\\\\K30}o {\\\\ko25}lo{\\\\ko10}la'], [['lo', 1000, 1250], ['o ', 1250, 1550], ['lo', 1550, 1800]]), ('boundary control', [[0, 1000], '{\\\\k50}Hel{\\\\k50}lo'], [['Hel', 0, 500], ['lo', 500, 1000]]), ('boundary control', [[0, 200], '{\\\\k20}a{\\\\k10}{\\\\k5}b'], [['a', 0, 200]]), ('normal control', [[1000, 1800], '{\\\\K25}'], []), ('normal control', [[0, 300], '{\\\\k50}{\\\\K25}la{\\\\kf25}o {\\\\k50}lo'], []), ('normal control', [[1000, 1300], '{\\\\k30}Hel{\\\\kf30}la{\\\\k5} {\\\\K5}lo'], [['Hel', 1000, 1300]])], [('regression: karaoke tag family', [[0, 2000], '{\\\\K25}la{\\\\ko25}Hel{\\\\K0}Hel{\\\\ko25}'], [['la', 0, 250], ['Hel', 250, 500], ['Hel', 500, 500]]), ('regression variant: karaoke tag family', [[0, 800], '{\\\\k0}lo{\\\\ko50}la{\\\\kf30}lo'], [['lo', 0, 0], ['la', 0, 500], ['lo', 500, 800]]), ('partial repair probe: karaoke tag family', [[0, 500], '{\\\\ko30}Hel{\\\\K5}Hel{\\\\k50}lo{\\\\K30}{\\\\k30}lo'], [['Hel', 0, 300], ['Hel', 300, 350], ['lo', 350, 500]]), ('partial repair variant: karaoke tag family', [[0, 500], '{\\\\kf10}{\\\\ko25} {\\\\k10}o '], [[' ', 100, 350], ['o ', 350, 450]]), ('boundary control', [[0, 200], '{\\\\k20}a{\\\\k10}{\\\\k5}b'], [['a', 0, 200]]), ('boundary control', [[0, 1000], '{\\\\k50}Hel{\\\\k50}lo'], [['Hel', 0, 500], ['lo', 500, 1000]]), ('normal control', [[1000, 1500], '{\\\\K25}Hel{\\\\K5}la{\\\\k30}lo{\\\\ko5}lo'], [['Hel', 1000, 1250], ['la', 1250, 1300], ['lo', 1300, 1500]]), ('normal control', [[1000, 1300], '{\\\\k5} {\\\\k0}o {\\\\k30}Hel'], [[' ', 1000, 1050], ['o ', 1050, 1050], ['Hel', 1050, 1300]]), ('normal control', [[1000, 1100], '{\\\\K0}lo'], [['lo', 1000, 1000]])], [('regression: karaoke tag family', [[1000, 1800], '{\\\\ko50}{\\\\kf25}{\\\\k50} '], [[' ', 1750, 1800]]), ('regression variant: karaoke tag family', [[0, 800], '{\\\\kf25}o '], [['o ', 0, 250]]), ('partial repair probe: karaoke tag family', [[0, 500], '{\\\\ko30}Hel{\\\\K5}Hel{\\\\k50}lo{\\\\K30}{\\\\k30}lo'], [['Hel', 0, 300], ['Hel', 300, 350], ['lo', 350, 500]]), ('partial repair variant: karaoke tag family', [[0, 100], '{\\\\ko10}{\\\\kf0}o {\\\\kf0} {\\\\kf30}lo'], []), ('boundary control', [[0, 1000], '{\\\\k50}Hel{\\\\k50}lo'], [['Hel', 0, 500], ['lo', 500, 1000]]), ('boundary control', [[0, 200], '{\\\\k20}a{\\\\k10}{\\\\k5}b'], [['a', 0, 200]]), ('normal control', [[1000, 1100], '{\\\\K30}Hel{\\\\k0} {\\\\K30}Hel{\\\\kf25}Hel'], [['Hel', 1000, 1100]]), ('normal control', [[1000, 1300], '{\\\\k5}lo{\\\\k10}lo'], [['lo', 1000, 1050], ['lo', 1050, 1150]]), ('normal control', [[1000, 1300], '{\\\\K5}lo'], [['lo', 1000, 1050]])]]\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":"7fb95b1f973afe3dfc4d9bc24764dedc3398bcf13863ee58bc544033dc9b217d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport re\nN = 1\nobservations = []\ndef solve(cue, text):\n    cs,ce=cue\n    out=[]\n    t=cs\n    for m in re.finditer(r'\\{\\\\(k|K)(\\d+)\\}([^{]*)',text):\n        d=int(m.group(2))*10\n        syl=m.group(3)\n        if syl and t<ce:\n            out.append([syl,t,min(t+d,ce)])\n        t+=d\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: karaoke tag family', [[0, 300], '{\\\\k20}a{\\\\kf20}b'], [['a', 0, 200], ['b', 200, 300]]), ('regression variant: karaoke tag family', [[1000, 3000], '{\\\\kf50}{\\\\k25}Hel'], [['Hel', 1500, 1750]]), ('partial repair probe: karaoke tag family', [[1000, 1800], '{\\\\ko50}{\\\\kf25}{\\\\k50} '], [[' ', 1750, 1800]]), ('partial repair variant: karaoke tag family', [[1000, 1800], '{\\\\k25}la{\\\\ko5}la{\\\\K5} '], [['la', 1000, 1250], ['la', 1250, 1300], [' ', 1300, 1350]]), ('boundary control', [[0, 1000], '{\\\\k50}Hel{\\\\k50}lo'], [['Hel', 0, 500], ['lo', 500, 1000]]), ('boundary control', [[0, 200], '{\\\\k20}a{\\\\k10}{\\\\k5}b'], [['a', 0, 200]]), ('normal control', [[0, 300], '{\\\\k10}la{\\\\k5}la{\\\\k50}lo{\\\\ko25}lo'], [['la', 0, 100], ['la', 100, 150], ['lo', 150, 300]]), ('normal control', [[1000, 1500], '{\\\\K50}o {\\\\kf50} '], [['o ', 1000, 1500]]), ('normal control', [[1000, 1100], '{\\\\k5}Hel{\\\\k5}la'], [['Hel', 1000, 1050], ['la', 1050, 1100]])], [('regression: karaoke tag family', [[0, 100], '{\\\\ko10}x{\\\\k1}y'], [['x', 0, 100]]), ('regression variant: karaoke tag family', [[1000, 1500], '{\\\\ko5} {\\\\ko25}{\\\\k5}o {\\\\k0} '], [[' ', 1000, 1050], ['o ', 1300, 1350], [' ', 1350, 1350]]), ('partial repair probe: karaoke tag family', [[0, 300], '{\\\\ko25}la{\\\\k25}o {\\\\kf5}la'], [['la', 0, 250], ['o ', 250, 300]]), ('partial repair variant: karaoke tag family', [[0, 2000], '{\\\\ko50}{\\\\k50}la'], [['la', 500, 1000]]), ('boundary control', [[0, 200], '{\\\\k20}a{\\\\k10}{\\\\k5}b'], [['a', 0, 200]]), ('boundary control', [[0, 1000], '{\\\\k50}Hel{\\\\k50}lo'], [['Hel', 0, 500], ['lo', 500, 1000]]), ('normal control', [[0, 500], '{\\\\k30}o '], [['o ', 0, 300]]), ('normal control', [[1000, 1300], '{\\\\K50}la{\\\\ko30}Hel{\\\\k50}Hel{\\\\K25} '], [['la', 1000, 1300]]), ('normal control', [[1000, 1500], '{\\\\k5}lo{\\\\K30}o '], [['lo', 1000, 1050], ['o ', 1050, 1350]])], [('regression: karaoke tag family', [[1000, 1500], '{\\\\kf10} {\\\\k10}la'], [[' ', 1000, 1100], ['la', 1100, 1200]]), ('regression variant: karaoke tag family', [[0, 300], '{\\\\ko25}la{\\\\k25}o {\\\\kf5}la'], [['la', 0, 250], ['o ', 250, 300]]), ('partial repair probe: karaoke tag family', [[0, 800], '{\\\\k0}lo{\\\\ko50}la{\\\\kf30}lo'], [['lo', 0, 0], ['la', 0, 500], ['lo', 500, 800]]), ('partial repair variant: karaoke tag family', [[1000, 1800], '{\\\\K25}lo{\\\\K30}o {\\\\ko25}lo{\\\\ko10}la'], [['lo', 1000, 1250], ['o ', 1250, 1550], ['lo', 1550, 1800]]), ('boundary control', [[0, 1000], '{\\\\k50}Hel{\\\\k50}lo'], [['Hel', 0, 500], ['lo', 500, 1000]]), ('boundary control', [[0, 200], '{\\\\k20}a{\\\\k10}{\\\\k5}b'], [['a', 0, 200]]), ('normal control', [[1000, 1800], '{\\\\K25}'], []), ('normal control', [[0, 300], '{\\\\k50}{\\\\K25}la{\\\\kf25}o {\\\\k50}lo'], []), ('normal control', [[1000, 1300], '{\\\\k30}Hel{\\\\kf30}la{\\\\k5} {\\\\K5}lo'], [['Hel', 1000, 1300]])], [('regression: karaoke tag family', [[0, 2000], '{\\\\K25}la{\\\\ko25}Hel{\\\\K0}Hel{\\\\ko25}'], [['la', 0, 250], ['Hel', 250, 500], ['Hel', 500, 500]]), ('regression variant: karaoke tag family', [[0, 800], '{\\\\k0}lo{\\\\ko50}la{\\\\kf30}lo'], [['lo', 0, 0], ['la', 0, 500], ['lo', 500, 800]]), ('partial repair probe: karaoke tag family', [[0, 500], '{\\\\ko30}Hel{\\\\K5}Hel{\\\\k50}lo{\\\\K30}{\\\\k30}lo'], [['Hel', 0, 300], ['Hel', 300, 350], ['lo', 350, 500]]), ('partial repair variant: karaoke tag family', [[0, 500], '{\\\\kf10}{\\\\ko25} {\\\\k10}o '], [[' ', 100, 350], ['o ', 350, 450]]), ('boundary control', [[0, 200], '{\\\\k20}a{\\\\k10}{\\\\k5}b'], [['a', 0, 200]]), ('boundary control', [[0, 1000], '{\\\\k50}Hel{\\\\k50}lo'], [['Hel', 0, 500], ['lo', 500, 1000]]), ('normal control', [[1000, 1500], '{\\\\K25}Hel{\\\\K5}la{\\\\k30}lo{\\\\ko5}lo'], [['Hel', 1000, 1250], ['la', 1250, 1300], ['lo', 1300, 1500]]), ('normal control', [[1000, 1300], '{\\\\k5} {\\\\k0}o {\\\\k30}Hel'], [[' ', 1000, 1050], ['o ', 1050, 1050], ['Hel', 1050, 1300]]), ('normal control', [[1000, 1100], '{\\\\K0}lo'], [['lo', 1000, 1000]])], [('regression: karaoke tag family', [[1000, 1800], '{\\\\ko50}{\\\\kf25}{\\\\k50} '], [[' ', 1750, 1800]]), ('regression variant: karaoke tag family', [[0, 800], '{\\\\kf25}o '], [['o ', 0, 250]]), ('partial repair probe: karaoke tag family', [[0, 500], '{\\\\ko30}Hel{\\\\K5}Hel{\\\\k50}lo{\\\\K30}{\\\\k30}lo'], [['Hel', 0, 300], ['Hel', 300, 350], ['lo', 350, 500]]), ('partial repair variant: karaoke tag family', [[0, 100], '{\\\\ko10}{\\\\kf0}o {\\\\kf0} {\\\\kf30}lo'], []), ('boundary control', [[0, 1000], '{\\\\k50}Hel{\\\\k50}lo'], [['Hel', 0, 500], ['lo', 500, 1000]]), ('boundary control', [[0, 200], '{\\\\k20}a{\\\\k10}{\\\\k5}b'], [['a', 0, 200]]), ('normal control', [[1000, 1100], '{\\\\K30}Hel{\\\\k0} {\\\\K30}Hel{\\\\kf25}Hel'], [['Hel', 1000, 1100]]), ('normal control', [[1000, 1300], '{\\\\k5}lo{\\\\k10}lo'], [['lo', 1000, 1050], ['lo', 1050, 1150]]), ('normal control', [[1000, 1300], '{\\\\K5}lo'], [['lo', 1000, 1050]])]]\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":"A deterministic bounded teaching model with a stipulated toy contract; it does not claim conformance to any subtitle standard. 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-subtitle-cue-timing-karaoke-syllables-karaoke-tag-family","generated_at":"2026-09-29T14:49:33.325458+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Subtitle timing defects shift, hide or overlap captions that viewers depend on for comprehension and accessibility.","root_cause":"Only the \\k and \\K tags are recognized.","sha256":"ac5083ad2abf1b8f0652d001941f93e59719e9cca18d50345a6bbe2cc6010ee3","title":"Karaoke syllable timing: karaoke tag family · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":40.72,"exit_code":1,"observations":[{"actual":[["a",0,200],["b",200,300]],"check":"regression: karaoke tag family","expected":[["a",0,200],["b",200,300]],"passed":true},{"actual":[["Hel",1500,1750]],"check":"regression variant: karaoke tag family","expected":[["Hel",1500,1750]],"passed":true},{"actual":[[" ",1250,1750]],"check":"partial repair probe: karaoke tag family","expected":[[" ",1750,1800]],"passed":false},{"actual":[["la",1000,1250],[" ",1250,1300]],"check":"partial repair variant: karaoke tag family","expected":[["la",1000,1250],["la",1250,1300],[" ",1300,1350]],"passed":false},{"actual":[["Hel",0,500],["lo",500,1000]],"check":"boundary control","expected":[["Hel",0,500],["lo",500,1000]],"passed":true},{"actual":[["a",0,200]],"check":"boundary control","expected":[["a",0,200]],"passed":true},{"actual":[["la",0,100],["la",100,150],["lo",150,300]],"check":"normal control","expected":[["la",0,100],["la",100,150],["lo",150,300]],"passed":true},{"actual":[["o ",1000,1500]],"check":"normal control","expected":[["o ",1000,1500]],"passed":true},{"actual":[["Hel",1000,1050],["la",1050,1100]],"check":"normal control","expected":[["Hel",1000,1050],["la",1050,1100]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: karaoke tag family\", \"actual\": [[\"a\", 0, 200], [\"b\", 200, 300]], \"expected\": [[\"a\", 0, 200], [\"b\", 200, 300]], \"passed\": true}, {\"check\": \"regression variant: karaoke tag family\", \"actual\": [[\"Hel\", 1500, 1750]], \"expected\": [[\"Hel\", 1500, 1750]], \"passed\": true}, {\"check\": \"partial repair probe: karaoke tag family\", \"actual\": [[\" \", 1250, 1750]], \"expected\": [[\" \", 1750, 1800]], \"passed\": false}, {\"check\": \"partial repair variant: karaoke tag family\", \"actual\": [[\"la\", 1000, 1250], [\" \", 1250, 1300]], \"expected\": [[\"la\", 1000, 1250], [\"la\", 1250, 1300], [\" \", 1300, 1350]], \"passed\": false}, {\"check\": \"boundary control\", \"actual\": [[\"Hel\", 0, 500], [\"lo\", 500, 1000]], \"expected\": [[\"Hel\", 0, 500], [\"lo\", 500, 1000]], \"passed\": true}, {\"check\": \"boundary control\", \"actual\": [[\"a\", 0, 200]], \"expected\": [[\"a\", 0, 200]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[\"la\", 0, 100], [\"la\", 100, 150], [\"lo\", 150, 300]], \"expected\": [[\"la\", 0, 100], [\"la\", 100, 150], [\"lo\", 150, 300]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[\"o \", 1000, 1500]], \"expected\": [[\"o \", 1000, 1500]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[\"Hel\", 1000, 1050], [\"la\", 1050, 1100]], \"expected\": [[\"Hel\", 1000, 1050], [\"la\", 1050, 1100]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.867,"exit_code":1,"observations":[{"actual":[["a",0,200]],"check":"regression: karaoke tag family","expected":[["a",0,200],["b",200,300]],"passed":false},{"actual":[["Hel",1000,1250]],"check":"regression variant: karaoke tag family","expected":[["Hel",1500,1750]],"passed":false},{"actual":[[" ",1000,1500]],"check":"partial repair probe: karaoke tag family","expected":[[" ",1750,1800]],"passed":false},{"actual":[["la",1000,1250],[" ",1250,1300]],"check":"partial repair variant: karaoke tag family","expected":[["la",1000,1250],["la",1250,1300],[" ",1300,1350]],"passed":false},{"actual":[["Hel",0,500],["lo",500,1000]],"check":"boundary control","expected":[["Hel",0,500],["lo",500,1000]],"passed":true},{"actual":[["a",0,200]],"check":"boundary control","expected":[["a",0,200]],"passed":true},{"actual":[["la",0,100],["la",100,150],["lo",150,300]],"check":"normal control","expected":[["la",0,100],["la",100,150],["lo",150,300]],"passed":true},{"actual":[["o ",1000,1500]],"check":"normal control","expected":[["o ",1000,1500]],"passed":true},{"actual":[["Hel",1000,1050],["la",1050,1100]],"check":"normal control","expected":[["Hel",1000,1050],["la",1050,1100]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: karaoke tag family\", \"actual\": [[\"a\", 0, 200]], \"expected\": [[\"a\", 0, 200], [\"b\", 200, 300]], \"passed\": false}, {\"check\": \"regression variant: karaoke tag family\", \"actual\": [[\"Hel\", 1000, 1250]], \"expected\": [[\"Hel\", 1500, 1750]], \"passed\": false}, {\"check\": \"partial repair probe: karaoke tag family\", \"actual\": [[\" \", 1000, 1500]], \"expected\": [[\" \", 1750, 1800]], \"passed\": false}, {\"check\": \"partial repair variant: karaoke tag family\", \"actual\": [[\"la\", 1000, 1250], [\" \", 1250, 1300]], \"expected\": [[\"la\", 1000, 1250], [\"la\", 1250, 1300], [\" \", 1300, 1350]], \"passed\": false}, {\"check\": \"boundary control\", \"actual\": [[\"Hel\", 0, 500], [\"lo\", 500, 1000]], \"expected\": [[\"Hel\", 0, 500], [\"lo\", 500, 1000]], \"passed\": true}, {\"check\": \"boundary control\", \"actual\": [[\"a\", 0, 200]], \"expected\": [[\"a\", 0, 200]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[\"la\", 0, 100], [\"la\", 100, 150], [\"lo\", 150, 300]], \"expected\": [[\"la\", 0, 100], [\"la\", 100, 150], [\"lo\", 150, 300]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[\"o \", 1000, 1500]], \"expected\": [[\"o \", 1000, 1500]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[\"Hel\", 1000, 1050], [\"la\", 1050, 1100]], \"expected\": [[\"Hel\", 1000, 1050], [\"la\", 1050, 1100]], \"passed\": true}], \"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."}}