# Bytecode recovery dump for siege_report (cpython-3.14)

======================================================================
# code object: <module>  args=()
# DOCSTRING: 'Across-nights siege trajectory for a persistent Lovasz run — `witsoc siege-report`.\n\nA siege is a standing campaign on one frozen target whose run context\n(<witsoc home>/lovasz-runs/<id>, or any Lovasz run dir) persists across\ninvocations and nightly passes. This report answers the steering questions in\none pane: is the attack moving (rung trajectory), what was tried (escalation\nhistory, barrier attempts, arm artifacts), where is the budget, is the siege\nattack floor met, and which arms ran fuel-starved — so a stall is never\nmisread as mathematical difficulty when it is actually a missing\nprover/Mathlib/network.\n\nDeterministic ledger reading only — it never decides mathematics and never\nupgrades a status.\n'
  0           RESUME                   0

  2           LOAD_CONST               0 ('Across-nights siege trajectory for a persistent Lovasz run — `witsoc siege-report`.\n\nA siege is a standing campaign on one frozen target whose run context\n(<witsoc home>/lovasz-runs/<id>, or any Lovasz run dir) persists across\ninvocations and nightly passes. This report answers the steering questions in\none pane: is the attack moving (rung trajectory), what was tried (escalation\nhistory, barrier attempts, arm artifacts), where is the budget, is the siege\nattack floor met, and which arms ran fuel-starved — so a stall is never\nmisread as mathematical difficulty when it is actually a missing\nprover/Mathlib/network.\n\nDeterministic ledger reading only — it never decides mathematics and never\nupgrades a status.\n')
              STORE_NAME               0 (__doc__)

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

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

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

 21           LOAD_SMALL_INT           0
              LOAD_CONST               2 (None)
              IMPORT_NAME              5 (os)
              STORE_NAME               5 (os)

 22           LOAD_SMALL_INT           0
              LOAD_CONST               2 (None)
              IMPORT_NAME              6 (sys)
              STORE_NAME               6 (sys)

 23           LOAD_SMALL_INT           0
              LOAD_CONST               3 (('Path',))
              IMPORT_NAME              7 (pathlib)
              IMPORT_FROM              8 (Path)
              STORE_NAME               8 (Path)
              POP_TOP

 25           LOAD_NAME                8 (Path)
              PUSH_NULL
              LOAD_NAME                9 (__file__)
              CALL                     1
              LOAD_ATTR               21 (resolve + NULL|self)
              CALL                     0
              LOAD_ATTR               22 (parent)
              STORE_NAME              12 (SCRIPT_DIR)

 26           LOAD_NAME                6 (sys)
              LOAD_ATTR               26 (path)
              LOAD_ATTR               29 (insert + NULL|self)
              LOAD_SMALL_INT           0
              LOAD_NAME               15 (str)
              PUSH_NULL
              LOAD_NAME               12 (SCRIPT_DIR)
              CALL                     1
              CALL                     2
              POP_TOP

 28           LOAD_SMALL_INT           0
              LOAD_CONST               2 (None)
              IMPORT_NAME             16 (campaign_budget_gate)
              STORE_NAME              17 (bg)

 29           LOAD_SMALL_INT           0
              LOAD_CONST               2 (None)
              IMPORT_NAME             18 (lovasz_run_manifest)
              STORE_NAME              19 (lrm)

 30           LOAD_SMALL_INT           0
              LOAD_CONST               2 (None)
              IMPORT_NAME             20 (witcore)
              STORE_NAME              20 (witcore)

 34           LOAD_CONST               4 ('barrier_attack')
              LOAD_CONST               5 ('barrier_attacks.json')

 35           LOAD_CONST               6 ('rung_saturation')
              LOAD_CONST               7 ('rung_saturation.json')

 36           LOAD_CONST               8 ('gap_feedback')
              LOAD_CONST               9 ('gap_feedback.json')

 37           LOAD_CONST              10 ('ontology_pivots')
              LOAD_CONST              11 ('ontology_pivots.json')

 38           LOAD_CONST              12 ('speculative_arena')
              LOAD_CONST              13 ('speculative_arena.json')

 39           LOAD_CONST              14 ('problem_theory')
              LOAD_CONST              15 ('problem_theory.json')

 33           BUILD_MAP                6
              STORE_NAME              21 (ARM_ARTIFACTS)

 43           LOAD_SMALL_INT           0
              LOAD_CONST              16 (('load_json',))
              IMPORT_NAME             20 (witcore)
              IMPORT_FROM             22 (load_json)
              STORE_NAME              23 (_load)
              POP_TOP

 46           LOAD_CONST              17 (<code object __annotate__ at 0x7dd2db607000, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/siege_report.py", line 46>)
              MAKE_FUNCTION
              LOAD_CONST              18 (<code object fuel_status at 0x263f8530, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/siege_report.py", line 46>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME              24 (fuel_status)

 63           LOAD_CONST              19 (<code object __annotate__ at 0x7dd2db6070f0, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/siege_report.py", line 63>)
              MAKE_FUNCTION
              LOAD_CONST              20 (<code object report at 0x264c5c20, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/siege_report.py", line 63>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME              25 (report)

103           LOAD_CONST              21 (<code object __annotate__ at 0x7dd2db6071e0, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/siege_report.py", line 103>)
              MAKE_FUNCTION
              LOAD_CONST              22 (<code object main at 0x263f8fd0, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/siege_report.py", line 103>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME              26 (main)

114           LOAD_NAME               27 (__name__)
              LOAD_CONST              23 ('__main__')
              COMPARE_OP              88 (bool(==))
              POP_JUMP_IF_FALSE       14 (to L1)
              NOT_TAKEN

115           LOAD_NAME               28 (SystemExit)
              PUSH_NULL
              LOAD_NAME               26 (main)
              PUSH_NULL
              CALL                     0
              CALL                     1
              RAISE_VARARGS            1

114   L1:     LOAD_CONST               2 (None)
              RETURN_VALUE

======================================================================
# code object: __annotate__  args=('format',)
 46           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 ('dict')
              BUILD_MAP                1
              RETURN_VALUE

======================================================================
# code object: fuel_status  args=()
# DOCSTRING: 'What attack depth is actually available. Absence of fuel must be read\nas an operational blocker, not as evidence the problem resisted.'
  46            RESUME                   0

  49            LOAD_GLOBAL              0 (witcore)
                LOAD_ATTR                2 (default_lake_dir)
                PUSH_NULL
                CALL                     0
                STORE_FAST               0 (lake)

  51            LOAD_CONST               1 ('mathlib_lake_dir')
                LOAD_FAST_BORROW         0 (lake)
                TO_BOOL
                POP_JUMP_IF_FALSE       12 (to L1)
                NOT_TAKEN
                LOAD_GLOBAL              5 (str + NULL)
                LOAD_FAST_BORROW         0 (lake)
                CALL                     1
                JUMP_FORWARD             1 (to L2)
        L1:     LOAD_CONST               2 (None)

  52    L2:     LOAD_CONST               3 ('kernel_checks')
                LOAD_FAST_BORROW         0 (lake)
                TO_BOOL
                POP_JUMP_IF_FALSE        3 (to L3)
                NOT_TAKEN
                LOAD_CONST               4 ('lake env lean')
                JUMP_FORWARD             1 (to L4)
        L3:     LOAD_CONST               5 ('core Lean only (or none)')

  53    L4:     LOAD_CONST               6 ('prover_fleet_configured')
                LOAD_GLOBAL              7 (bool + NULL)
                LOAD_GLOBAL              8 (os)
                LOAD_ATTR               10 (environ)
                LOAD_ATTR               13 (get + NULL|self)
                LOAD_CONST               7 ('WITSOC_PROVER_FLEET')
                CALL                     1
                CALL                     1

  54            LOAD_CONST               8 ('external_novelty_configured')
                LOAD_GLOBAL              7 (bool + NULL)
                LOAD_GLOBAL              8 (os)
                LOAD_ATTR               10 (environ)
                LOAD_ATTR               13 (get + NULL|self)
                LOAD_CONST               9 ('WITSOC_NOVELTY_CMD')
                CALL                     1
                CALL                     1

  55            LOAD_CONST              10 ('starved')

  56            LOAD_CONST              11 ('mathlib')
                LOAD_GLOBAL              7 (bool + NULL)
                LOAD_FAST_BORROW         0 (lake)
                CALL                     1
                BUILD_TUPLE              2

  57            LOAD_CONST              12 ('prover_fleet')
                LOAD_GLOBAL              7 (bool + NULL)
                LOAD_GLOBAL              8 (os)
                LOAD_ATTR               10 (environ)
                LOAD_ATTR               13 (get + NULL|self)
                LOAD_CONST               7 ('WITSOC_PROVER_FLEET')
                CALL                     1
                CALL                     1
                BUILD_TUPLE              2

  58            LOAD_CONST              13 ('external_novelty')
                LOAD_GLOBAL              7 (bool + NULL)
                LOAD_GLOBAL              8 (os)
                LOAD_ATTR               10 (environ)
                LOAD_ATTR               13 (get + NULL|self)
                LOAD_CONST               9 ('WITSOC_NOVELTY_CMD')
                CALL                     1
                CALL                     1
                BUILD_TUPLE              2

  55            BUILD_TUPLE              3
                GET_ITER
                LOAD_FAST_AND_CLEAR      1 (name)
                LOAD_FAST_AND_CLEAR      2 (ok)
                SWAP                     3
        L5:     BUILD_LIST               0
                SWAP                     2
        L6:     FOR_ITER                17 (to L9)
                UNPACK_SEQUENCE          2
                STORE_FAST_STORE_FAST   18 (name, ok)

  59            LOAD_FAST_BORROW         2 (ok)
                TO_BOOL

  55    L7:     POP_JUMP_IF_FALSE        3 (to L8)
                NOT_TAKEN
                JUMP_BACKWARD           15 (to L6)
        L8:     LOAD_FAST_BORROW         1 (name)
                LIST_APPEND              2
                JUMP_BACKWARD           19 (to L6)
        L9:     END_FOR
                POP_ITER
       L10:     SWAP                     3
                STORE_FAST               2 (ok)
                STORE_FAST               1 (name)

  50            BUILD_MAP                5
                RETURN_VALUE

  --   L11:     SWAP                     2
                POP_TOP

  55            SWAP                     3
                STORE_FAST               2 (ok)
                STORE_FAST               1 (name)
                RERAISE                  0
ExceptionTable:
  L5 to L7 -> L11 [12]
  L8 to L10 -> L11 [12]

======================================================================
# code object: __annotate__  args=('format',)
 63           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: report  args=('run',)
# DOCSTRING: 'lovasz_run.json'
  63            RESUME                   0

  64            LOAD_GLOBAL              1 (_load + NULL)
                LOAD_FAST_BORROW         0 (run)
                LOAD_CONST               0 ('lovasz_run.json')
                BINARY_OP               11 (/)
                BUILD_MAP                0
                CALL                     2
                STORE_FAST               1 (manifest)

  65            LOAD_GLOBAL              2 (bg)
                LOAD_ATTR                4 (load_campaign)
                PUSH_NULL
                LOAD_FAST_BORROW         0 (run)
                CALL                     1
                STORE_FAST               2 (campaign)

  66            LOAD_GLOBAL              6 (lrm)
                LOAD_ATTR                8 (posture_profile)
                PUSH_NULL
                LOAD_FAST_BORROW         2 (campaign)
                CALL                     1
                STORE_FAST               3 (profile)

  67            LOAD_FAST_BORROW         2 (campaign)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST               1 ('progress_history')
                BUILD_LIST               0
                CALL                     2
                GET_ITER
                LOAD_FAST_AND_CLEAR      4 (h)
                SWAP                     2
        L1:     BUILD_LIST               0
                SWAP                     2
        L2:     FOR_ITER                29 (to L5)
                STORE_FAST               4 (h)
                LOAD_GLOBAL             13 (isinstance + NULL)
                LOAD_FAST_BORROW         4 (h)
                LOAD_GLOBAL             14 (dict)
                CALL                     2
                TO_BOOL
        L3:     POP_JUMP_IF_TRUE         3 (to L4)
                NOT_TAKEN
                JUMP_BACKWARD           27 (to L2)
        L4:     LOAD_FAST_BORROW         4 (h)
                LIST_APPEND              2
                JUMP_BACKWARD           31 (to L2)
        L5:     END_FOR
                POP_ITER
        L6:     STORE_FAST               5 (history)
                STORE_FAST               4 (h)

  68            LOAD_FAST_BORROW         5 (history)
                GET_ITER
                LOAD_FAST_AND_CLEAR      4 (h)
                SWAP                     2
        L7:     BUILD_LIST               0
                SWAP                     2
        L8:     FOR_ITER                19 (to L9)
                STORE_FAST_LOAD_FAST    68 (h, h)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST               2 ('best_rung')
                CALL                     1
                LIST_APPEND              2
                JUMP_BACKWARD           21 (to L8)
        L9:     END_FOR
                POP_ITER
       L10:     STORE_FAST               6 (rungs)
                STORE_FAST               4 (h)

  69            LOAD_GLOBAL             17 (sorted + NULL)
                LOAD_FAST_BORROW         2 (campaign)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST               3 ('barrier_attempts')
                BUILD_MAP                0
                CALL                     2
                LOAD_ATTR               19 (items + NULL|self)
                CALL                     0

  70            LOAD_CONST               4 (<code object <lambda> at 0x7dd2db681630, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/siege_report.py", line 70>)
                MAKE_FUNCTION

  69            LOAD_CONST               5 (('key',))
                CALL_KW                  2
                STORE_FAST               7 (barriers)

  71            LOAD_GLOBAL              2 (bg)
                LOAD_ATTR               20 (attack_floor_status)
                PUSH_NULL
                LOAD_FAST_BORROW         0 (run)
                CALL                     1
                STORE_FAST               8 (floor)

  72            BUILD_MAP                0

  73            LOAD_CONST               6 ('schema')
                LOAD_CONST               7 ('witsoc.siege_report.v1')

  72            MAP_ADD                  1

  74            LOAD_CONST               8 ('run_dir')
                LOAD_GLOBAL             23 (str + NULL)
                LOAD_FAST_BORROW         0 (run)
                CALL                     1

  72            MAP_ADD                  1

  75            LOAD_CONST               9 ('target_hash')
                LOAD_FAST_BORROW         1 (manifest)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST               9 ('target_hash')
                CALL                     1

  72            MAP_ADD                  1

  76            LOAD_CONST              10 ('frozen_target')
                LOAD_FAST_BORROW         1 (manifest)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST              11 ('source_target_text')
                CALL                     1

  72            MAP_ADD                  1

  77            LOAD_CONST              12 ('phase')
                LOAD_FAST_BORROW         1 (manifest)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST              12 ('phase')
                CALL                     1

  72            MAP_ADD                  1

  78            LOAD_CONST              13 ('posture')
                LOAD_GLOBAL             23 (str + NULL)
                LOAD_FAST_BORROW         2 (campaign)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST              13 ('posture')
                CALL                     1
                COPY                     1
                TO_BOOL
                POP_JUMP_IF_TRUE         3 (to L11)
                NOT_TAKEN
                POP_TOP
                LOAD_CONST              14 ('sortie')
       L11:     CALL                     1

  72            MAP_ADD                  1

  79            LOAD_CONST              15 ('escalation_level')
                LOAD_FAST_BORROW         2 (campaign)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST              15 ('escalation_level')
                CALL                     1

  72            MAP_ADD                  1

  80            LOAD_CONST              16 ('escalation_history')
                LOAD_FAST_BORROW         2 (campaign)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST              16 ('escalation_history')
                BUILD_LIST               0
                CALL                     2

  72            MAP_ADD                  1

  81            LOAD_CONST              17 ('budget')
                LOAD_FAST_BORROW         2 (campaign)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST              17 ('budget')
                BUILD_MAP                0
                CALL                     2

  72            MAP_ADD                  1

  82            LOAD_CONST              18 ('spent')
                LOAD_FAST_BORROW         2 (campaign)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST              18 ('spent')
                BUILD_MAP                0
                CALL                     2

  72            MAP_ADD                  1

  83            LOAD_CONST              19 ('stall_count')
                LOAD_FAST_BORROW         2 (campaign)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST              19 ('stall_count')
                LOAD_SMALL_INT           0
                CALL                     2

  72            MAP_ADD                  1

  84            LOAD_CONST              20 ('stall_escalation_threshold')
                LOAD_FAST_BORROW         3 (profile)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST              20 ('stall_escalation_threshold')
                CALL                     1

  72            MAP_ADD                  1

  85            LOAD_CONST              21 ('trajectory')

  86            LOAD_CONST              22 ('passes')
                LOAD_GLOBAL             25 (len + NULL)
                LOAD_FAST_BORROW         5 (history)
                CALL                     1

  87            LOAD_CONST               2 ('best_rung')
                LOAD_FAST_BORROW         2 (campaign)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST              23 ('last_best_rung')
                LOAD_CONST              24 ('L0')
                CALL                     2

  88            LOAD_CONST              25 ('rungs')
                LOAD_FAST                6 (rungs)

  89            LOAD_CONST              26 ('improvements')
                LOAD_GLOBAL             27 (sum + NULL)
                LOAD_CONST              27 (<code object <genexpr> at 0x7dd2db6ac9b0, file "/home/xeclipse/Documents/Intern/strings/skills/witsoc/scripts/siege_report.py", line 89>)
                MAKE_FUNCTION
                LOAD_FAST_BORROW         5 (history)
                GET_ITER
                CALL                     0
                CALL                     1

  90            LOAD_CONST              28 ('last')
                LOAD_FAST_BORROW         5 (history)
                TO_BOOL
                POP_JUMP_IF_FALSE       10 (to L12)
                NOT_TAKEN
                LOAD_FAST_BORROW         5 (history)
                LOAD_CONST              38 (-1)
                BINARY_OP               26 ([])
                JUMP_FORWARD             1 (to L13)
       L12:     LOAD_CONST              29 (None)

  85   L13:     BUILD_MAP                5

  72            MAP_ADD                  1

  92            LOAD_CONST               3 ('barrier_attempts')
                LOAD_FAST_BORROW         7 (barriers)
                GET_ITER
                LOAD_FAST_AND_CLEAR      9 (b)
                LOAD_FAST_AND_CLEAR     10 (n)
                SWAP                     3
       L14:     BUILD_LIST               0
                SWAP                     2
       L15:     FOR_ITER                20 (to L16)
                UNPACK_SEQUENCE          2
                STORE_FAST_STORE_FAST  154 (b, n)
                LOAD_CONST              30 ('barrier')
                LOAD_FAST_BORROW         9 (b)
                LOAD_CONST              31 ('attempts')
                LOAD_GLOBAL             29 (int + NULL)
                LOAD_FAST_BORROW        10 (n)
                CALL                     1
                BUILD_MAP                2
                LIST_APPEND              2
                JUMP_BACKWARD           22 (to L15)
       L16:     END_FOR
                POP_ITER
       L17:     SWAP                     3
                STORE_FAST              10 (n)
                STORE_FAST               9 (b)

  72            MAP_ADD                  1

  93            LOAD_CONST              32 ('arm_artifacts')
                LOAD_GLOBAL             30 (ARM_ARTIFACTS)
                LOAD_ATTR               19 (items + NULL|self)
                CALL                     0
                GET_ITER
                LOAD_FAST_AND_CLEAR     11 (name)
                LOAD_FAST_AND_CLEAR     12 (fname)
                SWAP                     3
       L18:     BUILD_MAP                0
                SWAP                     2
       L19:     FOR_ITER                28 (to L20)
                UNPACK_SEQUENCE          2
                STORE_FAST_STORE_FAST  188 (name, fname)
                LOAD_FAST_BORROW_LOAD_FAST_BORROW 176 (name, run)
                LOAD_FAST_BORROW        12 (fname)
                BINARY_OP               11 (/)
                LOAD_ATTR               33 (exists + NULL|self)
                CALL                     0
                MAP_ADD                  2
                JUMP_BACKWARD           30 (to L19)
       L20:     END_FOR
                POP_ITER
       L21:     SWAP                     3
                STORE_FAST              12 (fname)
                STORE_FAST              11 (name)

  72            MAP_ADD                  1

  94            LOAD_CONST              33 ('attack_floor')
                LOAD_FAST_BORROW         8 (floor)

  72            MAP_ADD                  1

  95            LOAD_CONST              34 ('fuel')
                LOAD_GLOBAL             35 (fuel_status + NULL)
                CALL                     0

  72            MAP_ADD                  1

  96            LOAD_CONST              35 ('counts')
                LOAD_FAST_BORROW         1 (manifest)
                LOAD_ATTR               11 (get + NULL|self)
                LOAD_CONST              35 ('counts')
                BUILD_MAP                0
                CALL                     2

  97            LOAD_CONST              36 ('note')
                LOAD_CONST              37 ('Steering pane only. A stall with `fuel.starved` nonempty is an operational gap before it is a mathematical one. HONEST_STOP on a siege run is gated by attack_floor (validate_open_problem_run reports INCOMPLETE_ATTACK otherwise).')

  72            BUILD_MAP                2
                DICT_UPDATE              1
                RETURN_VALUE

  --   L22:     SWAP                     2
                POP_TOP

  67            SWAP                     2
                STORE_FAST               4 (h)
                RERAISE                  0

  --   L23:     SWAP                     2
                POP_TOP

  68            SWAP                     2
                STORE_FAST               4 (h)
                RERAISE                  0

  --   L24:     SWAP                     2
                POP_TOP

  92            SWAP                     3
                STORE_FAST              10 (n)
                STORE_FAST               9 (b)
                RERAISE                  0

  --   L25:     SWAP                     2
                POP_TOP

  93            SWAP                     3
                STORE_FAST              12 (fname)
                STORE_FAST              11 (name)
                RERAISE                  0
ExceptionTable:
  L1 to L3 -> L22 [2]
  L4 to L6 -> L22 [2]
  L7 to L10 -> L23 [2]
  L14 to L17 -> L24 [5]
  L18 to L21 -> L25 [5]

======================================================================
# code object: report.<locals>.<lambda>  args=('kv',)
 70           RESUME                   0
              LOAD_GLOBAL              1 (int + NULL)
              LOAD_FAST_BORROW         0 (kv)
              LOAD_SMALL_INT           1
              BINARY_OP               26 ([])
              CALL                     1
              UNARY_NEGATIVE
              RETURN_VALUE

======================================================================
# code object: report.<locals>.<genexpr>  args=('.0',)
# DOCSTRING: 'improved'
  89           RETURN_GENERATOR
               POP_TOP
       L1:     RESUME                   0
               LOAD_FAST                0 (.0)
       L2:     FOR_ITER                31 (to L5)
               STORE_FAST_LOAD_FAST    17 (h, h)
               LOAD_ATTR                1 (get + NULL|self)
               LOAD_CONST               0 ('improved')
               CALL                     1
               TO_BOOL
       L3:     POP_JUMP_IF_TRUE         3 (to L4)
               NOT_TAKEN
               JUMP_BACKWARD           27 (to L2)
       L4:     LOAD_SMALL_INT           1
               YIELD_VALUE              0
               RESUME                   5
               POP_TOP
               JUMP_BACKWARD           33 (to L2)
       L5:     END_FOR
               POP_ITER
               LOAD_CONST               1 (None)
               RETURN_VALUE

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

======================================================================
# code object: __annotate__  args=('format',)
103           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=()
103           RESUME                   0

104           LOAD_GLOBAL              0 (argparse)
              LOAD_ATTR                2 (ArgumentParser)
              PUSH_NULL
              LOAD_GLOBAL              4 (__doc__)
              LOAD_GLOBAL              0 (argparse)
              LOAD_ATTR                6 (RawDescriptionHelpFormatter)
              LOAD_CONST               0 (('description', 'formatter_class'))
              CALL_KW                  2
              STORE_FAST               0 (ap)

105           LOAD_FAST_BORROW         0 (ap)
              LOAD_ATTR                9 (add_argument + NULL|self)
              LOAD_CONST               1 ('run_dir')
              LOAD_GLOBAL             10 (Path)
              LOAD_CONST               2 (('type',))
              CALL_KW                  2
              POP_TOP

106           LOAD_FAST_BORROW         0 (ap)
              LOAD_ATTR               13 (parse_args + NULL|self)
              CALL                     0
              STORE_FAST               1 (args)

107           LOAD_FAST_BORROW         1 (args)
              LOAD_ATTR               14 (run_dir)
              LOAD_CONST               3 ('lovasz_run.json')
              BINARY_OP               11 (/)
              LOAD_ATTR               17 (exists + NULL|self)
              CALL                     0
              TO_BOOL
              POP_JUMP_IF_TRUE        51 (to L1)
              NOT_TAKEN

108           LOAD_GLOBAL             19 (print + NULL)
              LOAD_GLOBAL             20 (json)
              LOAD_ATTR               22 (dumps)
              PUSH_NULL
              LOAD_CONST               4 ('error')
              LOAD_CONST               5 ('no lovasz_run.json in ')
              LOAD_FAST_BORROW         1 (args)
              LOAD_ATTR               14 (run_dir)
              FORMAT_SIMPLE
              BUILD_STRING             2
              BUILD_MAP                1
              LOAD_SMALL_INT           2
              LOAD_CONST               6 (('indent',))
              CALL_KW                  2
              CALL                     1
              POP_TOP

109           LOAD_SMALL_INT           2
              RETURN_VALUE

110   L1:     LOAD_GLOBAL             19 (print + NULL)
              LOAD_GLOBAL             20 (json)
              LOAD_ATTR               22 (dumps)
              PUSH_NULL
              LOAD_GLOBAL             25 (report + NULL)
              LOAD_FAST_BORROW         1 (args)
              LOAD_ATTR               14 (run_dir)
              CALL                     1
              LOAD_SMALL_INT           2
              LOAD_CONST               7 (False)
              LOAD_CONST               8 (('indent', 'ensure_ascii'))
              CALL_KW                  3
              CALL                     1
              POP_TOP

111           LOAD_SMALL_INT           0
              RETURN_VALUE
