# Bytecode recovery dump for skill_scorecard (cpython-3.14)

======================================================================
# code object: <module>  args=()
# DOCSTRING: 'Grade Witsoc as a mathematical skill/tool system for one run.\n\nThis is not a proof-quality grade for a final report. It grades the machinery:\nExplorer, Generator(WIT), Generator(Lean), Researcher, Orchestrator interface,\nand the overall system, using observable run artifacts.\n'
  0           RESUME                   0

  2           LOAD_CONST               0 ('Grade Witsoc as a mathematical skill/tool system for one run.\n\nThis is not a proof-quality grade for a final report. It grades the machinery:\nExplorer, Generator(WIT), Generator(Lean), Researcher, Orchestrator interface,\nand the overall system, using observable run artifacts.\n')
              STORE_NAME               0 (__doc__)

  9           LOAD_SMALL_INT           0
              LOAD_CONST               1 (('annotations',))
              IMPORT_NAME              1 (__future__)
              IMPORT_FROM              2 (annotations)
              STORE_NAME               2 (annotations)
              POP_TOP

 11           LOAD_SMALL_INT           0
              LOAD_CONST               2 (None)
              IMPORT_NAME              3 (argparse)
              STORE_NAME               3 (argparse)

 12           LOAD_SMALL_INT           0
              LOAD_CONST               2 (None)
              IMPORT_NAME              4 (json)
              STORE_NAME               4 (json)

 13           LOAD_SMALL_INT           0
              LOAD_CONST               3 (('Path',))
              IMPORT_NAME              5 (pathlib)
              IMPORT_FROM              6 (Path)
              STORE_NAME               6 (Path)
              POP_TOP

 14           LOAD_SMALL_INT           0
              LOAD_CONST               4 (('Any',))
              IMPORT_NAME              7 (typing)
              IMPORT_FROM              8 (Any)
              STORE_NAME               8 (Any)
              POP_TOP

 17           LOAD_CONST               5 (<code object __annotate__ at 0x7dd2db681f30, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 17>)
              MAKE_FUNCTION
              LOAD_CONST               6 (<code object load at 0x7dd2db63f4b0, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 17>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME               9 (load)

 24           LOAD_CONST               7 (<code object __annotate__ at 0x7dd2db606e20, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 24>)
              MAKE_FUNCTION
              LOAD_CONST               8 (<code object records at 0x263f96c0, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 24>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME              10 (records)

 40           LOAD_CONST               9 (<code object __annotate__ at 0x7dd2db606a60, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 40>)
              MAKE_FUNCTION
              LOAD_CONST              10 (<code object letter at 0x7dd2db698540, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 40>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME              11 (letter)

 68           LOAD_CONST              11 (<code object __annotate__ at 0x7dd2db606d30, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 68>)
              MAKE_FUNCTION
              LOAD_CONST              12 (<code object clamp at 0x7dd2db681d30, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 68>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME              12 (clamp)

 72           LOAD_CONST              13 (<code object __annotate__ at 0x7dd2db680d30, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 72>)
              MAKE_FUNCTION
              LOAD_CONST              14 (<code object category at 0x7dd2db66f750, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 72>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME              13 (category)

 84           LOAD_CONST              15 (<code object __annotate__ at 0x7dd2db6072d0, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 84>)
              MAKE_FUNCTION
              LOAD_CONST              16 (<code object evaluate at 0x264bd760, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 84>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME              14 (evaluate)

266           LOAD_CONST              17 (<code object __annotate__ at 0x7dd2db6073c0, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 266>)
              MAKE_FUNCTION
              LOAD_CONST              18 (<code object main at 0x263f8830, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 266>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME              15 (main)

280           LOAD_NAME               16 (__name__)
              LOAD_CONST              19 ('__main__')
              COMPARE_OP              88 (bool(==))
              POP_JUMP_IF_FALSE       14 (to L1)
              NOT_TAKEN

281           LOAD_NAME               17 (SystemExit)
              PUSH_NULL
              LOAD_NAME               15 (main)
              PUSH_NULL
              CALL                     0
              CALL                     1
              RAISE_VARARGS            1

280   L1:     LOAD_CONST               2 (None)
              RETURN_VALUE

======================================================================
# code object: __annotate__  args=('format',)
 17           RESUME                   0
              LOAD_FAST_BORROW         0 (format)
              LOAD_SMALL_INT           2
              COMPARE_OP             132 (>)
              POP_JUMP_IF_FALSE        3 (to L1)
              NOT_TAKEN
              LOAD_COMMON_CONSTANT     1 (NotImplementedError)
              RAISE_VARARGS            1
      L1:     LOAD_CONST               1 ('path')
              LOAD_CONST               2 ('Path')
              LOAD_CONST               3 ('default')
              LOAD_CONST               4 ('Any')
              LOAD_CONST               5 ('return')
              LOAD_CONST               4 ('Any')
              BUILD_MAP                3
              RETURN_VALUE

======================================================================
# code object: load  args=('path', 'default')
# DOCSTRING: 'utf-8'
  17           RESUME                   0

  18           NOP

  19   L1:     LOAD_GLOBAL              0 (json)
               LOAD_ATTR                2 (loads)
               PUSH_NULL
               LOAD_FAST_BORROW         0 (path)
               LOAD_ATTR                5 (read_text + NULL|self)
               LOAD_CONST               0 ('utf-8')
               LOAD_CONST               1 (('encoding',))
               CALL_KW                  1
               CALL                     1
       L2:     RETURN_VALUE

  --   L3:     PUSH_EXC_INFO

  20           LOAD_GLOBAL              6 (Exception)
               CHECK_EXC_MATCH
               POP_JUMP_IF_FALSE        6 (to L5)
               NOT_TAKEN
               POP_TOP

  21           LOAD_FAST                1 (default)
               SWAP                     2
       L4:     POP_EXCEPT
               RETURN_VALUE

  20   L5:     RERAISE                  0

  --   L6:     COPY                     3
               POP_EXCEPT
               RERAISE                  1
ExceptionTable:
  L1 to L2 -> L3 [0]
  L3 to L4 -> L6 [1] lasti
  L5 to L6 -> L6 [1] lasti

======================================================================
# code object: __annotate__  args=('format',)
 24           RESUME                   0
              LOAD_FAST_BORROW         0 (format)
              LOAD_SMALL_INT           2
              COMPARE_OP             132 (>)
              POP_JUMP_IF_FALSE        3 (to L1)
              NOT_TAKEN
              LOAD_COMMON_CONSTANT     1 (NotImplementedError)
              RAISE_VARARGS            1
      L1:     LOAD_CONST               1 ('path')
              LOAD_CONST               2 ('Path')
              LOAD_CONST               3 ('return')
              LOAD_CONST               4 ('list[dict]')
              BUILD_MAP                2
              RETURN_VALUE

======================================================================
# code object: records  args=('path',)
# DOCSTRING: '.jsonl'
  24            RESUME                   0

  25            LOAD_FAST_BORROW         0 (path)
                LOAD_ATTR                0 (suffix)
                LOAD_CONST               0 ('.jsonl')
                COMPARE_OP              88 (bool(==))
                POP_JUMP_IF_FALSE      132 (to L9)
                NOT_TAKEN

  26            NOP

  27    L1:     BUILD_LIST               0
                STORE_FAST               1 (out)

  28            LOAD_FAST_BORROW         0 (path)
                LOAD_ATTR                3 (read_text + NULL|self)
                LOAD_CONST               1 ('utf-8')
                LOAD_CONST               2 (('encoding',))
                CALL_KW                  1
                LOAD_ATTR                5 (splitlines + NULL|self)
                CALL                     0
                GET_ITER
        L2:     FOR_ITER                90 (to L7)
                STORE_FAST               2 (line)

  29            LOAD_FAST_BORROW         2 (line)
                LOAD_ATTR                7 (strip + NULL|self)
                CALL                     0
                TO_BOOL
        L3:     POP_JUMP_IF_TRUE         3 (to L4)
                NOT_TAKEN
                JUMP_BACKWARD           27 (to L2)

  30    L4:     LOAD_GLOBAL              8 (json)
                LOAD_ATTR               10 (loads)
                PUSH_NULL
                LOAD_FAST_BORROW         2 (line)
                CALL                     1
                STORE_FAST               3 (rec)

  31            LOAD_GLOBAL             13 (isinstance + NULL)
                LOAD_FAST_BORROW         3 (rec)
                LOAD_GLOBAL             14 (dict)
                CALL                     2
                TO_BOOL
        L5:     POP_JUMP_IF_TRUE         3 (to L6)
                NOT_TAKEN
                JUMP_BACKWARD           73 (to L2)

  32    L6:     LOAD_FAST_BORROW         1 (out)
                LOAD_ATTR               17 (append + NULL|self)
                LOAD_FAST_BORROW         3 (rec)
                CALL                     1
                POP_TOP
                JUMP_BACKWARD           92 (to L2)

  28    L7:     END_FOR
                POP_ITER

  33            LOAD_FAST_BORROW         1 (out)
        L8:     RETURN_VALUE

  36    L9:     LOAD_GLOBAL             21 (load + NULL)
                LOAD_FAST_BORROW         0 (path)
                BUILD_LIST               0
                CALL                     2
                STORE_FAST               4 (data)

  37            LOAD_GLOBAL             13 (isinstance + NULL)
                LOAD_FAST_BORROW         4 (data)
                LOAD_GLOBAL             22 (list)
                CALL                     2
                TO_BOOL
                POP_JUMP_IF_FALSE       43 (to L16)
                NOT_TAKEN
                LOAD_FAST_BORROW         4 (data)
                GET_ITER
                LOAD_FAST_AND_CLEAR      5 (x)
                SWAP                     2
       L10:     BUILD_LIST               0
                SWAP                     2
       L11:     FOR_ITER                29 (to L14)
                STORE_FAST               5 (x)
                LOAD_GLOBAL             13 (isinstance + NULL)
                LOAD_FAST_BORROW         5 (x)
                LOAD_GLOBAL             14 (dict)
                CALL                     2
                TO_BOOL
       L12:     POP_JUMP_IF_TRUE         3 (to L13)
                NOT_TAKEN
                JUMP_BACKWARD           27 (to L11)
       L13:     LOAD_FAST_BORROW         5 (x)
                LIST_APPEND              2
                JUMP_BACKWARD           31 (to L11)
       L14:     END_FOR
                POP_ITER
       L15:     SWAP                     2
                STORE_FAST               5 (x)
                RETURN_VALUE
       L16:     BUILD_LIST               0
                RETURN_VALUE

  --   L17:     PUSH_EXC_INFO

  34            LOAD_GLOBAL             18 (Exception)
                CHECK_EXC_MATCH
                POP_JUMP_IF_FALSE        6 (to L19)
                NOT_TAKEN
                POP_TOP

  35            BUILD_LIST               0
                SWAP                     2
       L18:     POP_EXCEPT
                RETURN_VALUE

  34   L19:     RERAISE                  0

  --   L20:     COPY                     3
                POP_EXCEPT
                RERAISE                  1
       L21:     SWAP                     2
                POP_TOP

  37            SWAP                     2
                STORE_FAST               5 (x)
                RERAISE                  0
ExceptionTable:
  L1 to L3 -> L17 [0]
  L4 to L5 -> L17 [0]
  L6 to L8 -> L17 [0]
  L10 to L12 -> L21 [2]
  L13 to L15 -> L21 [2]
  L17 to L18 -> L20 [1] lasti
  L19 to L20 -> L20 [1] lasti

======================================================================
# code object: __annotate__  args=('format',)
 40           RESUME                   0
              LOAD_FAST_BORROW         0 (format)
              LOAD_SMALL_INT           2
              COMPARE_OP             132 (>)
              POP_JUMP_IF_FALSE        3 (to L1)
              NOT_TAKEN
              LOAD_COMMON_CONSTANT     1 (NotImplementedError)
              RAISE_VARARGS            1
      L1:     LOAD_CONST               1 ('score')
              LOAD_CONST               2 ('int')
              LOAD_CONST               3 ('return')
              LOAD_CONST               4 ('str')
              BUILD_MAP                2
              RETURN_VALUE

======================================================================
# code object: letter  args=('score',)
 40            RESUME                   0

 41            LOAD_FAST_BORROW         0 (score)
               LOAD_SMALL_INT          97
               COMPARE_OP             188 (bool(>=))
               POP_JUMP_IF_FALSE        3 (to L1)
               NOT_TAKEN

 42            LOAD_CONST               1 ('A+')
               RETURN_VALUE

 43    L1:     LOAD_FAST_BORROW         0 (score)
               LOAD_SMALL_INT          93
               COMPARE_OP             188 (bool(>=))
               POP_JUMP_IF_FALSE        3 (to L2)
               NOT_TAKEN

 44            LOAD_CONST               2 ('A')
               RETURN_VALUE

 45    L2:     LOAD_FAST_BORROW         0 (score)
               LOAD_SMALL_INT          90
               COMPARE_OP             188 (bool(>=))
               POP_JUMP_IF_FALSE        3 (to L3)
               NOT_TAKEN

 46            LOAD_CONST               3 ('A-')
               RETURN_VALUE

 47    L3:     LOAD_FAST_BORROW         0 (score)
               LOAD_SMALL_INT          87
               COMPARE_OP             188 (bool(>=))
               POP_JUMP_IF_FALSE        3 (to L4)
               NOT_TAKEN

 48            LOAD_CONST               4 ('B+')
               RETURN_VALUE

 49    L4:     LOAD_FAST_BORROW         0 (score)
               LOAD_SMALL_INT          83
               COMPARE_OP             188 (bool(>=))
               POP_JUMP_IF_FALSE        3 (to L5)
               NOT_TAKEN

 50            LOAD_CONST               5 ('B')
               RETURN_VALUE

 51    L5:     LOAD_FAST_BORROW         0 (score)
               LOAD_SMALL_INT          80
               COMPARE_OP             188 (bool(>=))
               POP_JUMP_IF_FALSE        3 (to L6)
               NOT_TAKEN

 52            LOAD_CONST               6 ('B-')
               RETURN_VALUE

 53    L6:     LOAD_FAST_BORROW         0 (score)
               LOAD_SMALL_INT          77
               COMPARE_OP             188 (bool(>=))
               POP_JUMP_IF_FALSE        3 (to L7)
               NOT_TAKEN

 54            LOAD_CONST               7 ('C+')
               RETURN_VALUE

 55    L7:     LOAD_FAST_BORROW         0 (score)
               LOAD_SMALL_INT          73
               COMPARE_OP             188 (bool(>=))
               POP_JUMP_IF_FALSE        3 (to L8)
               NOT_TAKEN

 56            LOAD_CONST               8 ('C')
               RETURN_VALUE

 57    L8:     LOAD_FAST_BORROW         0 (score)
               LOAD_SMALL_INT          70
               COMPARE_OP             188 (bool(>=))
               POP_JUMP_IF_FALSE        3 (to L9)
               NOT_TAKEN

 58            LOAD_CONST               9 ('C-')
               RETURN_VALUE

 59    L9:     LOAD_FAST_BORROW         0 (score)
               LOAD_SMALL_INT          67
               COMPARE_OP             188 (bool(>=))
               POP_JUMP_IF_FALSE        3 (to L10)
               NOT_TAKEN

 60            LOAD_CONST              10 ('D+')
               RETURN_VALUE

 61   L10:     LOAD_FAST_BORROW         0 (score)
               LOAD_SMALL_INT          63
               COMPARE_OP             188 (bool(>=))
               POP_JUMP_IF_FALSE        3 (to L11)
               NOT_TAKEN

 62            LOAD_CONST              11 ('D')
               RETURN_VALUE

 63   L11:     LOAD_FAST_BORROW         0 (score)
               LOAD_SMALL_INT          60
               COMPARE_OP             188 (bool(>=))
               POP_JUMP_IF_FALSE        3 (to L12)
               NOT_TAKEN

 64            LOAD_CONST              12 ('D-')
               RETURN_VALUE

 65   L12:     LOAD_CONST              13 ('F')
               RETURN_VALUE

======================================================================
# code object: __annotate__  args=('format',)
 68           RESUME                   0
              LOAD_FAST_BORROW         0 (format)
              LOAD_SMALL_INT           2
              COMPARE_OP             132 (>)
              POP_JUMP_IF_FALSE        3 (to L1)
              NOT_TAKEN
              LOAD_COMMON_CONSTANT     1 (NotImplementedError)
              RAISE_VARARGS            1
      L1:     LOAD_CONST               1 ('score')
              LOAD_CONST               2 ('int')
              LOAD_CONST               3 ('return')
              LOAD_CONST               2 ('int')
              BUILD_MAP                2
              RETURN_VALUE

======================================================================
# code object: clamp  args=('score',)
 68           RESUME                   0

 69           LOAD_GLOBAL              1 (max + NULL)
              LOAD_SMALL_INT           0
              LOAD_GLOBAL              3 (min + NULL)
              LOAD_SMALL_INT         100
              LOAD_FAST_BORROW         0 (score)
              CALL                     2
              CALL                     2
              RETURN_VALUE

======================================================================
# code object: __annotate__  args=('format',)
 72           RESUME                   0
              LOAD_FAST_BORROW         0 (format)
              LOAD_SMALL_INT           2
              COMPARE_OP             132 (>)
              POP_JUMP_IF_FALSE        3 (to L1)
              NOT_TAKEN
              LOAD_COMMON_CONSTANT     1 (NotImplementedError)
              RAISE_VARARGS            1
      L1:     LOAD_CONST               1 ('name')
              LOAD_CONST               2 ('str')
              LOAD_CONST               3 ('score')
              LOAD_CONST               4 ('int')
              LOAD_CONST               5 ('strengths')
              LOAD_CONST               6 ('list[str]')
              LOAD_CONST               7 ('flaws')
              LOAD_CONST               6 ('list[str]')
              LOAD_CONST               8 ('next_actions')
              LOAD_CONST               6 ('list[str]')
              LOAD_CONST               9 ('return')
              LOAD_CONST              10 ('dict')
              BUILD_MAP                6
              RETURN_VALUE

======================================================================
# code object: category  args=('name', 'score', 'strengths', 'flaws', 'next_actions')
# DOCSTRING: 'category'
 72           RESUME                   0

 73           LOAD_GLOBAL              1 (clamp + NULL)
              LOAD_FAST_BORROW         1 (score)
              CALL                     1
              STORE_FAST               1 (score)

 75           LOAD_CONST               0 ('category')
              LOAD_FAST_BORROW         0 (name)

 76           LOAD_CONST               1 ('score')
              LOAD_FAST_BORROW         1 (score)

 77           LOAD_CONST               2 ('grade')
              LOAD_GLOBAL              3 (letter + NULL)
              LOAD_FAST_BORROW         1 (score)
              CALL                     1

 78           LOAD_CONST               3 ('strengths')
              LOAD_FAST_BORROW         2 (strengths)

 79           LOAD_CONST               4 ('flaws')
              LOAD_FAST_BORROW         3 (flaws)

 80           LOAD_CONST               5 ('next_actions')
              LOAD_FAST_BORROW         4 (next_actions)

 74           BUILD_MAP                6
              RETURN_VALUE

======================================================================
# code object: __annotate__  args=('format',)
 84           RESUME                   0
              LOAD_FAST_BORROW         0 (format)
              LOAD_SMALL_INT           2
              COMPARE_OP             132 (>)
              POP_JUMP_IF_FALSE        3 (to L1)
              NOT_TAKEN
              LOAD_COMMON_CONSTANT     1 (NotImplementedError)
              RAISE_VARARGS            1
      L1:     LOAD_CONST               1 ('run')
              LOAD_CONST               2 ('Path')
              LOAD_CONST               3 ('return')
              LOAD_CONST               4 ('dict')
              BUILD_MAP                2
              RETURN_VALUE

======================================================================
# code object: evaluate  args=('run',)
# DOCSTRING: 'proof_dependency_dag.json'
  84            RESUME                   0

  85            LOAD_GLOBAL              1 (records + NULL)
                LOAD_FAST_BORROW         0 (run)
                LOAD_CONST               0 ('proof_dependency_dag.json')
                BINARY_OP               11 (/)
                CALL                     1
                STORE_FAST               1 (dag)

  86            LOAD_GLOBAL              1 (records + NULL)
                LOAD_FAST_BORROW         0 (run)
                LOAD_CONST               1 ('actual_lemma_queue.json')
                BINARY_OP               11 (/)
                CALL                     1
                STORE_FAST               2 (queue)

  87            LOAD_GLOBAL              1 (records + NULL)
                LOAD_FAST_BORROW         0 (run)
                LOAD_CONST               2 ('worker_results.json')
                BINARY_OP               11 (/)
                CALL                     1
                STORE_FAST               3 (workers)

  88            LOAD_GLOBAL              1 (records + NULL)
                LOAD_FAST_BORROW         0 (run)
                LOAD_CONST               3 ('formalization_results.json')
                BINARY_OP               11 (/)
                CALL                     1
                STORE_FAST               4 (formal)

  89            LOAD_GLOBAL              1 (records + NULL)
                LOAD_FAST_BORROW         0 (run)
                LOAD_CONST               4 ('skeptic_reviews.json')
                BINARY_OP               11 (/)
                CALL                     1
                STORE_FAST               5 (skeptic)

  90            LOAD_GLOBAL              1 (records + NULL)
                LOAD_FAST_BORROW         0 (run)
                LOAD_CONST               5 ('mutation_ledger.json')
                BINARY_OP               11 (/)
                CALL                     1
                LOAD_GLOBAL              1 (records + NULL)
                LOAD_FAST_BORROW         0 (run)
                LOAD_CONST               6 ('mutation_candidates.json')
                BINARY_OP               11 (/)
                CALL                     1
                BINARY_OP                0 (+)
                STORE_FAST               6 (mutations)

  91            LOAD_GLOBAL              1 (records + NULL)
                LOAD_FAST_BORROW         0 (run)
                LOAD_CONST               7 ('literature_findings.json')
                BINARY_OP               11 (/)
                CALL                     1
                STORE_FAST               7 (lit)

  92            LOAD_GLOBAL              1 (records + NULL)
                LOAD_FAST_BORROW         0 (run)
                LOAD_CONST               8 ('theorem_precondition_audit.json')
                BINARY_OP               11 (/)
                CALL                     1
                STORE_FAST               8 (theorem_audit)

  93            LOAD_GLOBAL              1 (records + NULL)
                LOAD_FAST_BORROW         0 (run)
                LOAD_CONST               9 ('product_selection.json')
                BINARY_OP               11 (/)
                CALL                     1
                STORE_FAST               9 (products)

  94            LOAD_GLOBAL              1 (records + NULL)
                LOAD_FAST_BORROW         0 (run)
                LOAD_CONST              10 ('bus')
                BINARY_OP               11 (/)
                LOAD_CONST              11 ('applied.jsonl')
                BINARY_OP               11 (/)
                CALL                     1
                STORE_FAST              10 (bus_applied)

  96            LOAD_FAST_BORROW         1 (dag)
                GET_ITER
                LOAD_FAST_AND_CLEAR     11 (n)
                SWAP                     2
        L1:     BUILD_LIST               0
                SWAP                     2
        L2:     FOR_ITER                29 (to L5)
                STORE_FAST_LOAD_FAST   187 (n, n)
                LOAD_ATTR                3 (get + NULL|self)
                LOAD_CONST              12 ('lean_statement')
                CALL                     1
                TO_BOOL
        L3:     POP_JUMP_IF_TRUE         3 (to L4)
                NOT_TAKEN
                JUMP_BACKWARD           27 (to L2)
        L4:     LOAD_FAST_BORROW        11 (n)
                LIST_APPEND              2
                JUMP_BACKWARD           31 (to L2)
        L5:     END_FOR
                POP_ITER
        L6:     STORE_FAST              12 (lean_nodes)
                STORE_FAST              11 (n)

  97            LOAD_FAST_BORROW         3 (workers)
                GET_ITER
                LOAD_FAST_AND_CLEAR     13 (w)
                SWAP                     2
        L7:     BUILD_LIST               0
                SWAP                     2
        L8:     FOR_ITER                62 (to L14)
                STORE_FAST              13 (w)
                LOAD_GLOBAL              5 (str + NULL)
                LOAD_FAST_BORROW        13 (w)
                LOAD_ATTR                3 (get + NULL|self)
                LOAD_CONST              13 ('status')
                CALL                     1
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE         3 (to L11)
        L9:     NOT_TAKEN
       L10:     POP_TOP
                LOAD_CONST              14 ('')
       L11:     CALL                     1
                LOAD_ATTR                7 (upper + NULL|self)
                CALL                     0
                LOAD_CONST              96 (frozenset({'CHECKED', 'VERIFIED', 'VERIFIED_LEAN'}))
                CONTAINS_OP              0 (in)
       L12:     POP_JUMP_IF_TRUE         3 (to L13)
                NOT_TAKEN
                JUMP_BACKWARD           60 (to L8)
       L13:     LOAD_FAST_BORROW        13 (w)
                LIST_APPEND              2
                JUMP_BACKWARD           64 (to L8)
       L14:     END_FOR
                POP_ITER
       L15:     STORE_FAST              14 (checked_workers)
                STORE_FAST              13 (w)

  98            LOAD_FAST_BORROW         1 (dag)
                GET_ITER
                LOAD_FAST_AND_CLEAR     11 (n)
                SWAP                     2
       L16:     BUILD_LIST               0
                SWAP                     2
       L17:     FOR_ITER                62 (to L23)
                STORE_FAST              11 (n)
                LOAD_GLOBAL              5 (str + NULL)
                LOAD_FAST_BORROW        11 (n)
                LOAD_ATTR                3 (get + NULL|self)
                LOAD_CONST              13 ('status')
                CALL                     1
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE         3 (to L20)
       L18:     NOT_TAKEN
       L19:     POP_TOP
                LOAD_CONST              15 ('OPEN')
       L20:     CALL                     1
                LOAD_ATTR                7 (upper + NULL|self)
                CALL                     0
                LOAD_CONST              97 (frozenset({'CHECKED', 'REJECTED', 'VERIFIED', 'VERIFIED_LEAN'}))
                CONTAINS_OP              1 (not in)
       L21:     POP_JUMP_IF_TRUE         3 (to L22)
                NOT_TAKEN
                JUMP_BACKWARD           60 (to L17)
       L22:     LOAD_FAST_BORROW        11 (n)
                LIST_APPEND              2
                JUMP_BACKWARD           64 (to L17)
       L23:     END_FOR
                POP_ITER
       L24:     STORE_FAST              15 (open_nodes)
                STORE_FAST              11 (n)

 100            LOAD_FAST_BORROW         2 (queue)
                GET_ITER

  99            LOAD_FAST_AND_CLEAR     16 (q)
                SWAP                     2
       L25:     BUILD_LIST               0
                SWAP                     2

 100   L26:     FOR_ITER                80 (to L33)
                STORE_FAST              16 (q)

 101            LOAD_FAST_BORROW        16 (q)
                LOAD_ATTR                3 (get + NULL|self)
                LOAD_CONST              16 ('why_it_matters')
                CALL                     1
                TO_BOOL

 100   L27:     POP_JUMP_IF_TRUE         3 (to L28)
                NOT_TAKEN
                JUMP_BACKWARD           28 (to L26)

 101   L28:     LOAD_FAST_BORROW        16 (q)
                LOAD_ATTR                3 (get + NULL|self)
                LOAD_CONST              17 ('unlocks')
                CALL                     1
                TO_BOOL

 100   L29:     POP_JUMP_IF_TRUE         3 (to L30)
                NOT_TAKEN
                JUMP_BACKWARD           53 (to L26)

 101   L30:     LOAD_FAST_BORROW        16 (q)
                LOAD_ATTR                3 (get + NULL|self)
                LOAD_CONST              18 ('smallest_formalizable_subcase')
                CALL                     1
                TO_BOOL

 100   L31:     POP_JUMP_IF_TRUE         3 (to L32)
                NOT_TAKEN
                JUMP_BACKWARD           78 (to L26)
       L32:     LOAD_FAST_BORROW        16 (q)
                LIST_APPEND              2
                JUMP_BACKWARD           82 (to L26)
       L33:     END_FOR
                POP_ITER

  99   L34:     STORE_FAST              17 (queue_ready)
                STORE_FAST              16 (q)

 104            LOAD_FAST_BORROW         8 (theorem_audit)
                GET_ITER

 103            LOAD_FAST_AND_CLEAR     18 (r)
                SWAP                     2
       L35:     BUILD_LIST               0
                SWAP                     2

 104   L36:     FOR_ITER                89 (to L44)
                STORE_FAST              18 (r)

 105            LOAD_FAST_BORROW        18 (r)
                LOAD_ATTR                3 (get + NULL|self)
                LOAD_CONST              19 ('source')
                CALL                     1
                TO_BOOL

 104   L37:     POP_JUMP_IF_TRUE         3 (to L38)
                NOT_TAKEN
                JUMP_BACKWARD           28 (to L36)

 105   L38:     LOAD_GLOBAL              5 (str + NULL)
                LOAD_FAST_BORROW        18 (r)
                LOAD_ATTR                3 (get + NULL|self)
                LOAD_CONST              20 ('exact_statement')
                CALL                     1
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE         3 (to L41)
       L39:     NOT_TAKEN
       L40:     POP_TOP
                LOAD_CONST              14 ('')
       L41:     CALL                     1
                LOAD_ATTR                9 (startswith + NULL|self)
                LOAD_CONST              21 ('PENDING')
                CALL                     1
                TO_BOOL

 104   L42:     POP_JUMP_IF_FALSE        3 (to L43)
                NOT_TAKEN
                JUMP_BACKWARD           87 (to L36)
       L43:     LOAD_FAST_BORROW        18 (r)
                LIST_APPEND              2
                JUMP_BACKWARD           91 (to L36)
       L44:     END_FOR
                POP_ITER

 103   L45:     STORE_FAST              19 (real_audit_rows)
                STORE_FAST              18 (r)

 108            LOAD_SMALL_INT          45
                STORE_FAST              20 (explorer_score)

 109            BUILD_LIST               0
                STORE_FAST              21 (explorer_strengths)

 110            BUILD_LIST               0
                STORE_FAST              22 (explorer_flaws)

 111            LOAD_FAST_BORROW         1 (dag)
                TO_BOOL
                POP_JUMP_IF_FALSE       28 (to L46)
                NOT_TAKEN

 112            LOAD_FAST_BORROW        20 (explorer_score)
                LOAD_SMALL_INT          12
                BINARY_OP               13 (+=)
                STORE_FAST              20 (explorer_score)

 113            LOAD_FAST_BORROW        21 (explorer_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              22 ('proof DAG exists')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            17 (to L47)

 115   L46:     LOAD_FAST_BORROW        22 (explorer_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              23 ('no proof DAG')
                CALL                     1
                POP_TOP

 116   L47:     LOAD_FAST_BORROW         2 (queue)
                TO_BOOL
                POP_JUMP_IF_FALSE       53 (to L48)
                NOT_TAKEN
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW        17 (queue_ready)
                CALL                     1
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW         2 (queue)
                CALL                     1
                COMPARE_OP              88 (bool(==))
                POP_JUMP_IF_FALSE       28 (to L48)
                NOT_TAKEN

 117            LOAD_FAST_BORROW        20 (explorer_score)
                LOAD_SMALL_INT          18
                BINARY_OP               13 (+=)
                STORE_FAST              20 (explorer_score)

 118            LOAD_FAST_BORROW        21 (explorer_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              24 ('queue items are orchestrator-ready')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            52 (to L50)

 119   L48:     LOAD_FAST_BORROW        17 (queue_ready)
                TO_BOOL
                POP_JUMP_IF_FALSE       28 (to L49)
                NOT_TAKEN

 120            LOAD_FAST_BORROW        20 (explorer_score)
                LOAD_SMALL_INT          10
                BINARY_OP               13 (+=)
                STORE_FAST              20 (explorer_score)

 121            LOAD_FAST_BORROW        22 (explorer_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              25 ('some queue items still lack why/unlocks/smallest subcase')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            17 (to L50)

 123   L49:     LOAD_FAST_BORROW        22 (explorer_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              26 ('queue lacks orchestrator-ready metadata')
                CALL                     1
                POP_TOP

 124   L50:     LOAD_FAST_BORROW         6 (mutations)
                TO_BOOL
                POP_JUMP_IF_FALSE       28 (to L51)
                NOT_TAKEN

 125            LOAD_FAST_BORROW        20 (explorer_score)
                LOAD_SMALL_INT          10
                BINARY_OP               13 (+=)
                STORE_FAST              20 (explorer_score)

 126            LOAD_FAST_BORROW        21 (explorer_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              27 ('mutation/failure loop exists')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            17 (to L52)

 128   L51:     LOAD_FAST_BORROW        22 (explorer_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              28 ('no mutation ledger/candidates')
                CALL                     1
                POP_TOP

 129   L52:     LOAD_FAST_BORROW         9 (products)
                TO_BOOL
                POP_JUMP_IF_FALSE       28 (to L53)
                NOT_TAKEN

 130            LOAD_FAST_BORROW        20 (explorer_score)
                LOAD_SMALL_INT           8
                BINARY_OP               13 (+=)
                STORE_FAST              20 (explorer_score)

 131            LOAD_FAST_BORROW        21 (explorer_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              29 ('research product selection exists')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            17 (to L54)

 133   L53:     LOAD_FAST_BORROW        22 (explorer_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              30 ('no selected partial product')
                CALL                     1
                POP_TOP

 135   L54:     LOAD_SMALL_INT          50
                STORE_FAST              23 (gen_wit_score)

 136            BUILD_LIST               0
                STORE_FAST              24 (gen_wit_strengths)

 137            BUILD_LIST               0
                STORE_FAST              25 (gen_wit_flaws)

 138            LOAD_FAST_BORROW        17 (queue_ready)
                TO_BOOL
                POP_JUMP_IF_FALSE       28 (to L55)
                NOT_TAKEN

 139            LOAD_FAST_BORROW        23 (gen_wit_score)
                LOAD_SMALL_INT          15
                BINARY_OP               13 (+=)
                STORE_FAST              23 (gen_wit_score)

 140            LOAD_FAST_BORROW        24 (gen_wit_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              31 ('WIT-style queue artifacts carry target relevance and unlocks')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            17 (to L56)

 142   L55:     LOAD_FAST_BORROW        25 (gen_wit_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              32 ('generated WIT artifacts are too vague')
                CALL                     1
                POP_TOP

 143   L56:     LOAD_FAST_BORROW         6 (mutations)
                TO_BOOL
                POP_JUMP_IF_FALSE       27 (to L57)
                NOT_TAKEN

 144            LOAD_FAST_BORROW        23 (gen_wit_score)
                LOAD_SMALL_INT          10
                BINARY_OP               13 (+=)
                STORE_FAST              23 (gen_wit_score)

 145            LOAD_FAST_BORROW        24 (gen_wit_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              33 ('generated mutations are recorded')
                CALL                     1
                POP_TOP

 146   L57:     LOAD_FAST_BORROW         0 (run)
                LOAD_CONST              34 ('generator_artifacts.json')
                BINARY_OP               11 (/)
                LOAD_ATTR               15 (exists + NULL|self)
                CALL                     0
                TO_BOOL
                POP_JUMP_IF_TRUE        30 (to L58)
                NOT_TAKEN
                LOAD_FAST_BORROW         0 (run)
                LOAD_CONST              35 ('witsoc_artifacts.json')
                BINARY_OP               11 (/)
                LOAD_ATTR               15 (exists + NULL|self)
                CALL                     0
                TO_BOOL
                POP_JUMP_IF_FALSE       28 (to L59)
                NOT_TAKEN

 147   L58:     LOAD_FAST_BORROW        23 (gen_wit_score)
                LOAD_SMALL_INT          10
                BINARY_OP               13 (+=)
                STORE_FAST              23 (gen_wit_score)

 148            LOAD_FAST_BORROW        24 (gen_wit_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              36 ('artifact registry exists')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            17 (to L60)

 150   L59:     LOAD_FAST_BORROW        25 (gen_wit_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              37 ('no generator artifact registry')
                CALL                     1
                POP_TOP

 151   L60:     LOAD_FAST_BORROW         9 (products)
                TO_BOOL
                POP_JUMP_IF_FALSE       11 (to L61)
                NOT_TAKEN

 152            LOAD_FAST_BORROW        23 (gen_wit_score)
                LOAD_SMALL_INT           8
                BINARY_OP               13 (+=)
                STORE_FAST              23 (gen_wit_score)
                JUMP_FORWARD            17 (to L62)

 154   L61:     LOAD_FAST_BORROW        25 (gen_wit_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              38 ('no explicit output product')
                CALL                     1
                POP_TOP

 156   L62:     LOAD_SMALL_INT          40
                STORE_FAST              26 (gen_lean_score)

 157            BUILD_LIST               0
                STORE_FAST              27 (gen_lean_strengths)

 158            BUILD_LIST               0
                STORE_FAST              28 (gen_lean_flaws)

 159            LOAD_FAST_BORROW         1 (dag)
                TO_BOOL
                POP_JUMP_IF_FALSE      121 (to L64)
                NOT_TAKEN

 160            LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW        12 (lean_nodes)
                CALL                     1
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW         1 (dag)
                CALL                     1
                BINARY_OP               11 (/)
                STORE_FAST              29 (ratio)

 161            LOAD_FAST_BORROW        26 (gen_lean_score)
                LOAD_GLOBAL             17 (int + NULL)
                LOAD_SMALL_INT          25
                LOAD_FAST_BORROW        29 (ratio)
                BINARY_OP                5 (*)
                CALL                     1
                BINARY_OP               13 (+=)
                STORE_FAST              26 (gen_lean_score)

 162            LOAD_FAST_BORROW        29 (ratio)
                LOAD_CONST              39 (0.5)
                COMPARE_OP             188 (bool(>=))
                POP_JUMP_IF_FALSE       19 (to L63)
                NOT_TAKEN

 163            LOAD_FAST_BORROW        27 (gen_lean_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              40 ('many DAG nodes have Lean statements')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            60 (to L65)

 165   L63:     LOAD_FAST_BORROW        28 (gen_lean_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              41 ('low Lean coverage: ')
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW        12 (lean_nodes)
                CALL                     1
                FORMAT_SIMPLE
                LOAD_CONST              42 ('/')
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW         1 (dag)
                CALL                     1
                FORMAT_SIMPLE
                LOAD_CONST              43 (' DAG nodes')
                BUILD_STRING             5
                CALL                     1
                POP_TOP
                JUMP_FORWARD            17 (to L65)

 167   L64:     LOAD_FAST_BORROW        28 (gen_lean_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              44 ('no DAG to formalize')
                CALL                     1
                POP_TOP

 168   L65:     LOAD_FAST_BORROW         4 (formal)
                TO_BOOL
                POP_JUMP_IF_FALSE       95 (to L72)
                NOT_TAKEN

 169            LOAD_FAST_BORROW         4 (formal)
                GET_ITER
                LOAD_FAST_AND_CLEAR     30 (f)
                SWAP                     2
       L66:     BUILD_LIST               0
                SWAP                     2
       L67:     FOR_ITER                29 (to L70)
                STORE_FAST              30 (f)
                LOAD_FAST_BORROW        30 (f)
                LOAD_ATTR                3 (get + NULL|self)
                LOAD_CONST              13 ('status')
                CALL                     1
                LOAD_CONST              45 ('FORMALIZED')
                COMPARE_OP              88 (bool(==))
       L68:     POP_JUMP_IF_TRUE         3 (to L69)
                NOT_TAKEN
                JUMP_BACKWARD           27 (to L67)
       L69:     LOAD_FAST_BORROW        30 (f)
                LIST_APPEND              2
                JUMP_BACKWARD           31 (to L67)
       L70:     END_FOR
                POP_ITER
       L71:     STORE_FAST              31 (ok)
                STORE_FAST              30 (f)

 170            LOAD_FAST_BORROW        26 (gen_lean_score)
                LOAD_GLOBAL             19 (min + NULL)
                LOAD_SMALL_INT          15
                LOAD_SMALL_INT           5
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW        31 (ok)
                CALL                     1
                BINARY_OP                5 (*)
                CALL                     2
                BINARY_OP               13 (+=)
                STORE_FAST              26 (gen_lean_score)

 171            LOAD_FAST_BORROW        27 (gen_lean_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              46 ('formalization bus results exist')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            17 (to L73)

 173   L72:     LOAD_FAST_BORROW        28 (gen_lean_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              47 ('no formalization result ledger')
                CALL                     1
                POP_TOP

 174   L73:     LOAD_FAST_BORROW        14 (checked_workers)
                TO_BOOL
                POP_JUMP_IF_FALSE       28 (to L74)
                NOT_TAKEN

 175            LOAD_FAST_BORROW        26 (gen_lean_score)
                LOAD_SMALL_INT          15
                BINARY_OP               13 (+=)
                STORE_FAST              26 (gen_lean_score)

 176            LOAD_FAST_BORROW        27 (gen_lean_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              48 ('kernel-checked worker results exist')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            17 (to L75)

 178   L74:     LOAD_FAST_BORROW        28 (gen_lean_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              49 ('no kernel-checked proof result')
                CALL                     1
                POP_TOP

 180   L75:     LOAD_SMALL_INT          40
                STORE_FAST              32 (researcher_score)

 181            BUILD_LIST               0
                STORE_FAST              33 (researcher_strengths)

 182            BUILD_LIST               0
                STORE_FAST              34 (researcher_flaws)

 183            LOAD_FAST_BORROW         8 (theorem_audit)
                TO_BOOL
                POP_JUMP_IF_FALSE       80 (to L77)
                NOT_TAKEN

 184            LOAD_FAST_BORROW        32 (researcher_score)
                LOAD_SMALL_INT          18
                BINARY_OP               13 (+=)
                STORE_FAST              32 (researcher_score)

 185            LOAD_FAST_BORROW        33 (researcher_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              50 ('theorem precondition audit exists')
                CALL                     1
                POP_TOP

 186            LOAD_FAST_BORROW        19 (real_audit_rows)
                TO_BOOL
                POP_JUMP_IF_FALSE       28 (to L76)
                NOT_TAKEN

 187            LOAD_FAST_BORROW        32 (researcher_score)
                LOAD_SMALL_INT          15
                BINARY_OP               13 (+=)
                STORE_FAST              32 (researcher_score)

 188            LOAD_FAST_BORROW        33 (researcher_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              51 ('audit rows contain extracted source-backed exact statements')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            35 (to L78)

 190   L76:     LOAD_FAST_BORROW        34 (researcher_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              52 ('theorem audit remains pointer/pending-read level')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            17 (to L78)

 192   L77:     LOAD_FAST_BORROW        34 (researcher_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              53 ('no theorem precondition audit')
                CALL                     1
                POP_TOP

 193   L78:     LOAD_FAST_BORROW         7 (lit)
                TO_BOOL
                POP_JUMP_IF_FALSE       28 (to L79)
                NOT_TAKEN

 194            LOAD_FAST_BORROW        32 (researcher_score)
                LOAD_SMALL_INT          12
                BINARY_OP               13 (+=)
                STORE_FAST              32 (researcher_score)

 195            LOAD_FAST_BORROW        33 (researcher_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              54 ('literature bus findings recorded')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            17 (to L80)

 197   L79:     LOAD_FAST_BORROW        34 (researcher_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              55 ('no literature findings ledger')
                CALL                     1
                POP_TOP

 199   L80:     LOAD_SMALL_INT          55
                STORE_FAST              35 (orchestrator_score)

 200            BUILD_LIST               0
                STORE_FAST              36 (orchestrator_strengths)

 201            BUILD_LIST               0
                STORE_FAST              37 (orchestrator_flaws)

 202            LOAD_FAST_BORROW         0 (run)
                LOAD_CONST              10 ('bus')
                BINARY_OP               11 (/)
                LOAD_ATTR               15 (exists + NULL|self)
                CALL                     0
                TO_BOOL
                POP_JUMP_IF_FALSE       28 (to L81)
                NOT_TAKEN

 203            LOAD_FAST_BORROW        35 (orchestrator_score)
                LOAD_SMALL_INT          10
                BINARY_OP               13 (+=)
                STORE_FAST              35 (orchestrator_score)

 204            LOAD_FAST_BORROW        36 (orchestrator_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              56 ('bus exists for orchestrator/tool boundary')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            17 (to L82)

 206   L81:     LOAD_FAST_BORROW        37 (orchestrator_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              57 ('no bus surface')
                CALL                     1
                POP_TOP

 207   L82:     LOAD_FAST_BORROW        10 (bus_applied)
                TO_BOOL
                POP_JUMP_IF_FALSE       28 (to L83)
                NOT_TAKEN

 208            LOAD_FAST_BORROW        35 (orchestrator_score)
                LOAD_SMALL_INT          10
                BINARY_OP               13 (+=)
                STORE_FAST              35 (orchestrator_score)

 209            LOAD_FAST_BORROW        36 (orchestrator_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              58 ('bus replies were applied through gates')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            17 (to L84)

 211   L83:     LOAD_FAST_BORROW        37 (orchestrator_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              59 ('no applied bus replies')
                CALL                     1
                POP_TOP

 212   L84:     LOAD_FAST_BORROW         0 (run)
                LOAD_CONST              60 ('run_ledger.sqlite3')
                BINARY_OP               11 (/)
                LOAD_ATTR               15 (exists + NULL|self)
                CALL                     0
                TO_BOOL
                POP_JUMP_IF_TRUE        30 (to L85)
                NOT_TAKEN
                LOAD_FAST_BORROW         0 (run)
                LOAD_CONST              61 ('run_ledger.json')
                BINARY_OP               11 (/)
                LOAD_ATTR               15 (exists + NULL|self)
                CALL                     0
                TO_BOOL
                POP_JUMP_IF_FALSE       28 (to L86)
                NOT_TAKEN

 213   L85:     LOAD_FAST_BORROW        35 (orchestrator_score)
                LOAD_SMALL_INT           8
                BINARY_OP               13 (+=)
                STORE_FAST              35 (orchestrator_score)

 214            LOAD_FAST_BORROW        36 (orchestrator_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              62 ('run ledger exists')
                CALL                     1
                POP_TOP
                JUMP_FORWARD            17 (to L87)

 216   L86:     LOAD_FAST_BORROW        37 (orchestrator_flaws)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              63 ('no unified run ledger artifact')
                CALL                     1
                POP_TOP

 217   L87:     LOAD_FAST_BORROW        15 (open_nodes)
                TO_BOOL
                POP_JUMP_IF_FALSE       18 (to L88)
                NOT_TAKEN

 218            LOAD_FAST_BORROW        36 (orchestrator_strengths)
                LOAD_ATTR               11 (append + NULL|self)
                LOAD_CONST              64 ('open frontier remains visible')
                CALL                     1
                POP_TOP

 221   L88:     LOAD_GLOBAL             21 (category + NULL)
                LOAD_CONST              65 ('Explorer')
                LOAD_FAST_BORROW        20 (explorer_score)
                LOAD_FAST_BORROW        21 (explorer_strengths)
                LOAD_FAST_BORROW        22 (explorer_flaws)

 222            LOAD_CONST              66 ('add attack scorer for invariant/reduction/special-case quality')

 223            LOAD_CONST              67 ('reject duplicate or low-unlock nodes before dispatch')

 221            BUILD_LIST               2
                CALL                     5

 225            LOAD_GLOBAL             21 (category + NULL)
                LOAD_CONST              68 ('Generator WIT')
                LOAD_FAST_BORROW        23 (gen_wit_score)
                LOAD_FAST_BORROW        24 (gen_wit_strengths)
                LOAD_FAST_BORROW        25 (gen_wit_flaws)

 226            LOAD_CONST              69 ('require artifact registry for every generated WIT/Lean product')

 227            LOAD_CONST              70 ('attach executable falsification/evaluation plans to generated objects')

 225            BUILD_LIST               2
                CALL                     5

 229            LOAD_GLOBAL             21 (category + NULL)
                LOAD_CONST              71 ('Generator Lean')
                LOAD_FAST_BORROW        26 (gen_lean_score)
                LOAD_FAST_BORROW        27 (gen_lean_strengths)
                LOAD_FAST_BORROW        28 (gen_lean_flaws)
                BUILD_LIST               0
                LOAD_CONST              98 (('raise Lean coverage with formalize bus specialists', 'add formalization faithfulness/backtranslation gate', 'use retrieval-conditioned proof repair'))
                LIST_EXTEND              1
                CALL                     5

 234            LOAD_GLOBAL             21 (category + NULL)
                LOAD_CONST              72 ('Researcher')
                LOAD_FAST_BORROW        32 (researcher_score)
                LOAD_FAST_BORROW        33 (researcher_strengths)
                LOAD_FAST_BORROW        34 (researcher_flaws)
                BUILD_LIST               0
                LOAD_CONST              99 (('extract exact theorem statements from sources', 'compare source preconditions against target subgoals', 'record mathlib availability for each candidate theorem'))
                LIST_EXTEND              1
                CALL                     5

 239            LOAD_GLOBAL             21 (category + NULL)
                LOAD_CONST              73 ('Orchestrator Interface')
                LOAD_FAST_BORROW        35 (orchestrator_score)
                LOAD_FAST_BORROW        36 (orchestrator_strengths)
                LOAD_FAST_BORROW        37 (orchestrator_flaws)

 240            LOAD_CONST              74 ('add dashboard with pending bus roles and one next action')

 241            LOAD_CONST              75 ('apply skeptic/mutate/literature bus replies through typed ledgers')

 239            BUILD_LIST               2
                CALL                     5

 220            BUILD_LIST               5
                STORE_FAST              38 (cats)

 244            LOAD_GLOBAL             23 (round + NULL)
                LOAD_GLOBAL             25 (sum + NULL)
                LOAD_CONST              76 (<code object <genexpr> at 0x7dd2db6be340, file "strings/skills/witsoc/scripts/skill_scorecard.py", line 244>)
                MAKE_FUNCTION
                LOAD_FAST_BORROW        38 (cats)
                GET_ITER
                CALL                     0
                CALL                     1
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW        38 (cats)
                CALL                     1
                BINARY_OP               11 (/)
                CALL                     1
                STORE_FAST              39 (overall)

 246            LOAD_CONST              77 ('schema')
                LOAD_CONST              78 ('witsoc.skill_scorecard.v1')

 247            LOAD_CONST              79 ('run_dir')
                LOAD_GLOBAL              5 (str + NULL)
                LOAD_FAST_BORROW         0 (run)
                CALL                     1

 248            LOAD_CONST              80 ('overall')
                LOAD_CONST              81 ('score')
                LOAD_FAST_BORROW        39 (overall)
                LOAD_CONST              82 ('grade')
                LOAD_GLOBAL             27 (letter + NULL)
                LOAD_FAST_BORROW        39 (overall)
                CALL                     1
                BUILD_MAP                2

 249            LOAD_CONST              83 ('categories')
                LOAD_FAST_BORROW        38 (cats)

 250            LOAD_CONST              84 ('counts')

 251            LOAD_CONST              85 ('dag_nodes')
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW         1 (dag)
                CALL                     1

 252            LOAD_CONST              86 ('lean_nodes')
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW        12 (lean_nodes)
                CALL                     1

 253            LOAD_CONST              87 ('queue_items')
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW         2 (queue)
                CALL                     1

 254            LOAD_CONST              88 ('queue_ready')
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW        17 (queue_ready)
                CALL                     1

 255            LOAD_CONST              89 ('worker_results')
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW         3 (workers)
                CALL                     1

 256            LOAD_CONST              90 ('checked_workers')
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW        14 (checked_workers)
                CALL                     1

 257            LOAD_CONST              91 ('formalization_results')
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW         4 (formal)
                CALL                     1

 258            LOAD_CONST              92 ('skeptic_reviews')
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW         5 (skeptic)
                CALL                     1

 259            LOAD_CONST              93 ('mutation_records')
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW         6 (mutations)
                CALL                     1

 260            LOAD_CONST              94 ('literature_findings')
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW         7 (lit)
                CALL                     1

 261            LOAD_CONST              95 ('theorem_audit_rows')
                LOAD_GLOBAL             13 (len + NULL)
                LOAD_FAST_BORROW         8 (theorem_audit)
                CALL                     1

 250            BUILD_MAP               11

 245            BUILD_MAP                5
                RETURN_VALUE

  --   L89:     SWAP                     2
                POP_TOP

  96            SWAP                     2
                STORE_FAST              11 (n)
                RERAISE                  0

  --   L90:     SWAP                     2
                POP_TOP

  97            SWAP                     2
                STORE_FAST              13 (w)
                RERAISE                  0

  --   L91:     SWAP                     2
                POP_TOP

  98            SWAP                     2
                STORE_FAST              11 (n)
                RERAISE                  0

  --   L92:     SWAP                     2
                POP_TOP

  99            SWAP                     2
                STORE_FAST              16 (q)
                RERAISE                  0

  --   L93:     SWAP                     2
                POP_TOP

 103            SWAP                     2
                STORE_FAST              18 (r)
                RERAISE                  0

  --   L94:     SWAP                     2
                POP_TOP

 169            SWAP                     2
                STORE_FAST              30 (f)
                RERAISE                  0
ExceptionTable:
  L1 to L3 -> L89 [2]
  L4 to L6 -> L89 [2]
  L7 to L9 -> L90 [2]
  L10 to L12 -> L90 [2]
  L13 to L15 -> L90 [2]
  L16 to L18 -> L91 [2]
  L19 to L21 -> L91 [2]
  L22 to L24 -> L91 [2]
  L25 to L27 -> L92 [2]
  L28 to L29 -> L92 [2]
  L30 to L31 -> L92 [2]
  L32 to L34 -> L92 [2]
  L35 to L37 -> L93 [2]
  L38 to L39 -> L93 [2]
  L40 to L42 -> L93 [2]
  L43 to L45 -> L93 [2]
  L66 to L68 -> L94 [2]
  L69 to L71 -> L94 [2]

======================================================================
# code object: evaluate.<locals>.<genexpr>  args=('.0',)
# DOCSTRING: 'score'
 244           RETURN_GENERATOR
               POP_TOP
       L1:     RESUME                   0
               LOAD_FAST                0 (.0)
       L2:     FOR_ITER                13 (to L3)
               STORE_FAST_LOAD_FAST    17 (c, c)
               LOAD_CONST               0 ('score')
               BINARY_OP               26 ([])
               YIELD_VALUE              0
               RESUME                   5
               POP_TOP
               JUMP_BACKWARD           15 (to L2)
       L3:     END_FOR
               POP_ITER
               LOAD_CONST               1 (None)
               RETURN_VALUE

  --   L4:     CALL_INTRINSIC_1         3 (INTRINSIC_STOPITERATION_ERROR)
               RERAISE                  1
ExceptionTable:
  L1 to L4 -> L4 [0] lasti

======================================================================
# code object: __annotate__  args=('format',)
266           RESUME                   0
              LOAD_FAST_BORROW         0 (format)
              LOAD_SMALL_INT           2
              COMPARE_OP             132 (>)
              POP_JUMP_IF_FALSE        3 (to L1)
              NOT_TAKEN
              LOAD_COMMON_CONSTANT     1 (NotImplementedError)
              RAISE_VARARGS            1
      L1:     LOAD_CONST               1 ('return')
              LOAD_CONST               2 ('int')
              BUILD_MAP                1
              RETURN_VALUE

======================================================================
# code object: main  args=()
266           RESUME                   0

267           LOAD_GLOBAL              0 (argparse)
              LOAD_ATTR                2 (ArgumentParser)
              PUSH_NULL
              LOAD_GLOBAL              4 (__doc__)
              LOAD_CONST               0 (('description',))
              CALL_KW                  1
              STORE_FAST               0 (ap)

268           LOAD_FAST_BORROW         0 (ap)
              LOAD_ATTR                7 (add_argument + NULL|self)
              LOAD_CONST               1 ('run_dir')
              LOAD_GLOBAL              8 (Path)
              LOAD_CONST               2 (('type',))
              CALL_KW                  2
              POP_TOP

269           LOAD_FAST_BORROW         0 (ap)
              LOAD_ATTR                7 (add_argument + NULL|self)
              LOAD_CONST               3 ('--out')
              LOAD_GLOBAL              8 (Path)
              LOAD_CONST               4 (None)
              LOAD_CONST               5 (('type', 'default'))
              CALL_KW                  3
              POP_TOP

270           LOAD_FAST_BORROW         0 (ap)
              LOAD_ATTR               11 (parse_args + NULL|self)
              CALL                     0
              STORE_FAST               1 (args)

271           LOAD_GLOBAL             13 (evaluate + NULL)
              LOAD_FAST_BORROW         1 (args)
              LOAD_ATTR               14 (run_dir)
              CALL                     1
              STORE_FAST               2 (result)

272           LOAD_GLOBAL             16 (json)
              LOAD_ATTR               18 (dumps)
              PUSH_NULL
              LOAD_FAST_BORROW         2 (result)
              LOAD_SMALL_INT           2
              LOAD_CONST               6 (False)
              LOAD_CONST               7 (('indent', 'ensure_ascii'))
              CALL_KW                  3
              LOAD_CONST               8 ('\n')
              BINARY_OP                0 (+)
              STORE_FAST               3 (text)

273           LOAD_FAST_BORROW         1 (args)
              LOAD_ATTR               20 (out)
              TO_BOOL
              POP_JUMP_IF_FALSE       69 (to L1)
              NOT_TAKEN

274           LOAD_FAST_BORROW         1 (args)
              LOAD_ATTR               20 (out)
              LOAD_ATTR               22 (parent)
              LOAD_ATTR               25 (mkdir + NULL|self)
              LOAD_CONST               9 (True)
              LOAD_CONST               9 (True)
              LOAD_CONST              10 (('parents', 'exist_ok'))
              CALL_KW                  2
              POP_TOP

275           LOAD_FAST_BORROW         1 (args)
              LOAD_ATTR               20 (out)
              LOAD_ATTR               27 (write_text + NULL|self)
              LOAD_FAST_BORROW         3 (text)
              LOAD_CONST              11 ('utf-8')
              LOAD_CONST              12 (('encoding',))
              CALL_KW                  2
              POP_TOP

276   L1:     LOAD_GLOBAL             29 (print + NULL)
              LOAD_FAST_BORROW         3 (text)
              LOAD_CONST              13 ('')
              LOAD_CONST              14 (('end',))
              CALL_KW                  2
              POP_TOP

277           LOAD_SMALL_INT           0
              RETURN_VALUE
