{"abstract":"Type 252 frames add nothing and 254 frames drop their last local.","category":"Bytecode virtual machines","checks":9,"contract":"Expand compressed stack map frames. Types: 0-63 same (delta = type), 64-127 same_locals_1_stack_item (delta = type - 64, one stack item), 128-246 reserved ([\"ClassFormatError\", index]), 247 extended one item [247, delta, item], 248-250 chop 251-type locals [t, delta], 251 same extended [251, delta], 252-254 append type-251 locals [t, delta, items...], 255 full [255, delta, locals, stack]. The first frame's offset is its delta; each later offset is previous + delta + 1. Chopping more locals than exist is an error. Return [offset, locals, stack] for every frame; each frame's locals are an independent snapshot.","evaluation_group":"w2-bytecode-virtual-machines-stack-map-frames","failed_approach":"Computing 254 - t reverses the count.","family":"w2-bytecode-virtual-machines-stack-map-frames-append-count","id":"FA-90336","implementations":{"attempt":{"sha256":"60ce5caf98cb53caa1af0fbace8597b431b449a43cceef374974ef59989b0c68","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(initial, frames):\n    locals_ = list(initial)\n    out = []\n    offset = 0\n    for idx, fr in enumerate(frames):\n        t = fr[0]\n        stack = []\n        if t <= 63:\n            delta = t\n        elif t <= 127:\n            delta = t - 64\n            stack = [fr[1]]\n        elif t < 247:\n            return ['ClassFormatError', idx]\n        elif t == 247:\n            delta = fr[1]\n            stack = [fr[2]]\n        elif t <= 250:\n            delta = fr[1]\n            k = 251 - t\n            if k > len(locals_):\n                return ['ClassFormatError', idx]\n            locals_ = locals_[:len(locals_) - k]\n        elif t == 251:\n            delta = fr[1]\n        elif t <= 254:\n            delta = fr[1]\n            locals_ = locals_ + list(fr[2:2 + 254 - t])\n        else:\n            delta = fr[1]\n            locals_ = list(fr[2])\n            stack = list(fr[3])\n        offset = delta if idx == 0 else offset + delta + 1\n        out.append([offset, locals_, stack])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [71, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [13, ['I', 'Object'], ['I']],\n    [17, ['I', 'Object', 'F'], []],\n    [20, ['I'], []],\n    [321, ['I'], []],\n    [323, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[11], [3]]),\n   [[11, ['I', 'Object'], []], [15, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[65, 'Object'], [64, 'I']]),\n   [[1, ['I', 'Object'], ['Object']], [2, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 5, 'Object']]),\n   [[5, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 1], [251, 0]]), [[1, [], []], [2, [], []]]),\n  ('chop more locals than exist', ([], [[250, 1]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 1, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [2, ['I', 'Object', 'I', 'I', 'F'], []],\n    [3, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 1, ['Object'], []], [2]]),\n   [[1, ['Object'], []], [4, ['Object'], []]])],\n [('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [72, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [14, ['I', 'Object'], ['I']],\n    [18, ['I', 'Object', 'F'], []],\n    [21, ['I'], []],\n    [322, ['I'], []],\n    [324, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[12], [3]]),\n   [[12, ['I', 'Object'], []], [16, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[66, 'Object'], [64, 'I']]),\n   [[2, ['I', 'Object'], ['Object']], [3, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 6, 'Object']]),\n   [[6, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 2], [251, 0]]), [[2, [], []], [3, [], []]]),\n  ('chop more locals than exist', ([], [[250, 2]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 2, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [3, ['I', 'Object', 'I', 'I', 'F'], []],\n    [4, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 2, ['Object'], []], [2]]),\n   [[2, ['Object'], []], [5, ['Object'], []]])],\n [('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [73, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [15, ['I', 'Object'], ['I']],\n    [19, ['I', 'Object', 'F'], []],\n    [22, ['I'], []],\n    [323, ['I'], []],\n    [325, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[13], [3]]),\n   [[13, ['I', 'Object'], []], [17, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[67, 'Object'], [64, 'I']]),\n   [[3, ['I', 'Object'], ['Object']], [4, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 7, 'Object']]),\n   [[7, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 3], [251, 0]]), [[3, [], []], [4, [], []]]),\n  ('chop more locals than exist', ([], [[250, 3]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 3, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [4, ['I', 'Object', 'I', 'I', 'F'], []],\n    [5, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 3, ['Object'], []], [2]]),\n   [[3, ['Object'], []], [6, ['Object'], []]])],\n [('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [74, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [16, ['I', 'Object'], ['I']],\n    [20, ['I', 'Object', 'F'], []],\n    [23, ['I'], []],\n    [324, ['I'], []],\n    [326, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[14], [3]]),\n   [[14, ['I', 'Object'], []], [18, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[68, 'Object'], [64, 'I']]),\n   [[4, ['I', 'Object'], ['Object']], [5, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 8, 'Object']]),\n   [[8, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 4], [251, 0]]), [[4, [], []], [5, [], []]]),\n  ('chop more locals than exist', ([], [[250, 4]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 4, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [5, ['I', 'Object', 'I', 'I', 'F'], []],\n    [6, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 4, ['Object'], []], [2]]),\n   [[4, ['Object'], []], [7, ['Object'], []]])],\n [('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [75, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [17, ['I', 'Object'], ['I']],\n    [21, ['I', 'Object', 'F'], []],\n    [24, ['I'], []],\n    [325, ['I'], []],\n    [327, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[15], [3]]),\n   [[15, ['I', 'Object'], []], [19, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[69, 'Object'], [64, 'I']]),\n   [[5, ['I', 'Object'], ['Object']], [6, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 9, 'Object']]),\n   [[9, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 5], [251, 0]]), [[5, [], []], [6, [], []]]),\n  ('chop more locals than exist', ([], [[250, 5]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 5, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [6, ['I', 'Object', 'I', 'I', 'F'], []],\n    [7, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 5, ['Object'], []], [2]]),\n   [[5, ['Object'], []], [8, ['Object'], []]])]]\nfor label, args, expected in cases[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":"5a9fe098c04d3e6da0392bfe63a61ccecf524bf3c47ba1ba976adc1c3e0d6d75","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(initial, frames):\n    locals_ = list(initial)\n    out = []\n    offset = 0\n    for idx, fr in enumerate(frames):\n        t = fr[0]\n        stack = []\n        if t <= 63:\n            delta = t\n        elif t <= 127:\n            delta = t - 64\n            stack = [fr[1]]\n        elif t < 247:\n            return ['ClassFormatError', idx]\n        elif t == 247:\n            delta = fr[1]\n            stack = [fr[2]]\n        elif t <= 250:\n            delta = fr[1]\n            k = 251 - t\n            if k > len(locals_):\n                return ['ClassFormatError', idx]\n            locals_ = locals_[:len(locals_) - k]\n        elif t == 251:\n            delta = fr[1]\n        elif t <= 254:\n            delta = fr[1]\n            locals_ = locals_ + list(fr[2:2 + t - 252])\n        else:\n            delta = fr[1]\n            locals_ = list(fr[2])\n            stack = list(fr[3])\n        offset = delta if idx == 0 else offset + delta + 1\n        out.append([offset, locals_, stack])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [71, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [13, ['I', 'Object'], ['I']],\n    [17, ['I', 'Object', 'F'], []],\n    [20, ['I'], []],\n    [321, ['I'], []],\n    [323, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[11], [3]]),\n   [[11, ['I', 'Object'], []], [15, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[65, 'Object'], [64, 'I']]),\n   [[1, ['I', 'Object'], ['Object']], [2, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 5, 'Object']]),\n   [[5, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 1], [251, 0]]), [[1, [], []], [2, [], []]]),\n  ('chop more locals than exist', ([], [[250, 1]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 1, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [2, ['I', 'Object', 'I', 'I', 'F'], []],\n    [3, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 1, ['Object'], []], [2]]),\n   [[1, ['Object'], []], [4, ['Object'], []]])],\n [('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [72, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [14, ['I', 'Object'], ['I']],\n    [18, ['I', 'Object', 'F'], []],\n    [21, ['I'], []],\n    [322, ['I'], []],\n    [324, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[12], [3]]),\n   [[12, ['I', 'Object'], []], [16, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[66, 'Object'], [64, 'I']]),\n   [[2, ['I', 'Object'], ['Object']], [3, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 6, 'Object']]),\n   [[6, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 2], [251, 0]]), [[2, [], []], [3, [], []]]),\n  ('chop more locals than exist', ([], [[250, 2]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 2, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [3, ['I', 'Object', 'I', 'I', 'F'], []],\n    [4, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 2, ['Object'], []], [2]]),\n   [[2, ['Object'], []], [5, ['Object'], []]])],\n [('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [73, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [15, ['I', 'Object'], ['I']],\n    [19, ['I', 'Object', 'F'], []],\n    [22, ['I'], []],\n    [323, ['I'], []],\n    [325, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[13], [3]]),\n   [[13, ['I', 'Object'], []], [17, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[67, 'Object'], [64, 'I']]),\n   [[3, ['I', 'Object'], ['Object']], [4, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 7, 'Object']]),\n   [[7, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 3], [251, 0]]), [[3, [], []], [4, [], []]]),\n  ('chop more locals than exist', ([], [[250, 3]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 3, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [4, ['I', 'Object', 'I', 'I', 'F'], []],\n    [5, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 3, ['Object'], []], [2]]),\n   [[3, ['Object'], []], [6, ['Object'], []]])],\n [('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [74, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [16, ['I', 'Object'], ['I']],\n    [20, ['I', 'Object', 'F'], []],\n    [23, ['I'], []],\n    [324, ['I'], []],\n    [326, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[14], [3]]),\n   [[14, ['I', 'Object'], []], [18, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[68, 'Object'], [64, 'I']]),\n   [[4, ['I', 'Object'], ['Object']], [5, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 8, 'Object']]),\n   [[8, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 4], [251, 0]]), [[4, [], []], [5, [], []]]),\n  ('chop more locals than exist', ([], [[250, 4]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 4, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [5, ['I', 'Object', 'I', 'I', 'F'], []],\n    [6, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 4, ['Object'], []], [2]]),\n   [[4, ['Object'], []], [7, ['Object'], []]])],\n [('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [75, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [17, ['I', 'Object'], ['I']],\n    [21, ['I', 'Object', 'F'], []],\n    [24, ['I'], []],\n    [325, ['I'], []],\n    [327, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[15], [3]]),\n   [[15, ['I', 'Object'], []], [19, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[69, 'Object'], [64, 'I']]),\n   [[5, ['I', 'Object'], ['Object']], [6, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 9, 'Object']]),\n   [[9, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 5], [251, 0]]), [[5, [], []], [6, [], []]]),\n  ('chop more locals than exist', ([], [[250, 5]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 5, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [6, ['I', 'Object', 'I', 'I', 'F'], []],\n    [7, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 5, ['Object'], []], [2]]),\n   [[5, ['Object'], []], [8, ['Object'], []]])]]\nfor label, args, expected in cases[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":"a1e4f2597be70b86de5251cdab6fe6ae3a4f73edc84db53cdecc2e859bfe058a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(initial, frames):\n    locals_ = list(initial)\n    out = []\n    offset = 0\n    for idx, fr in enumerate(frames):\n        t = fr[0]\n        stack = []\n        if t <= 63:\n            delta = t\n        elif t <= 127:\n            delta = t - 64\n            stack = [fr[1]]\n        elif t < 247:\n            return ['ClassFormatError', idx]\n        elif t == 247:\n            delta = fr[1]\n            stack = [fr[2]]\n        elif t <= 250:\n            delta = fr[1]\n            k = 251 - t\n            if k > len(locals_):\n                return ['ClassFormatError', idx]\n            locals_ = locals_[:len(locals_) - k]\n        elif t == 251:\n            delta = fr[1]\n        elif t <= 254:\n            delta = fr[1]\n            locals_ = locals_ + list(fr[2:2 + t - 251])\n        else:\n            delta = fr[1]\n            locals_ = list(fr[2])\n            stack = list(fr[3])\n        offset = delta if idx == 0 else offset + delta + 1\n        out.append([offset, locals_, stack])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [71, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [13, ['I', 'Object'], ['I']],\n    [17, ['I', 'Object', 'F'], []],\n    [20, ['I'], []],\n    [321, ['I'], []],\n    [323, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[11], [3]]),\n   [[11, ['I', 'Object'], []], [15, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[65, 'Object'], [64, 'I']]),\n   [[1, ['I', 'Object'], ['Object']], [2, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 5, 'Object']]),\n   [[5, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 1], [251, 0]]), [[1, [], []], [2, [], []]]),\n  ('chop more locals than exist', ([], [[250, 1]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 1, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [2, ['I', 'Object', 'I', 'I', 'F'], []],\n    [3, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 1, ['Object'], []], [2]]),\n   [[1, ['Object'], []], [4, ['Object'], []]])],\n [('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [72, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [14, ['I', 'Object'], ['I']],\n    [18, ['I', 'Object', 'F'], []],\n    [21, ['I'], []],\n    [322, ['I'], []],\n    [324, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[12], [3]]),\n   [[12, ['I', 'Object'], []], [16, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[66, 'Object'], [64, 'I']]),\n   [[2, ['I', 'Object'], ['Object']], [3, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 6, 'Object']]),\n   [[6, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 2], [251, 0]]), [[2, [], []], [3, [], []]]),\n  ('chop more locals than exist', ([], [[250, 2]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 2, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [3, ['I', 'Object', 'I', 'I', 'F'], []],\n    [4, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 2, ['Object'], []], [2]]),\n   [[2, ['Object'], []], [5, ['Object'], []]])],\n [('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [73, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [15, ['I', 'Object'], ['I']],\n    [19, ['I', 'Object', 'F'], []],\n    [22, ['I'], []],\n    [323, ['I'], []],\n    [325, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[13], [3]]),\n   [[13, ['I', 'Object'], []], [17, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[67, 'Object'], [64, 'I']]),\n   [[3, ['I', 'Object'], ['Object']], [4, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 7, 'Object']]),\n   [[7, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 3], [251, 0]]), [[3, [], []], [4, [], []]]),\n  ('chop more locals than exist', ([], [[250, 3]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 3, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [4, ['I', 'Object', 'I', 'I', 'F'], []],\n    [5, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 3, ['Object'], []], [2]]),\n   [[3, ['Object'], []], [6, ['Object'], []]])],\n [('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [74, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [16, ['I', 'Object'], ['I']],\n    [20, ['I', 'Object', 'F'], []],\n    [23, ['I'], []],\n    [324, ['I'], []],\n    [326, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[14], [3]]),\n   [[14, ['I', 'Object'], []], [18, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[68, 'Object'], [64, 'I']]),\n   [[4, ['I', 'Object'], ['Object']], [5, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 8, 'Object']]),\n   [[8, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 4], [251, 0]]), [[4, [], []], [5, [], []]]),\n  ('chop more locals than exist', ([], [[250, 4]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 4, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [5, ['I', 'Object', 'I', 'I', 'F'], []],\n    [6, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 4, ['Object'], []], [2]]),\n   [[4, ['Object'], []], [7, ['Object'], []]])],\n [('regression: every compressed frame kind',\n   (['I', 'Object'], [[5], [75, 'I'], [252, 3, 'F'], [249, 2], [251, 300], [255, 1, ['I'], ['Object', 'J']]]),\n   [[5, ['I', 'Object'], []],\n    [17, ['I', 'Object'], ['I']],\n    [21, ['I', 'Object', 'F'], []],\n    [24, ['I'], []],\n    [325, ['I'], []],\n    [327, ['I'], ['Object', 'J']]]),\n  ('first frame offset is its delta',\n   (['I', 'Object'], [[15], [3]]),\n   [[15, ['I', 'Object'], []], [19, ['I', 'Object'], []]]),\n  ('same_locals_1_stack_item delta',\n   (['I', 'Object'], [[69, 'Object'], [64, 'I']]),\n   [[5, ['I', 'Object'], ['Object']], [6, ['I', 'Object'], ['I']]]),\n  ('reserved frame type', (['I', 'I', 'J', 'F', 'Object', 'D'], [[1], [246, 0]]), ['ClassFormatError', 1]),\n  ('extended one-item frame type',\n   (['I', 'Object'], [[247, 9, 'Object']]),\n   [[9, ['I', 'Object'], ['Object']]]),\n  ('chop three locals', (['I', 'J', 'F'], [[248, 5], [251, 0]]), [[5, [], []], [6, [], []]]),\n  ('chop more locals than exist', ([], [[250, 5]]), ['ClassFormatError', 0]),\n  ('append three locals then snapshot',\n   (['I', 'Object'], [[0], [254, 5, 'I', 'I', 'F'], [0]]),\n   [[0, ['I', 'Object'], []],\n    [6, ['I', 'Object', 'I', 'I', 'F'], []],\n    [7, ['I', 'Object', 'I', 'I', 'F'], []]]),\n  ('control: full frame replaces locals',\n   (['I', 'Object'], [[255, 5, ['Object'], []], [2]]),\n   [[5, ['Object'], []], [8, ['Object'], []]])]]\nfor label, args, expected in cases[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 of one bytecode virtual machine mechanism with a stipulated instruction encoding; it is not a production VM and claims no conformance to any real specification. 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-bytecode-virtual-machines-stack-map-frames-append-count","generated_at":"2026-09-29T14:51:25.777870+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Verifiers reconstruct per-offset types from this compressed encoding; any slip mistypes locals.","repair":"Append t - 251 locals.","root_cause":"The appended item count is computed as t - 252.","sha256":"237319e2c7d6b1d598e763d71333a443371f5378d708d53f09d48d669b4220a4","title":"Stack map frames: append frames add one local too few · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.946,"exit_code":1,"observations":[{"actual":[[5,["I","Object"],[]],[13,["I","Object"],["I"]],[17,["I","Object","F"],[]],[20,["I"],[]],[321,["I"],[]],[323,["I"],["Object","J"]]],"check":"regression: every compressed frame kind","expected":[[5,["I","Object"],[]],[13,["I","Object"],["I"]],[17,["I","Object","F"],[]],[20,["I"],[]],[321,["I"],[]],[323,["I"],["Object","J"]]],"passed":true},{"actual":[[11,["I","Object"],[]],[15,["I","Object"],[]]],"check":"first frame offset is its delta","expected":[[11,["I","Object"],[]],[15,["I","Object"],[]]],"passed":true},{"actual":[[1,["I","Object"],["Object"]],[2,["I","Object"],["I"]]],"check":"same_locals_1_stack_item delta","expected":[[1,["I","Object"],["Object"]],[2,["I","Object"],["I"]]],"passed":true},{"actual":["ClassFormatError",1],"check":"reserved frame type","expected":["ClassFormatError",1],"passed":true},{"actual":[[5,["I","Object"],["Object"]]],"check":"extended one-item frame type","expected":[[5,["I","Object"],["Object"]]],"passed":true},{"actual":[[1,[],[]],[2,[],[]]],"check":"chop three locals","expected":[[1,[],[]],[2,[],[]]],"passed":true},{"actual":["ClassFormatError",0],"check":"chop more locals than exist","expected":["ClassFormatError",0],"passed":true},{"actual":[[0,["I","Object"],[]],[2,["I","Object"],[]],[3,["I","Object"],[]]],"check":"append three locals then snapshot","expected":[[0,["I","Object"],[]],[2,["I","Object","I","I","F"],[]],[3,["I","Object","I","I","F"],[]]],"passed":false},{"actual":[[1,["Object"],[]],[4,["Object"],[]]],"check":"control: full frame replaces locals","expected":[[1,["Object"],[]],[4,["Object"],[]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: every compressed frame kind\", \"actual\": [[5, [\"I\", \"Object\"], []], [13, [\"I\", \"Object\"], [\"I\"]], [17, [\"I\", \"Object\", \"F\"], []], [20, [\"I\"], []], [321, [\"I\"], []], [323, [\"I\"], [\"Object\", \"J\"]]], \"expected\": [[5, [\"I\", \"Object\"], []], [13, [\"I\", \"Object\"], [\"I\"]], [17, [\"I\", \"Object\", \"F\"], []], [20, [\"I\"], []], [321, [\"I\"], []], [323, [\"I\"], [\"Object\", \"J\"]]], \"passed\": true}, {\"check\": \"first frame offset is its delta\", \"actual\": [[11, [\"I\", \"Object\"], []], [15, [\"I\", \"Object\"], []]], \"expected\": [[11, [\"I\", \"Object\"], []], [15, [\"I\", \"Object\"], []]], \"passed\": true}, {\"check\": \"same_locals_1_stack_item delta\", \"actual\": [[1, [\"I\", \"Object\"], [\"Object\"]], [2, [\"I\", \"Object\"], [\"I\"]]], \"expected\": [[1, [\"I\", \"Object\"], [\"Object\"]], [2, [\"I\", \"Object\"], [\"I\"]]], \"passed\": true}, {\"check\": \"reserved frame type\", \"actual\": [\"ClassFormatError\", 1], \"expected\": [\"ClassFormatError\", 1], \"passed\": true}, {\"check\": \"extended one-item frame type\", \"actual\": [[5, [\"I\", \"Object\"], [\"Object\"]]], \"expected\": [[5, [\"I\", \"Object\"], [\"Object\"]]], \"passed\": true}, {\"check\": \"chop three locals\", \"actual\": [[1, [], []], [2, [], []]], \"expected\": [[1, [], []], [2, [], []]], \"passed\": true}, {\"check\": \"chop more locals than exist\", \"actual\": [\"ClassFormatError\", 0], \"expected\": [\"ClassFormatError\", 0], \"passed\": true}, {\"check\": \"append three locals then snapshot\", \"actual\": [[0, [\"I\", \"Object\"], []], [2, [\"I\", \"Object\"], []], [3, [\"I\", \"Object\"], []]], \"expected\": [[0, [\"I\", \"Object\"], []], [2, [\"I\", \"Object\", \"I\", \"I\", \"F\"], []], [3, [\"I\", \"Object\", \"I\", \"I\", \"F\"], []]], \"passed\": false}, {\"check\": \"control: full frame replaces locals\", \"actual\": [[1, [\"Object\"], []], [4, [\"Object\"], []]], \"expected\": [[1, [\"Object\"], []], [4, [\"Object\"], []]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.731,"exit_code":1,"observations":[{"actual":[[5,["I","Object"],[]],[13,["I","Object"],["I"]],[17,["I","Object"],[]],[20,[],[]],[321,[],[]],[323,["I"],["Object","J"]]],"check":"regression: every compressed frame kind","expected":[[5,["I","Object"],[]],[13,["I","Object"],["I"]],[17,["I","Object","F"],[]],[20,["I"],[]],[321,["I"],[]],[323,["I"],["Object","J"]]],"passed":false},{"actual":[[11,["I","Object"],[]],[15,["I","Object"],[]]],"check":"first frame offset is its delta","expected":[[11,["I","Object"],[]],[15,["I","Object"],[]]],"passed":true},{"actual":[[1,["I","Object"],["Object"]],[2,["I","Object"],["I"]]],"check":"same_locals_1_stack_item delta","expected":[[1,["I","Object"],["Object"]],[2,["I","Object"],["I"]]],"passed":true},{"actual":["ClassFormatError",1],"check":"reserved frame type","expected":["ClassFormatError",1],"passed":true},{"actual":[[5,["I","Object"],["Object"]]],"check":"extended one-item frame type","expected":[[5,["I","Object"],["Object"]]],"passed":true},{"actual":[[1,[],[]],[2,[],[]]],"check":"chop three locals","expected":[[1,[],[]],[2,[],[]]],"passed":true},{"actual":["ClassFormatError",0],"check":"chop more locals than exist","expected":["ClassFormatError",0],"passed":true},{"actual":[[0,["I","Object"],[]],[2,["I","Object","I","I"],[]],[3,["I","Object","I","I"],[]]],"check":"append three locals then snapshot","expected":[[0,["I","Object"],[]],[2,["I","Object","I","I","F"],[]],[3,["I","Object","I","I","F"],[]]],"passed":false},{"actual":[[1,["Object"],[]],[4,["Object"],[]]],"check":"control: full frame replaces locals","expected":[[1,["Object"],[]],[4,["Object"],[]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: every compressed frame kind\", \"actual\": [[5, [\"I\", \"Object\"], []], [13, [\"I\", \"Object\"], [\"I\"]], [17, [\"I\", \"Object\"], []], [20, [], []], [321, [], []], [323, [\"I\"], [\"Object\", \"J\"]]], \"expected\": [[5, [\"I\", \"Object\"], []], [13, [\"I\", \"Object\"], [\"I\"]], [17, [\"I\", \"Object\", \"F\"], []], [20, [\"I\"], []], [321, [\"I\"], []], [323, [\"I\"], [\"Object\", \"J\"]]], \"passed\": false}, {\"check\": \"first frame offset is its delta\", \"actual\": [[11, [\"I\", \"Object\"], []], [15, [\"I\", \"Object\"], []]], \"expected\": [[11, [\"I\", \"Object\"], []], [15, [\"I\", \"Object\"], []]], \"passed\": true}, {\"check\": \"same_locals_1_stack_item delta\", \"actual\": [[1, [\"I\", \"Object\"], [\"Object\"]], [2, [\"I\", \"Object\"], [\"I\"]]], \"expected\": [[1, [\"I\", \"Object\"], [\"Object\"]], [2, [\"I\", \"Object\"], [\"I\"]]], \"passed\": true}, {\"check\": \"reserved frame type\", \"actual\": [\"ClassFormatError\", 1], \"expected\": [\"ClassFormatError\", 1], \"passed\": true}, {\"check\": \"extended one-item frame type\", \"actual\": [[5, [\"I\", \"Object\"], [\"Object\"]]], \"expected\": [[5, [\"I\", \"Object\"], [\"Object\"]]], \"passed\": true}, {\"check\": \"chop three locals\", \"actual\": [[1, [], []], [2, [], []]], \"expected\": [[1, [], []], [2, [], []]], \"passed\": true}, {\"check\": \"chop more locals than exist\", \"actual\": [\"ClassFormatError\", 0], \"expected\": [\"ClassFormatError\", 0], \"passed\": true}, {\"check\": \"append three locals then snapshot\", \"actual\": [[0, [\"I\", \"Object\"], []], [2, [\"I\", \"Object\", \"I\", \"I\"], []], [3, [\"I\", \"Object\", \"I\", \"I\"], []]], \"expected\": [[0, [\"I\", \"Object\"], []], [2, [\"I\", \"Object\", \"I\", \"I\", \"F\"], []], [3, [\"I\", \"Object\", \"I\", \"I\", \"F\"], []]], \"passed\": false}, {\"check\": \"control: full frame replaces locals\", \"actual\": [[1, [\"Object\"], []], [4, [\"Object\"], []]], \"expected\": [[1, [\"Object\"], []], [4, [\"Object\"], []]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.981,"exit_code":0,"observations":[{"actual":[[5,["I","Object"],[]],[13,["I","Object"],["I"]],[17,["I","Object","F"],[]],[20,["I"],[]],[321,["I"],[]],[323,["I"],["Object","J"]]],"check":"regression: every compressed frame kind","expected":[[5,["I","Object"],[]],[13,["I","Object"],["I"]],[17,["I","Object","F"],[]],[20,["I"],[]],[321,["I"],[]],[323,["I"],["Object","J"]]],"passed":true},{"actual":[[11,["I","Object"],[]],[15,["I","Object"],[]]],"check":"first frame offset is its delta","expected":[[11,["I","Object"],[]],[15,["I","Object"],[]]],"passed":true},{"actual":[[1,["I","Object"],["Object"]],[2,["I","Object"],["I"]]],"check":"same_locals_1_stack_item delta","expected":[[1,["I","Object"],["Object"]],[2,["I","Object"],["I"]]],"passed":true},{"actual":["ClassFormatError",1],"check":"reserved frame type","expected":["ClassFormatError",1],"passed":true},{"actual":[[5,["I","Object"],["Object"]]],"check":"extended one-item frame type","expected":[[5,["I","Object"],["Object"]]],"passed":true},{"actual":[[1,[],[]],[2,[],[]]],"check":"chop three locals","expected":[[1,[],[]],[2,[],[]]],"passed":true},{"actual":["ClassFormatError",0],"check":"chop more locals than exist","expected":["ClassFormatError",0],"passed":true},{"actual":[[0,["I","Object"],[]],[2,["I","Object","I","I","F"],[]],[3,["I","Object","I","I","F"],[]]],"check":"append three locals then snapshot","expected":[[0,["I","Object"],[]],[2,["I","Object","I","I","F"],[]],[3,["I","Object","I","I","F"],[]]],"passed":true},{"actual":[[1,["Object"],[]],[4,["Object"],[]]],"check":"control: full frame replaces locals","expected":[[1,["Object"],[]],[4,["Object"],[]]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: every compressed frame kind\", \"actual\": [[5, [\"I\", \"Object\"], []], [13, [\"I\", \"Object\"], [\"I\"]], [17, [\"I\", \"Object\", \"F\"], []], [20, [\"I\"], []], [321, [\"I\"], []], [323, [\"I\"], [\"Object\", \"J\"]]], \"expected\": [[5, [\"I\", \"Object\"], []], [13, [\"I\", \"Object\"], [\"I\"]], [17, [\"I\", \"Object\", \"F\"], []], [20, [\"I\"], []], [321, [\"I\"], []], [323, [\"I\"], [\"Object\", \"J\"]]], \"passed\": true}, {\"check\": \"first frame offset is its delta\", \"actual\": [[11, [\"I\", \"Object\"], []], [15, [\"I\", \"Object\"], []]], \"expected\": [[11, [\"I\", \"Object\"], []], [15, [\"I\", \"Object\"], []]], \"passed\": true}, {\"check\": \"same_locals_1_stack_item delta\", \"actual\": [[1, [\"I\", \"Object\"], [\"Object\"]], [2, [\"I\", \"Object\"], [\"I\"]]], \"expected\": [[1, [\"I\", \"Object\"], [\"Object\"]], [2, [\"I\", \"Object\"], [\"I\"]]], \"passed\": true}, {\"check\": \"reserved frame type\", \"actual\": [\"ClassFormatError\", 1], \"expected\": [\"ClassFormatError\", 1], \"passed\": true}, {\"check\": \"extended one-item frame type\", \"actual\": [[5, [\"I\", \"Object\"], [\"Object\"]]], \"expected\": [[5, [\"I\", \"Object\"], [\"Object\"]]], \"passed\": true}, {\"check\": \"chop three locals\", \"actual\": [[1, [], []], [2, [], []]], \"expected\": [[1, [], []], [2, [], []]], \"passed\": true}, {\"check\": \"chop more locals than exist\", \"actual\": [\"ClassFormatError\", 0], \"expected\": [\"ClassFormatError\", 0], \"passed\": true}, {\"check\": \"append three locals then snapshot\", \"actual\": [[0, [\"I\", \"Object\"], []], [2, [\"I\", \"Object\", \"I\", \"I\", \"F\"], []], [3, [\"I\", \"Object\", \"I\", \"I\", \"F\"], []]], \"expected\": [[0, [\"I\", \"Object\"], []], [2, [\"I\", \"Object\", \"I\", \"I\", \"F\"], []], [3, [\"I\", \"Object\", \"I\", \"I\", \"F\"], []]], \"passed\": true}, {\"check\": \"control: full frame replaces locals\", \"actual\": [[1, [\"Object\"], []], [4, [\"Object\"], []]], \"expected\": [[1, [\"Object\"], []], [4, [\"Object\"], []]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}