# Bytecode recovery dump for research_corpus (cpython-3.14)

======================================================================
# code object: <module>  args=()
# DOCSTRING: 'Research corpus for systematically improving Witsoc.\n\nThe corpus is an implementation ledger: every source maps to a Witsoc component,\nan idea to copy, a trap to avoid, and a concrete build task. It is deliberately\nsmall but structured; extend it as papers/repos are read.\n'
  0           RESUME                   0

  2           LOAD_CONST               0 ('Research corpus for systematically improving Witsoc.\n\nThe corpus is an implementation ledger: every source maps to a Witsoc component,\nan idea to copy, a trap to avoid, and a concrete build task. It is deliberately\nsmall but structured; extend it as papers/repos are read.\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

 18           LOAD_CONST               4 ('source_id')
              LOAD_CONST               5 ('leandojo-reprover-2023')

 19           LOAD_CONST               6 ('title')
              LOAD_CONST               7 ('LeanDojo: Theorem Proving with Retrieval-Augmented Language Models')

 20           LOAD_CONST               8 ('url')
              LOAD_CONST               9 ('https://arxiv.org/abs/2306.15626')

 21           LOAD_CONST              10 ('kind')
              LOAD_CONST              11 ('paper+repo')

 22           LOAD_CONST              12 ('category')
              LOAD_CONST              13 ('retrieval_proving')

 23           LOAD_CONST              14 ('core_idea')
              LOAD_CONST              15 ('Programmatic Lean interaction plus premise retrieval from accessible declarations.')

 24           LOAD_CONST              16 ('copy_into_witsoc')
              LOAD_CONST              17 ('Build a mathlib/local-proof retriever attached to every prove/formalize bus request.')

 25           LOAD_CONST              18 ('avoid')
              LOAD_CONST              19 ('Do not feed global irrelevant premises; filter by accessibility and imports.')

 26           LOAD_CONST              20 ('component')
              LOAD_CONST              21 ('Retriever/Prover')

 27           LOAD_CONST              22 ('implementation_task')
              LOAD_CONST              23 ('retrieval-v3 accessible premise index with proof-trace hard negatives')

 28           LOAD_CONST              24 ('benchmark')
              LOAD_CONST              25 ('premise hit rate and proof closure lift over no-retrieval baseline')

 17           BUILD_MAP               11

 31           LOAD_CONST               4 ('source_id')
              LOAD_CONST              26 ('deepseek-prover-2024')

 32           LOAD_CONST               6 ('title')
              LOAD_CONST              27 ('DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data')

 33           LOAD_CONST               8 ('url')
              LOAD_CONST              28 ('https://arxiv.org/abs/2405.14333')

 34           LOAD_CONST              10 ('kind')
              LOAD_CONST              29 ('paper')

 35           LOAD_CONST              12 ('category')
              LOAD_CONST              30 ('formal_synthetic_data')

 36           LOAD_CONST              14 ('core_idea')
              LOAD_CONST              31 ('Large synthetic Lean statement/proof data improves whole-proof generation.')

 37           LOAD_CONST              16 ('copy_into_witsoc')
              LOAD_CONST              32 ('Mine verified Witsoc traces into a local proof-bank and tactic-policy dataset.')

 38           LOAD_CONST              18 ('avoid')
              LOAD_CONST              33 ('Do not trust synthetic formalizations without elaboration and replay.')

 39           LOAD_CONST              20 ('component')
              LOAD_CONST              34 ('Generator Lean/Prover')

 40           LOAD_CONST              22 ('implementation_task')
              LOAD_CONST              35 ('proof trace exporter for successful and failed Lean attempts')

 41           LOAD_CONST              24 ('benchmark')
              LOAD_CONST              36 ('closure lift on Witsoc regression goals')

 30           BUILD_MAP               11

 44           LOAD_CONST               4 ('source_id')
              LOAD_CONST              37 ('deepseek-prover-v15-2024')

 45           LOAD_CONST               6 ('title')
              LOAD_CONST              38 ('DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for RL and MCTS')

 46           LOAD_CONST               8 ('url')
              LOAD_CONST              39 ('https://arxiv.org/abs/2408.08152')

 47           LOAD_CONST              10 ('kind')
              LOAD_CONST              29 ('paper')

 48           LOAD_CONST              12 ('category')
              LOAD_CONST              40 ('proof_search')

 49           LOAD_CONST              14 ('core_idea')
              LOAD_CONST              41 ('Use verifier feedback and tree search to explore proof paths.')

 50           LOAD_CONST              16 ('copy_into_witsoc')
              LOAD_CONST              42 ('Turn Lean diagnostics into repair actions and tree-search nodes.')

 51           LOAD_CONST              18 ('avoid')
              LOAD_CONST              43 ('Do not retry tactic portfolios blindly after the same error.')

 52           LOAD_CONST              20 ('component')
              LOAD_CONST              44 ('Prover')

 53           LOAD_CONST              22 ('implementation_task')
              LOAD_CONST              45 ('proof-state repair loop with failed-attempt classifier')

 54           LOAD_CONST              24 ('benchmark')
              LOAD_CONST              46 ('second-pass repair success rate')

 43           BUILD_MAP               11

 57           LOAD_CONST               4 ('source_id')
              LOAD_CONST              47 ('oprover-2026')

 58           LOAD_CONST               6 ('title')
              LOAD_CONST              48 ('OProver: A Unified Framework for Agentic Formal Theorem Proving')

 59           LOAD_CONST               8 ('url')
              LOAD_CONST              49 ('https://arxiv.org/abs/2605.17283')

 60           LOAD_CONST              10 ('kind')
              LOAD_CONST              29 ('paper')

 61           LOAD_CONST              12 ('category')
              LOAD_CONST              50 ('agentic_proving')

 62           LOAD_CONST              14 ('core_idea')
              LOAD_CONST              51 ('Index verified proofs, failed attempts, feedback, and repairs as reusable experience.')

 63           LOAD_CONST              16 ('copy_into_witsoc')
              LOAD_CONST              52 ('Make every proof attempt a trajectory, not a disposable log line.')

 64           LOAD_CONST              18 ('avoid')
              LOAD_CONST              53 ('Do not separate training memory from run memory.')

 65           LOAD_CONST              20 ('component')
              LOAD_CONST              54 ('Prover/Knowledge')

 66           LOAD_CONST              22 ('implementation_task')
              LOAD_CONST              55 ('proof trajectory ledger with retrieval over failures and repairs')

 67           LOAD_CONST              24 ('benchmark')
              LOAD_CONST              56 ('repair trajectory reuse count and closure lift')

 56           BUILD_MAP               11

 70           LOAD_CONST               4 ('source_id')
              LOAD_CONST              57 ('proofnet-2023')

 71           LOAD_CONST               6 ('title')
              LOAD_CONST              58 ('ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics')

 72           LOAD_CONST               8 ('url')
              LOAD_CONST              59 ('https://arxiv.org/abs/2302.12433')

 73           LOAD_CONST              10 ('kind')
              LOAD_CONST              29 ('paper')

 74           LOAD_CONST              12 ('category')
              LOAD_CONST              60 ('autoformalization')

 75           LOAD_CONST              14 ('core_idea')
              LOAD_CONST              61 ('Pair informal theorem/proof with formal statements to evaluate autoformalization.')

 76           LOAD_CONST              16 ('copy_into_witsoc')
              LOAD_CONST              62 ('Grade formalization separately from proof, with backtranslation/faithfulness gates.')

 77           LOAD_CONST              18 ('avoid')
              LOAD_CONST              63 ('Do not treat an elaborating Lean statement as faithful by default.')

 78           LOAD_CONST              20 ('component')
              LOAD_CONST              64 ('Generator Lean')

 79           LOAD_CONST              22 ('implementation_task')
              LOAD_CONST              65 ('formalization faithfulness score and ambiguity ledger')

 80           LOAD_CONST              24 ('benchmark')
              LOAD_CONST              66 ('faithfulness agreement on a held-out formalization suite')

 69           BUILD_MAP               11

 83           LOAD_CONST               4 ('source_id')
              LOAD_CONST              67 ('minif2f-2021')

 84           LOAD_CONST               6 ('title')
              LOAD_CONST              68 ('miniF2F: a cross-system benchmark for formal Olympiad-level mathematics')

 85           LOAD_CONST               8 ('url')
              LOAD_CONST              69 ('https://arxiv.org/abs/2109.00110')

 86           LOAD_CONST              10 ('kind')
              LOAD_CONST              24 ('benchmark')

 87           LOAD_CONST              12 ('category')
              LOAD_CONST              70 ('evaluation')

 88           LOAD_CONST              14 ('core_idea')
              LOAD_CONST              71 ('Small, formal, cross-system benchmark with clear pass/fail proof checking.')

 89           LOAD_CONST              16 ('copy_into_witsoc')
              LOAD_CONST              72 ('Use fixed regression suites for honest prover progress.')

 90           LOAD_CONST              18 ('avoid')
              LOAD_CONST              73 ('Do not grade by number of generated nodes.')

 91           LOAD_CONST              20 ('component')
              LOAD_CONST              74 ('Evaluation')

 92           LOAD_CONST              22 ('implementation_task')
              LOAD_CONST              75 ('benchmark-suite command with stable tasks and pass@k')

 93           LOAD_CONST              24 ('benchmark')
              LOAD_CONST              76 ('pass@1/pass@8 on fixed Witsoc and miniF2F-style goals')

 82           BUILD_MAP               11

 96           LOAD_CONST               4 ('source_id')
              LOAD_CONST              77 ('funsearch-2023')

 97           LOAD_CONST               6 ('title')
              LOAD_CONST              78 ('FunSearch: Mathematical discoveries from program search with LLMs')

 98           LOAD_CONST               8 ('url')
              LOAD_CONST              79 ('https://github.com/google-deepmind/funsearch')

 99           LOAD_CONST              10 ('kind')
              LOAD_CONST              11 ('paper+repo')

100           LOAD_CONST              12 ('category')
              LOAD_CONST              80 ('discovery_evolution')

101           LOAD_CONST              14 ('core_idea')
              LOAD_CONST              81 ('Search over programs with an evaluator and evolve high-scoring candidates.')

102           LOAD_CONST              16 ('copy_into_witsoc')
              LOAD_CONST              82 ('Frame construction/invariant discovery as executable candidate programs with scores.')

103           LOAD_CONST              18 ('avoid')
              LOAD_CONST              83 ('Do not accept natural-language discovery claims without evaluators.')

104           LOAD_CONST              20 ('component')
              LOAD_CONST              84 ('Discoverer/Generator WIT')

105           LOAD_CONST              22 ('implementation_task')
              LOAD_CONST              85 ('evolve-construction/evolve-invariant engines with objective ledgers')

106           LOAD_CONST              24 ('benchmark')
              LOAD_CONST              86 ('best score improvement over seeded baselines')

 95           BUILD_MAP               11

109           LOAD_CONST               4 ('source_id')
              LOAD_CONST              87 ('alphaevolve-2025')

110           LOAD_CONST               6 ('title')
              LOAD_CONST              88 ('AlphaEvolve: A coding agent for scientific and algorithmic discovery')

111           LOAD_CONST               8 ('url')
              LOAD_CONST              89 ('https://arxiv.org/abs/2506.13131')

112           LOAD_CONST              10 ('kind')
              LOAD_CONST              29 ('paper')

113           LOAD_CONST              12 ('category')
              LOAD_CONST              80 ('discovery_evolution')

114           LOAD_CONST              14 ('core_idea')
              LOAD_CONST              90 ('Iteratively modify code under automated evaluation to discover algorithms/constructions.')

115           LOAD_CONST              16 ('copy_into_witsoc')
              LOAD_CONST              91 ('Add island-style populations and evaluator-driven mutation for open-problem subsearches.')

116           LOAD_CONST              18 ('avoid')
              LOAD_CONST              92 ('Do not use evolution where no cheap correctness or score function exists.')

117           LOAD_CONST              20 ('component')
              LOAD_CONST              93 ('Discoverer')

118           LOAD_CONST              22 ('implementation_task')
              LOAD_CONST              94 ('population database for construction_search/program_evolve')

119           LOAD_CONST              24 ('benchmark')
              LOAD_CONST              95 ('diversity and best-score curves')

108           BUILD_MAP               11

122           LOAD_CONST               4 ('source_id')
              LOAD_CONST              96 ('codeevolve-2025')

123           LOAD_CONST               6 ('title')
              LOAD_CONST              97 ('CodeEvolve: An open source evolutionary coding agent')

124           LOAD_CONST               8 ('url')
              LOAD_CONST              98 ('https://arxiv.org/abs/2510.14150')

125           LOAD_CONST              10 ('kind')
              LOAD_CONST              11 ('paper+repo')

126           LOAD_CONST              12 ('category')
              LOAD_CONST              99 ('open_source_evolution')

127           LOAD_CONST              14 ('core_idea')
              LOAD_CONST             100 ('Open evolutionary coding framework with diversity/islands/crossover.')

128           LOAD_CONST              16 ('copy_into_witsoc')
              LOAD_CONST             101 ('Use diversity-preserving populations for Explorer attack sketches.')

129           LOAD_CONST              18 ('avoid')
              LOAD_CONST             102 ('Do not collapse to one best sketch too early.')

130           LOAD_CONST              20 ('component')
              LOAD_CONST             103 ('Explorer/Discoverer')

131           LOAD_CONST              22 ('implementation_task')
              LOAD_CONST             104 ('sketch population diversity metrics and crossover operator')

132           LOAD_CONST              24 ('benchmark')
              LOAD_CONST             105 ('unique non-duplicate attack families per campaign')

121           BUILD_MAP               11

135           LOAD_CONST               4 ('source_id')
              LOAD_CONST             106 ('alphageometry-2024')

136           LOAD_CONST               6 ('title')
              LOAD_CONST             107 ('AlphaGeometry / AlphaGeometry 2')

137           LOAD_CONST               8 ('url')
              LOAD_CONST             108 ('https://www.nature.com/articles/s41586-023-06747-5')

138           LOAD_CONST              10 ('kind')
              LOAD_CONST             109 ('paper/system')

139           LOAD_CONST              12 ('category')
              LOAD_CONST             110 ('neuro_symbolic')

140           LOAD_CONST              14 ('core_idea')
              LOAD_CONST             111 ('Neural construction proposals plus symbolic deduction engine.')

141           LOAD_CONST              16 ('copy_into_witsoc')
              LOAD_CONST             112 ('Pair domain-specific symbolic engines with bus-generated auxiliary objects.')

142           LOAD_CONST              18 ('avoid')
              LOAD_CONST             113 ('Do not expect one generic prover to handle domain-specific constructive moves.')

143           LOAD_CONST              20 ('component')
              LOAD_CONST             114 ('Explorer/Prover')

144           LOAD_CONST              22 ('implementation_task')
              LOAD_CONST             115 ('domain engine registry with construction proposal API')

145           LOAD_CONST              24 ('benchmark')
              LOAD_CONST             116 ('domain-specific closure over generic prover baseline')

134           BUILD_MAP               11

148           LOAD_CONST               4 ('source_id')
              LOAD_CONST             117 ('alphaproof-2024')

149           LOAD_CONST               6 ('title')
              LOAD_CONST             118 ('AlphaProof and AlphaGeometry IMO 2024 report')

150           LOAD_CONST               8 ('url')
              LOAD_CONST             119 ('https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/')

151           LOAD_CONST              10 ('kind')
              LOAD_CONST             120 ('technical_article')

152           LOAD_CONST              12 ('category')
              LOAD_CONST             121 ('formal_rl')

153           LOAD_CONST              14 ('core_idea')
              LOAD_CONST             122 ('Formal problem translation plus reinforcement learning over proof attempts.')

154           LOAD_CONST              16 ('copy_into_witsoc')
              LOAD_CONST             123 ('Make formal translation a first-class bus role and keep proof attempts as learning data.')

155           LOAD_CONST              18 ('avoid')
              LOAD_CONST             124 ('Do not hide long compute budgets; report time and attempts.')

156           LOAD_CONST              20 ('component')
              LOAD_CONST             125 ('Generator Lean/Orchestrator')

157           LOAD_CONST              22 ('implementation_task')
              LOAD_CONST             126 ('formalization attempt budget and proof trajectory export')

158           LOAD_CONST              24 ('benchmark')
              LOAD_CONST             127 ('time-to-first-formalized-goal and closure rate')

147           BUILD_MAP               11

161           LOAD_CONST               4 ('source_id')
              LOAD_CONST             128 ('tao-ai-math-2026')

162           LOAD_CONST               6 ('title')
              LOAD_CONST             129 ('Mathematical methods and human thought in the age of AI')

163           LOAD_CONST               8 ('url')
              LOAD_CONST             130 ('https://arxiv.org/abs/2603.26524')

164           LOAD_CONST              10 ('kind')
              LOAD_CONST             131 ('paper/interview_context')

165           LOAD_CONST              12 ('category')
              LOAD_CONST             132 ('human_centered_math')

166           LOAD_CONST              14 ('core_idea')
              LOAD_CONST             133 ('AI math tools should expand human/orchestrator capability with transparency and collaboration.')

167           LOAD_CONST              16 ('copy_into_witsoc')
              LOAD_CONST             134 ('Expose confidence, blockers, exact next action, and audit trails.')

168           LOAD_CONST              18 ('avoid')
              LOAD_CONST             135 ('Do not build a black-box solver that cannot explain why it is stuck.')

169           LOAD_CONST              20 ('component')
              LOAD_CONST             136 ('Orchestrator Interface')

170           LOAD_CONST              22 ('implementation_task')
              LOAD_CONST             137 ('skill-grade/next/dashboard transparency surfaces')

171           LOAD_CONST              24 ('benchmark')
              LOAD_CONST             138 ('orchestrator manual file-inspection count per campaign')

160           BUILD_MAP               11

 16           BUILD_LIST              12
              STORE_NAME               7 (SEED_SOURCES)

176           LOAD_CONST             139 (<code object __annotate__ at 0x7dd2db606e20, file "strings/skills/witsoc/scripts/research_corpus.py", line 176>)
              MAKE_FUNCTION
              LOAD_CONST             140 (<code object grade_letter at 0x7dd2db66f870, file "strings/skills/witsoc/scripts/research_corpus.py", line 176>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME               8 (grade_letter)

188           LOAD_CONST             141 (<code object __annotate__ at 0x7dd2db605020, file "strings/skills/witsoc/scripts/research_corpus.py", line 188>)
              MAKE_FUNCTION
              LOAD_CONST             142 (<code object summary at 0x264b8aa0, file "strings/skills/witsoc/scripts/research_corpus.py", line 188>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME               9 (summary)

207           LOAD_CONST             143 (<code object __annotate__ at 0x7dd2db606a60, file "strings/skills/witsoc/scripts/research_corpus.py", line 207>)
              MAKE_FUNCTION
              LOAD_CONST             144 (<code object main at 0x264c6680, file "strings/skills/witsoc/scripts/research_corpus.py", line 207>)
              MAKE_FUNCTION
              SET_FUNCTION_ATTRIBUTE  16 (annotate)
              STORE_NAME              10 (main)

235           LOAD_NAME               11 (__name__)
              LOAD_CONST             145 ('__main__')
              COMPARE_OP              88 (bool(==))
              POP_JUMP_IF_FALSE       14 (to L1)
              NOT_TAKEN

236           LOAD_NAME               12 (SystemExit)
              PUSH_NULL
              LOAD_NAME               10 (main)
              PUSH_NULL
              CALL                     0
              CALL                     1
              RAISE_VARARGS            1

235   L1:     LOAD_CONST               2 (None)
              RETURN_VALUE

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

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

178           LOAD_CONST               1 ('A')
              RETURN_VALUE

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

180           LOAD_CONST               2 ('B')
              RETURN_VALUE

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

182           LOAD_CONST               3 ('C')
              RETURN_VALUE

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

184           LOAD_CONST               4 ('D')
              RETURN_VALUE

185   L4:     LOAD_CONST               5 ('F')
              RETURN_VALUE

======================================================================
# code object: __annotate__  args=('format',)
188           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 ('corpus')
              LOAD_CONST               2 ('list[dict]')
              LOAD_CONST               3 ('return')
              LOAD_CONST               4 ('dict')
              BUILD_MAP                2
              RETURN_VALUE

======================================================================
# code object: summary  args=('corpus',)
# DOCSTRING: 'category'
188           RESUME                   0

189           BUILD_MAP                0
              STORE_FAST               1 (by_category)

190           BUILD_MAP                0
              STORE_FAST               2 (by_component)

191           LOAD_FAST_BORROW         0 (corpus)
              GET_ITER
      L1:     FOR_ITER                85 (to L2)
              STORE_FAST               3 (item)

192           LOAD_FAST_BORROW         1 (by_category)
              LOAD_ATTR                1 (get + NULL|self)
              LOAD_FAST_BORROW         3 (item)
              LOAD_CONST               0 ('category')
              BINARY_OP               26 ([])
              LOAD_SMALL_INT           0
              CALL                     2
              LOAD_SMALL_INT           1
              BINARY_OP                0 (+)
              LOAD_FAST_BORROW_LOAD_FAST_BORROW 19 (by_category, item)
              LOAD_CONST               0 ('category')
              BINARY_OP               26 ([])
              STORE_SUBSCR

193           LOAD_FAST_BORROW         2 (by_component)
              LOAD_ATTR                1 (get + NULL|self)
              LOAD_FAST_BORROW         3 (item)
              LOAD_CONST               1 ('component')
              BINARY_OP               26 ([])
              LOAD_SMALL_INT           0
              CALL                     2
              LOAD_SMALL_INT           1
              BINARY_OP                0 (+)
              LOAD_FAST_BORROW_LOAD_FAST_BORROW 35 (by_component, item)
              LOAD_CONST               1 ('component')
              BINARY_OP               26 ([])
              STORE_SUBSCR
              JUMP_BACKWARD           87 (to L1)

191   L2:     END_FOR
              POP_ITER

194           LOAD_GLOBAL              3 (min + NULL)
              LOAD_SMALL_INT         100
              LOAD_GLOBAL              5 (int + NULL)
              LOAD_GLOBAL              7 (len + NULL)
              LOAD_FAST_BORROW         0 (corpus)
              CALL                     1
              LOAD_SMALL_INT         100
              BINARY_OP               11 (/)
              LOAD_SMALL_INT         100
              BINARY_OP                5 (*)
              CALL                     1
              CALL                     2
              STORE_FAST               4 (coverage)

196           LOAD_CONST               2 ('schema')
              LOAD_CONST               3 ('witsoc.research_corpus.summary.v1')

197           LOAD_CONST               4 ('sources')
              LOAD_GLOBAL              7 (len + NULL)
              LOAD_FAST_BORROW         0 (corpus)
              CALL                     1

198           LOAD_CONST               5 ('target_sources')
              LOAD_SMALL_INT         100

199           LOAD_CONST               6 ('coverage_percent')
              LOAD_FAST_BORROW         4 (coverage)

200           LOAD_CONST               7 ('coverage_grade')
              LOAD_GLOBAL              9 (grade_letter + NULL)
              LOAD_FAST_BORROW         4 (coverage)
              CALL                     1

201           LOAD_CONST               8 ('by_category')
              LOAD_FAST_BORROW         1 (by_category)

202           LOAD_CONST               9 ('by_component')
              LOAD_FAST_BORROW         2 (by_component)

203           LOAD_CONST              10 ('next')
              LOAD_CONST              11 ('extend corpus to 100 sources and attach each implementation_task to a test')

195           BUILD_MAP                8
              RETURN_VALUE

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

 208           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)

 209           LOAD_FAST_BORROW         0 (ap)
               LOAD_ATTR                7 (add_subparsers + NULL|self)
               LOAD_CONST               1 ('cmd')
               LOAD_CONST               2 (True)
               LOAD_CONST               3 (('dest', 'required'))
               CALL_KW                  2
               STORE_FAST               1 (sub)

 210           LOAD_FAST_BORROW         1 (sub)
               LOAD_ATTR                9 (add_parser + NULL|self)
               LOAD_CONST               4 ('seed')
               CALL                     1
               STORE_FAST               2 (p_seed)

 211           LOAD_FAST_BORROW         2 (p_seed)
               LOAD_ATTR               11 (add_argument + NULL|self)
               LOAD_CONST               5 ('--out')
               LOAD_GLOBAL             12 (Path)
               LOAD_CONST               6 (None)
               LOAD_CONST               7 (('type', 'default'))
               CALL_KW                  3
               POP_TOP

 212           LOAD_FAST_BORROW         1 (sub)
               LOAD_ATTR                9 (add_parser + NULL|self)
               LOAD_CONST               8 ('summary')
               CALL                     1
               POP_TOP

 213           LOAD_FAST_BORROW         1 (sub)
               LOAD_ATTR                9 (add_parser + NULL|self)
               LOAD_CONST               9 ('tasks')
               CALL                     1
               POP_TOP

 214           LOAD_FAST_BORROW         0 (ap)
               LOAD_ATTR               15 (parse_args + NULL|self)
               CALL                     0
               STORE_FAST               3 (args)

 216           LOAD_FAST_BORROW         3 (args)
               LOAD_ATTR               16 (cmd)
               LOAD_CONST               4 ('seed')
               COMPARE_OP              88 (bool(==))
               POP_JUMP_IF_FALSE      163 (to L2)
               NOT_TAKEN

 217           LOAD_CONST              10 ('schema')
               LOAD_CONST              11 ('witsoc.research_corpus.v1')
               LOAD_CONST              12 ('sources')
               LOAD_GLOBAL             18 (SEED_SOURCES)
               BUILD_MAP                2
               STORE_FAST               4 (payload)

 218           LOAD_FAST_BORROW         3 (args)
               LOAD_ATTR               20 (out)
               TO_BOOL
               POP_JUMP_IF_FALSE       99 (to L1)
               NOT_TAKEN

 219           LOAD_FAST_BORROW         3 (args)
               LOAD_ATTR               20 (out)
               LOAD_ATTR               22 (parent)
               LOAD_ATTR               25 (mkdir + NULL|self)
               LOAD_CONST               2 (True)
               LOAD_CONST               2 (True)
               LOAD_CONST              13 (('parents', 'exist_ok'))
               CALL_KW                  2
               POP_TOP

 220           LOAD_FAST_BORROW         3 (args)
               LOAD_ATTR               20 (out)
               LOAD_ATTR               27 (write_text + NULL|self)
               LOAD_GLOBAL             28 (json)
               LOAD_ATTR               30 (dumps)
               PUSH_NULL
               LOAD_FAST_BORROW         4 (payload)
               LOAD_SMALL_INT           2
               LOAD_CONST              14 (False)
               LOAD_CONST              15 (('indent', 'ensure_ascii'))
               CALL_KW                  3
               LOAD_CONST              16 ('\n')
               BINARY_OP                0 (+)
               LOAD_CONST              17 ('utf-8')
               LOAD_CONST              18 (('encoding',))
               CALL_KW                  2
               POP_TOP

 221   L1:     LOAD_GLOBAL             33 (print + NULL)
               LOAD_GLOBAL             28 (json)
               LOAD_ATTR               30 (dumps)
               PUSH_NULL
               LOAD_FAST_BORROW         4 (payload)
               LOAD_SMALL_INT           2
               LOAD_CONST              14 (False)
               LOAD_CONST              15 (('indent', 'ensure_ascii'))
               CALL_KW                  3
               CALL                     1
               POP_TOP

 232           LOAD_SMALL_INT           0
               RETURN_VALUE

 222   L2:     LOAD_FAST_BORROW         3 (args)
               LOAD_ATTR               16 (cmd)
               LOAD_CONST               8 ('summary')
               COMPARE_OP              88 (bool(==))
               POP_JUMP_IF_FALSE       50 (to L3)
               NOT_TAKEN

 223           LOAD_GLOBAL             33 (print + NULL)
               LOAD_GLOBAL             28 (json)
               LOAD_ATTR               30 (dumps)
               PUSH_NULL
               LOAD_GLOBAL             35 (summary + NULL)
               LOAD_GLOBAL             18 (SEED_SOURCES)
               CALL                     1
               LOAD_SMALL_INT           2
               LOAD_CONST              14 (False)
               LOAD_CONST              15 (('indent', 'ensure_ascii'))
               CALL_KW                  3
               CALL                     1
               POP_TOP

 232           LOAD_SMALL_INT           0
               RETURN_VALUE

 230   L3:     LOAD_GLOBAL             18 (SEED_SOURCES)
               GET_ITER

 225           LOAD_FAST_AND_CLEAR      5 (s)
               SWAP                     2
       L4:     BUILD_LIST               0
               SWAP                     2

 230   L5:     FOR_ITER                41 (to L6)
               STORE_FAST               5 (s)

 226           LOAD_CONST              19 ('source_id')
               LOAD_FAST_BORROW         5 (s)
               LOAD_CONST              19 ('source_id')
               BINARY_OP               26 ([])

 227           LOAD_CONST              20 ('component')
               LOAD_FAST_BORROW         5 (s)
               LOAD_CONST              20 ('component')
               BINARY_OP               26 ([])

 228           LOAD_CONST              21 ('implementation_task')
               LOAD_FAST_BORROW         5 (s)
               LOAD_CONST              21 ('implementation_task')
               BINARY_OP               26 ([])

 229           LOAD_CONST              22 ('benchmark')
               LOAD_FAST_BORROW         5 (s)
               LOAD_CONST              22 ('benchmark')
               BINARY_OP               26 ([])

 225           BUILD_MAP                4
               LIST_APPEND              2
               JUMP_BACKWARD           43 (to L5)

 230   L6:     END_FOR
               POP_ITER

 225   L7:     STORE_FAST               6 (tasks)
               STORE_FAST               5 (s)

 231           LOAD_GLOBAL             33 (print + NULL)
               LOAD_GLOBAL             28 (json)
               LOAD_ATTR               30 (dumps)
               PUSH_NULL
               LOAD_CONST              10 ('schema')
               LOAD_CONST              23 ('witsoc.research_corpus.tasks.v1')
               LOAD_CONST               9 ('tasks')
               LOAD_FAST_BORROW         6 (tasks)
               BUILD_MAP                2
               LOAD_SMALL_INT           2
               LOAD_CONST              14 (False)
               LOAD_CONST              15 (('indent', 'ensure_ascii'))
               CALL_KW                  3
               CALL                     1
               POP_TOP

 232           LOAD_SMALL_INT           0
               RETURN_VALUE

  --   L8:     SWAP                     2
               POP_TOP

 225           SWAP                     2
               STORE_FAST               5 (s)
               RERAISE                  0
ExceptionTable:
  L4 to L7 -> L8 [2]
