pythsol 0.1.0__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (351) hide show
  1. pythsol-0.1.0/.dockerignore +25 -0
  2. pythsol-0.1.0/.gitattributes +20 -0
  3. pythsol-0.1.0/.github/workflows/ci.yml +56 -0
  4. pythsol-0.1.0/.gitignore +49 -0
  5. pythsol-0.1.0/.hypothesis/.gitignore +9 -0
  6. pythsol-0.1.0/.hypothesis/constants/031aebb2f3b2a2c0 +4 -0
  7. pythsol-0.1.0/.hypothesis/constants/109ffa717e9f5cad +4 -0
  8. pythsol-0.1.0/.hypothesis/constants/1432b49e480b5efe +4 -0
  9. pythsol-0.1.0/.hypothesis/constants/145fb89de615dd3d +4 -0
  10. pythsol-0.1.0/.hypothesis/constants/27381e396281016e +4 -0
  11. pythsol-0.1.0/.hypothesis/constants/2a2cacbf1722e8b8 +4 -0
  12. pythsol-0.1.0/.hypothesis/constants/2ef4cd08bc681a2e +4 -0
  13. pythsol-0.1.0/.hypothesis/constants/2f706d53bec66b60 +4 -0
  14. pythsol-0.1.0/.hypothesis/constants/31a2710099a0e330 +4 -0
  15. pythsol-0.1.0/.hypothesis/constants/32d445a1af8622dd +4 -0
  16. pythsol-0.1.0/.hypothesis/constants/361205e2da149090 +4 -0
  17. pythsol-0.1.0/.hypothesis/constants/3d3c70f9803cc291 +4 -0
  18. pythsol-0.1.0/.hypothesis/constants/3d71ede2800d26c0 +4 -0
  19. pythsol-0.1.0/.hypothesis/constants/457732088552a781 +4 -0
  20. pythsol-0.1.0/.hypothesis/constants/46bfcf15f9ad0c87 +4 -0
  21. pythsol-0.1.0/.hypothesis/constants/4819fa82325d957d +4 -0
  22. pythsol-0.1.0/.hypothesis/constants/488bff215b00ced8 +4 -0
  23. pythsol-0.1.0/.hypothesis/constants/4a2c7d6687616b02 +4 -0
  24. pythsol-0.1.0/.hypothesis/constants/4b246c406bbf6590 +4 -0
  25. pythsol-0.1.0/.hypothesis/constants/4c3d7ad3d7ba7388 +4 -0
  26. pythsol-0.1.0/.hypothesis/constants/4dbfe92a1a8b733c +4 -0
  27. pythsol-0.1.0/.hypothesis/constants/4e3e1cf2035ce124 +4 -0
  28. pythsol-0.1.0/.hypothesis/constants/4fac49e3f521d76b +4 -0
  29. pythsol-0.1.0/.hypothesis/constants/5358fccdcc6f6e14 +4 -0
  30. pythsol-0.1.0/.hypothesis/constants/549163ca76b2aa18 +4 -0
  31. pythsol-0.1.0/.hypothesis/constants/55247f67fcd17bac +4 -0
  32. pythsol-0.1.0/.hypothesis/constants/55311f83c1cffb8e +4 -0
  33. pythsol-0.1.0/.hypothesis/constants/5802792e4e7ce642 +4 -0
  34. pythsol-0.1.0/.hypothesis/constants/5eba0830fda307fd +4 -0
  35. pythsol-0.1.0/.hypothesis/constants/5f744caad97c0007 +4 -0
  36. pythsol-0.1.0/.hypothesis/constants/61b4be93e6123032 +4 -0
  37. pythsol-0.1.0/.hypothesis/constants/62aea6ed936ddd87 +4 -0
  38. pythsol-0.1.0/.hypothesis/constants/6486009ce4e58abb +4 -0
  39. pythsol-0.1.0/.hypothesis/constants/65b64b21acd275a6 +4 -0
  40. pythsol-0.1.0/.hypothesis/constants/68c6821714b6e1f2 +4 -0
  41. pythsol-0.1.0/.hypothesis/constants/6c85d416ebec6fb4 +4 -0
  42. pythsol-0.1.0/.hypothesis/constants/6f4b7db649bdc05d +4 -0
  43. pythsol-0.1.0/.hypothesis/constants/7127991dbe06f6a5 +4 -0
  44. pythsol-0.1.0/.hypothesis/constants/71c8446bef4d7ed6 +4 -0
  45. pythsol-0.1.0/.hypothesis/constants/72120a4623f64812 +4 -0
  46. pythsol-0.1.0/.hypothesis/constants/74760d7690b28164 +4 -0
  47. pythsol-0.1.0/.hypothesis/constants/74be0785f55c9b6a +4 -0
  48. pythsol-0.1.0/.hypothesis/constants/74d836a677058605 +4 -0
  49. pythsol-0.1.0/.hypothesis/constants/79c839fd70f4cdd7 +4 -0
  50. pythsol-0.1.0/.hypothesis/constants/7a8e304b534806f6 +4 -0
  51. pythsol-0.1.0/.hypothesis/constants/7f5ca75171d2d356 +4 -0
  52. pythsol-0.1.0/.hypothesis/constants/83ac8bf710ca985b +4 -0
  53. pythsol-0.1.0/.hypothesis/constants/83c7963bbdf990ea +4 -0
  54. pythsol-0.1.0/.hypothesis/constants/87350c748582d170 +4 -0
  55. pythsol-0.1.0/.hypothesis/constants/87e686063d8d06ae +4 -0
  56. pythsol-0.1.0/.hypothesis/constants/88c00445b8fb6c6a +4 -0
  57. pythsol-0.1.0/.hypothesis/constants/8a13272c70769f0e +4 -0
  58. pythsol-0.1.0/.hypothesis/constants/918b0ad0a84c89dc +4 -0
  59. pythsol-0.1.0/.hypothesis/constants/9837896ec766f3ef +4 -0
  60. pythsol-0.1.0/.hypothesis/constants/9def847b81ae6934 +4 -0
  61. pythsol-0.1.0/.hypothesis/constants/9e7b243ede707715 +4 -0
  62. pythsol-0.1.0/.hypothesis/constants/9fb38e2394380923 +4 -0
  63. pythsol-0.1.0/.hypothesis/constants/a056896deab5ebd2 +4 -0
  64. pythsol-0.1.0/.hypothesis/constants/a2c65d26b48d5429 +4 -0
  65. pythsol-0.1.0/.hypothesis/constants/a7ef5fb7701eeda0 +4 -0
  66. pythsol-0.1.0/.hypothesis/constants/a84492198fc781e7 +4 -0
  67. pythsol-0.1.0/.hypothesis/constants/a88b0d3cec5531eb +4 -0
  68. pythsol-0.1.0/.hypothesis/constants/a8a7edf26dbe39d2 +4 -0
  69. pythsol-0.1.0/.hypothesis/constants/ab092221c31526bb +4 -0
  70. pythsol-0.1.0/.hypothesis/constants/ae6582cc7ba552a7 +4 -0
  71. pythsol-0.1.0/.hypothesis/constants/b504bfcbbea33d72 +4 -0
  72. pythsol-0.1.0/.hypothesis/constants/b788d6a0f9a14b07 +4 -0
  73. pythsol-0.1.0/.hypothesis/constants/c2ac9ea607e313cc +4 -0
  74. pythsol-0.1.0/.hypothesis/constants/c7283172cf8e2880 +4 -0
  75. pythsol-0.1.0/.hypothesis/constants/c83b917c9021215f +4 -0
  76. pythsol-0.1.0/.hypothesis/constants/c95590fd88d8c420 +4 -0
  77. pythsol-0.1.0/.hypothesis/constants/ca82d047a9a7327e +4 -0
  78. pythsol-0.1.0/.hypothesis/constants/cb349f49891f6070 +4 -0
  79. pythsol-0.1.0/.hypothesis/constants/cf3d11ee025a0a2b +4 -0
  80. pythsol-0.1.0/.hypothesis/constants/d29b34790d1c1ad1 +4 -0
  81. pythsol-0.1.0/.hypothesis/constants/d46c0de98f3002c9 +4 -0
  82. pythsol-0.1.0/.hypothesis/constants/dfadc1beca0e437a +4 -0
  83. pythsol-0.1.0/.hypothesis/constants/e0d27c9699f467cd +4 -0
  84. pythsol-0.1.0/.hypothesis/constants/e26423403d13e1f4 +4 -0
  85. pythsol-0.1.0/.hypothesis/constants/e71713e1593150a3 +4 -0
  86. pythsol-0.1.0/.hypothesis/constants/eef96c8366cd8078 +4 -0
  87. pythsol-0.1.0/.hypothesis/constants/ef4381733ba21f56 +4 -0
  88. pythsol-0.1.0/.hypothesis/constants/f238b7497b856d08 +4 -0
  89. pythsol-0.1.0/.hypothesis/constants/f79195eb453d2971 +4 -0
  90. pythsol-0.1.0/.hypothesis/constants/fae202eba21748b9 +4 -0
  91. pythsol-0.1.0/.hypothesis/constants/ff4507b7095a7068 +4 -0
  92. pythsol-0.1.0/.hypothesis/examples/04e6b3400353b141/1446ce842766185f +1 -0
  93. pythsol-0.1.0/.hypothesis/examples/04e6b3400353b141/3dee2c05963f985a +1 -0
  94. pythsol-0.1.0/.hypothesis/examples/1446ce842766185f/e162f5fcf531a9fe +0 -0
  95. pythsol-0.1.0/.hypothesis/examples/3dee2c05963f985a/2b4894ceb4c2146a +0 -0
  96. pythsol-0.1.0/.hypothesis/examples/3dee2c05963f985a/2f070499df167553 +0 -0
  97. pythsol-0.1.0/.hypothesis/examples/3dee2c05963f985a/4b12931d746f56f8 +0 -0
  98. pythsol-0.1.0/.hypothesis/examples/3dee2c05963f985a/52eb7cf38525cb7a +0 -0
  99. pythsol-0.1.0/.hypothesis/examples/3dee2c05963f985a/5cf2a657a39c7acf +0 -0
  100. pythsol-0.1.0/.hypothesis/examples/3dee2c05963f985a/5f60466cc49c45a5 +0 -0
  101. pythsol-0.1.0/.hypothesis/examples/3dee2c05963f985a/64935c231eafceec +0 -0
  102. pythsol-0.1.0/.hypothesis/examples/3dee2c05963f985a/7b1d7996ac6c83e1 +0 -0
  103. pythsol-0.1.0/.hypothesis/examples/3dee2c05963f985a/c2b39e1a0275f08c +0 -0
  104. pythsol-0.1.0/.hypothesis/examples/3dee2c05963f985a/cc41779c4ca77a01 +0 -0
  105. pythsol-0.1.0/.hypothesis/examples/3dee2c05963f985a/d1e616361251f61e +0 -0
  106. pythsol-0.1.0/.hypothesis/examples/3dee2c05963f985a/dfee7e192860bb7d +0 -0
  107. pythsol-0.1.0/.hypothesis/examples/3dee2c05963f985a/f92e61389dde2b47 +0 -0
  108. pythsol-0.1.0/.python-version +1 -0
  109. pythsol-0.1.0/AGENTS.md +41 -0
  110. pythsol-0.1.0/CHANGELOG.md +48 -0
  111. pythsol-0.1.0/CODE_OF_CONDUCT.md +10 -0
  112. pythsol-0.1.0/CONTRIBUTING.md +31 -0
  113. pythsol-0.1.0/LICENSE +202 -0
  114. pythsol-0.1.0/PKG-INFO +178 -0
  115. pythsol-0.1.0/PRD.md +423 -0
  116. pythsol-0.1.0/README.md +143 -0
  117. pythsol-0.1.0/SECURITY.md +23 -0
  118. pythsol-0.1.0/Spikes/c/dump_input.c +29 -0
  119. pythsol-0.1.0/Spikes/c/hello.c +20 -0
  120. pythsol-0.1.0/Spikes/c/u128.c +42 -0
  121. pythsol-0.1.0/Spikes/c/u128_div.c +52 -0
  122. pythsol-0.1.0/Spikes/python/cn_litesvm_hello.py +82 -0
  123. pythsol-0.1.0/Spikes/python/dbg_arith_bisect.py +125 -0
  124. pythsol-0.1.0/Spikes/python/dbg_arith_litesvm.py +235 -0
  125. pythsol-0.1.0/Spikes/python/dbg_build_vercel_payload.py +36 -0
  126. pythsol-0.1.0/Spikes/python/dbg_build_vercel_play_payload.py +68 -0
  127. pythsol-0.1.0/Spikes/python/dbg_check_docs_css.py +34 -0
  128. pythsol-0.1.0/Spikes/python/dbg_check_landing.py +116 -0
  129. pythsol-0.1.0/Spikes/python/dbg_check_live_css.py +39 -0
  130. pythsol-0.1.0/Spikes/python/dbg_check_live_site.py +252 -0
  131. pythsol-0.1.0/Spikes/python/dbg_counter_litesvm.py +94 -0
  132. pythsol-0.1.0/Spikes/python/dbg_dump_input.py +62 -0
  133. pythsol-0.1.0/Spikes/python/dbg_grep_rules.py +25 -0
  134. pythsol-0.1.0/Spikes/python/dbg_neg_probe.py +73 -0
  135. pythsol-0.1.0/Spikes/python/dbg_palette_blocks.py +16 -0
  136. pythsol-0.1.0/Spikes/python/dbg_smoke_stage_wsgi.py +107 -0
  137. pythsol-0.1.0/Spikes/python/dbg_u128_spike.py +49 -0
  138. pythsol-0.1.0/Spikes/python/phase2_deepfuzz.py +49 -0
  139. pythsol-0.1.0/Spikes/python/phase2_fixtures.py +33 -0
  140. pythsol-0.1.0/Spikes/python/phase2_smoke.py +33 -0
  141. pythsol-0.1.0/TRD.md +785 -0
  142. pythsol-0.1.0/api/index.py +32 -0
  143. pythsol-0.1.0/brand/pythsol-mark-512.png +0 -0
  144. pythsol-0.1.0/brand/pythsol-mark.svg +26 -0
  145. pythsol-0.1.0/contrib/vscode/README.md +15 -0
  146. pythsol-0.1.0/contrib/vscode/extension.js +101 -0
  147. pythsol-0.1.0/contrib/vscode/package.json +26 -0
  148. pythsol-0.1.0/deploy/Dockerfile +60 -0
  149. pythsol-0.1.0/deploy/fly.toml +26 -0
  150. pythsol-0.1.0/deploy/render.yaml +12 -0
  151. pythsol-0.1.0/deploy/vercel/api/check.py +18 -0
  152. pythsol-0.1.0/deploy/vercel/api/compile.py +26 -0
  153. pythsol-0.1.0/deploy/vercel/api/emit.py +19 -0
  154. pythsol-0.1.0/deploy/vercel/api/examples.py +46 -0
  155. pythsol-0.1.0/deploy/vercel/api/health.py +17 -0
  156. pythsol-0.1.0/deploy/vercel/api/wsgi_common.py +56 -0
  157. pythsol-0.1.0/deploy/vercel/index.py +249 -0
  158. pythsol-0.1.0/deploy/vercel/vercel.json +3 -0
  159. pythsol-0.1.0/docs/HANDOFF.md +376 -0
  160. pythsol-0.1.0/docs/STATUS.md +113 -0
  161. pythsol-0.1.0/docs/architecture.md +230 -0
  162. pythsol-0.1.0/docs/benchmarks.md +24 -0
  163. pythsol-0.1.0/docs/comparison-typesol.md +56 -0
  164. pythsol-0.1.0/docs/decisions/ADR-0001-name.md +36 -0
  165. pythsol-0.1.0/docs/decisions/ADR-0002-license.md +33 -0
  166. pythsol-0.1.0/docs/decisions/ADR-0003-dsl-syntax.md +65 -0
  167. pythsol-0.1.0/docs/decisions/ADR-0004-python-compiler.md +34 -0
  168. pythsol-0.1.0/docs/decisions/ADR-0005-docs-site-starlight.md +37 -0
  169. pythsol-0.1.0/docs/decisions/ADR-0006-toolchain-platform-tools.md +48 -0
  170. pythsol-0.1.0/docs/decisions/ADR-0007-testing-litesvm.md +42 -0
  171. pythsol-0.1.0/docs/decisions/ADR-0008-light-theme.md +36 -0
  172. pythsol-0.1.0/docs/decisions/ADR-0009-pyright-optional.md +42 -0
  173. pythsol-0.1.0/docs/decisions/ADR-0010-runtime-abi-and-input-layout.md +153 -0
  174. pythsol-0.1.0/docs/gallery/README.md +12 -0
  175. pythsol-0.1.0/docs/gallery/index.json +62 -0
  176. pythsol-0.1.0/docs/guides/hosting.md +178 -0
  177. pythsol-0.1.0/docs/guides/migration.md +38 -0
  178. pythsol-0.1.0/docs/guides/recipes.md +61 -0
  179. pythsol-0.1.0/docs/guides/release.md +86 -0
  180. pythsol-0.1.0/docs/guides/testing.md +50 -0
  181. pythsol-0.1.0/docs/lighthouse.md +29 -0
  182. pythsol-0.1.0/examples/counter/programs/counter.py +52 -0
  183. pythsol-0.1.0/examples/escrow/programs/escrow.py +75 -0
  184. pythsol-0.1.0/examples/ledger/programs/ledger.py +68 -0
  185. pythsol-0.1.0/examples/multisig/programs/multisig.py +91 -0
  186. pythsol-0.1.0/examples/poll/programs/poll.py +70 -0
  187. pythsol-0.1.0/examples/vault/programs/vault.py +67 -0
  188. pythsol-0.1.0/pyproject.toml +104 -0
  189. pythsol-0.1.0/requirements.txt +1 -0
  190. pythsol-0.1.0/src/pythsol/__init__.py +317 -0
  191. pythsol-0.1.0/src/pythsol/cli/__init__.py +7 -0
  192. pythsol-0.1.0/src/pythsol/cli/cache.py +78 -0
  193. pythsol-0.1.0/src/pythsol/cli/cluster.py +45 -0
  194. pythsol-0.1.0/src/pythsol/cli/commands/build.py +214 -0
  195. pythsol-0.1.0/src/pythsol/cli/commands/check.py +54 -0
  196. pythsol-0.1.0/src/pythsol/cli/commands/client_cmd.py +97 -0
  197. pythsol-0.1.0/src/pythsol/cli/commands/deploy.py +103 -0
  198. pythsol-0.1.0/src/pythsol/cli/commands/docs_cmd.py +62 -0
  199. pythsol-0.1.0/src/pythsol/cli/commands/doctor.py +211 -0
  200. pythsol-0.1.0/src/pythsol/cli/commands/emit_c.py +69 -0
  201. pythsol-0.1.0/src/pythsol/cli/commands/faucet.py +66 -0
  202. pythsol-0.1.0/src/pythsol/cli/commands/idl_cmd.py +69 -0
  203. pythsol-0.1.0/src/pythsol/cli/commands/idl_publish.py +80 -0
  204. pythsol-0.1.0/src/pythsol/cli/commands/init.py +65 -0
  205. pythsol-0.1.0/src/pythsol/cli/commands/port_cmd.py +42 -0
  206. pythsol-0.1.0/src/pythsol/cli/commands/profile.py +57 -0
  207. pythsol-0.1.0/src/pythsol/cli/commands/serve.py +52 -0
  208. pythsol-0.1.0/src/pythsol/cli/commands/test_cmd.py +217 -0
  209. pythsol-0.1.0/src/pythsol/cli/commands/verify.py +96 -0
  210. pythsol-0.1.0/src/pythsol/cli/commands/wallet.py +128 -0
  211. pythsol-0.1.0/src/pythsol/cli/config.py +84 -0
  212. pythsol-0.1.0/src/pythsol/cli/main.py +72 -0
  213. pythsol-0.1.0/src/pythsol/cli/rpc.py +56 -0
  214. pythsol-0.1.0/src/pythsol/cli/template_programs/__init__.py +1 -0
  215. pythsol-0.1.0/src/pythsol/cli/template_programs/counter.py +52 -0
  216. pythsol-0.1.0/src/pythsol/cli/template_programs/escrow.py +75 -0
  217. pythsol-0.1.0/src/pythsol/cli/template_programs/ledger.py +68 -0
  218. pythsol-0.1.0/src/pythsol/cli/template_programs/multisig.py +91 -0
  219. pythsol-0.1.0/src/pythsol/cli/template_programs/poll.py +70 -0
  220. pythsol-0.1.0/src/pythsol/cli/template_programs/vault.py +67 -0
  221. pythsol-0.1.0/src/pythsol/cli/templates.py +192 -0
  222. pythsol-0.1.0/src/pythsol/client/__init__.py +5 -0
  223. pythsol-0.1.0/src/pythsol/client/from_idl.py +356 -0
  224. pythsol-0.1.0/src/pythsol/client/gen.py +496 -0
  225. pythsol-0.1.0/src/pythsol/client/port.py +355 -0
  226. pythsol-0.1.0/src/pythsol/compiler/__init__.py +39 -0
  227. pythsol-0.1.0/src/pythsol/compiler/diagnostics.py +130 -0
  228. pythsol-0.1.0/src/pythsol/compiler/emit.py +3550 -0
  229. pythsol-0.1.0/src/pythsol/compiler/front.py +84 -0
  230. pythsol-0.1.0/src/pythsol/compiler/idl.py +465 -0
  231. pythsol-0.1.0/src/pythsol/compiler/model.py +1329 -0
  232. pythsol-0.1.0/src/pythsol/compiler/modules.py +320 -0
  233. pythsol-0.1.0/src/pythsol/compiler/parse.py +59 -0
  234. pythsol-0.1.0/src/pythsol/compiler/pipeline.py +152 -0
  235. pythsol-0.1.0/src/pythsol/compiler/resolve.py +518 -0
  236. pythsol-0.1.0/src/pythsol/compiler/subset.py +1061 -0
  237. pythsol-0.1.0/src/pythsol/compiler/toolchain.py +438 -0
  238. pythsol-0.1.0/src/pythsol/compiler/typecheck.py +2447 -0
  239. pythsol-0.1.0/src/pythsol/playground/__init__.py +7 -0
  240. pythsol-0.1.0/src/pythsol/playground/app.css +182 -0
  241. pythsol-0.1.0/src/pythsol/playground/app.js +260 -0
  242. pythsol-0.1.0/src/pythsol/playground/apple-touch-icon.png +0 -0
  243. pythsol-0.1.0/src/pythsol/playground/docs.html +61 -0
  244. pythsol-0.1.0/src/pythsol/playground/favicon-32.png +0 -0
  245. pythsol-0.1.0/src/pythsol/playground/favicon.ico +0 -0
  246. pythsol-0.1.0/src/pythsol/playground/favicon.svg +24 -0
  247. pythsol-0.1.0/src/pythsol/playground/hero-bg.webp +0 -0
  248. pythsol-0.1.0/src/pythsol/playground/index.html +66 -0
  249. pythsol-0.1.0/src/pythsol/playground/landing.html +810 -0
  250. pythsol-0.1.0/src/pythsol/playground/playground.html +77 -0
  251. pythsol-0.1.0/src/pythsol/playground/robots.txt +4 -0
  252. pythsol-0.1.0/src/pythsol/playground/server.py +336 -0
  253. pythsol-0.1.0/src/pythsol/playground/site-bg.svg +146 -0
  254. pythsol-0.1.0/src/pythsol/playground/site.css +1105 -0
  255. pythsol-0.1.0/src/pythsol/py.typed +0 -0
  256. pythsol-0.1.0/src/pythsol/refrt/__init__.py +200 -0
  257. pythsol-0.1.0/src/pythsol/runtime/__init__.py +17 -0
  258. pythsol-0.1.0/src/pythsol/runtime/pythsol_rt.h +1216 -0
  259. pythsol-0.1.0/src/pythsol/testing/__init__.py +12 -0
  260. pythsol-0.1.0/src/pythsol/testing/plugin.py +437 -0
  261. pythsol-0.1.0/tests/fixtures/bell.py +26 -0
  262. pythsol-0.1.0/tests/fixtures/gate.py +32 -0
  263. pythsol-0.1.0/tests/fixtures/label.py +58 -0
  264. pythsol-0.1.0/tests/fixtures/listcomp.py +54 -0
  265. pythsol-0.1.0/tests/fixtures/note.py +35 -0
  266. pythsol-0.1.0/tests/fixtures/pay.py +8 -0
  267. pythsol-0.1.0/tests/fixtures/purse.py +56 -0
  268. pythsol-0.1.0/tests/fixtures/spot.py +33 -0
  269. pythsol-0.1.0/tests/fixtures/till.py +34 -0
  270. pythsol-0.1.0/tests/fixtures/token_move.py +27 -0
  271. pythsol-0.1.0/tests/fixtures/vault.py +58 -0
  272. pythsol-0.1.0/tests/test_benchmarks.py +54 -0
  273. pythsol-0.1.0/tests/test_build_cache.py +63 -0
  274. pythsol-0.1.0/tests/test_constraint.py +182 -0
  275. pythsol-0.1.0/tests/test_constraint_litesvm.py +226 -0
  276. pythsol-0.1.0/tests/test_data_enum.py +47 -0
  277. pythsol-0.1.0/tests/test_docs_assets.py +37 -0
  278. pythsol-0.1.0/tests/test_event.py +114 -0
  279. pythsol-0.1.0/tests/test_event_litesvm.py +153 -0
  280. pythsol-0.1.0/tests/test_examples.py +37 -0
  281. pythsol-0.1.0/tests/test_examples_litesvm.py +455 -0
  282. pythsol-0.1.0/tests/test_fixed_string.py +257 -0
  283. pythsol-0.1.0/tests/test_fixed_string_litesvm.py +263 -0
  284. pythsol-0.1.0/tests/test_helper.py +254 -0
  285. pythsol-0.1.0/tests/test_helper_litesvm.py +182 -0
  286. pythsol-0.1.0/tests/test_listcomp.py +135 -0
  287. pythsol-0.1.0/tests/test_multifile.py +210 -0
  288. pythsol-0.1.0/tests/test_option.py +274 -0
  289. pythsol-0.1.0/tests/test_option_litesvm.py +214 -0
  290. pythsol-0.1.0/tests/test_packaging.py +32 -0
  291. pythsol-0.1.0/tests/test_phase0.py +66 -0
  292. pythsol-0.1.0/tests/test_phase1.py +144 -0
  293. pythsol-0.1.0/tests/test_phase2.py +577 -0
  294. pythsol-0.1.0/tests/test_phase2_fuzz.py +448 -0
  295. pythsol-0.1.0/tests/test_phase3_build.py +140 -0
  296. pythsol-0.1.0/tests/test_phase3_emit.py +133 -0
  297. pythsol-0.1.0/tests/test_phase3_litesvm.py +266 -0
  298. pythsol-0.1.0/tests/test_phase3_model.py +292 -0
  299. pythsol-0.1.0/tests/test_phase4_language.py +241 -0
  300. pythsol-0.1.0/tests/test_phase4_litesvm.py +222 -0
  301. pythsol-0.1.0/tests/test_phase4_properties.py +276 -0
  302. pythsol-0.1.0/tests/test_playground.py +247 -0
  303. pythsol-0.1.0/tests/test_port_client.py +104 -0
  304. pythsol-0.1.0/tests/test_product_cli.py +249 -0
  305. pythsol-0.1.0/tests/test_struct.py +361 -0
  306. pythsol-0.1.0/tests/test_struct_litesvm.py +183 -0
  307. pythsol-0.1.0/tests/test_testing_plugin.py +57 -0
  308. pythsol-0.1.0/tests/test_token.py +59 -0
  309. pythsol-0.1.0/tests/test_token_litesvm.py +255 -0
  310. pythsol-0.1.0/tests/test_transfer.py +60 -0
  311. pythsol-0.1.0/tests/test_transfer_litesvm.py +122 -0
  312. pythsol-0.1.0/tests/test_unit_enum.py +297 -0
  313. pythsol-0.1.0/tests/test_unit_enum_litesvm.py +174 -0
  314. pythsol-0.1.0/tests/test_vec_pda.py +137 -0
  315. pythsol-0.1.0/tests/test_vercel_root.py +68 -0
  316. pythsol-0.1.0/tools/bench_examples.py +264 -0
  317. pythsol-0.1.0/tools/stage_vercel.py +68 -0
  318. pythsol-0.1.0/vercel.json +11 -0
  319. pythsol-0.1.0/web/docs/.gitignore +3 -0
  320. pythsol-0.1.0/web/docs/README.md +18 -0
  321. pythsol-0.1.0/web/docs/astro.config.mjs +68 -0
  322. pythsol-0.1.0/web/docs/package-lock.json +4603 -0
  323. pythsol-0.1.0/web/docs/package.json +14 -0
  324. pythsol-0.1.0/web/docs/public/favicon.svg +24 -0
  325. pythsol-0.1.0/web/docs/public/site-bg.svg +146 -0
  326. pythsol-0.1.0/web/docs/src/components/Header.astro +106 -0
  327. pythsol-0.1.0/web/docs/src/components/SiteTitle.astro +64 -0
  328. pythsol-0.1.0/web/docs/src/components/ThemeSelect.astro +94 -0
  329. pythsol-0.1.0/web/docs/src/content/docs/accounts.md +17 -0
  330. pythsol-0.1.0/web/docs/src/content/docs/api.md +16 -0
  331. pythsol-0.1.0/web/docs/src/content/docs/architecture.md +11 -0
  332. pythsol-0.1.0/web/docs/src/content/docs/changelog.md +11 -0
  333. pythsol-0.1.0/web/docs/src/content/docs/cli.md +27 -0
  334. pythsol-0.1.0/web/docs/src/content/docs/client.md +16 -0
  335. pythsol-0.1.0/web/docs/src/content/docs/contributing.md +15 -0
  336. pythsol-0.1.0/web/docs/src/content/docs/errors.md +26 -0
  337. pythsol-0.1.0/web/docs/src/content/docs/index.md +85 -0
  338. pythsol-0.1.0/web/docs/src/content/docs/language.md +20 -0
  339. pythsol-0.1.0/web/docs/src/content/docs/migrate.md +13 -0
  340. pythsol-0.1.0/web/docs/src/content/docs/playground.md +17 -0
  341. pythsol-0.1.0/web/docs/src/content/docs/quickstart.md +57 -0
  342. pythsol-0.1.0/web/docs/src/content/docs/roadmap.md +23 -0
  343. pythsol-0.1.0/web/docs/src/content/docs/security.md +15 -0
  344. pythsol-0.1.0/web/docs/src/content/docs/testing.md +15 -0
  345. pythsol-0.1.0/web/docs/src/content/docs/troubleshooting.md +20 -0
  346. pythsol-0.1.0/web/docs/src/content/docs/tutorial-counter.md +13 -0
  347. pythsol-0.1.0/web/docs/src/content/docs/tutorial-escrow.md +15 -0
  348. pythsol-0.1.0/web/docs/src/content/docs/tutorial-vault.md +13 -0
  349. pythsol-0.1.0/web/docs/src/content.config.ts +7 -0
  350. pythsol-0.1.0/web/docs/src/styles/theme.css +259 -0
  351. pythsol-0.1.0/web/shared-tokens/tokens.json +22 -0
@@ -0,0 +1,25 @@
1
+ # Keep the build context to what the container installs.
2
+ .venv/
3
+ venv/
4
+ .git/
5
+ .github/
6
+ target/
7
+ out/
8
+ graphify-out/
9
+ artifacts/
10
+ coverage.xml
11
+ *.log
12
+
13
+ # Local unpacked platform tools — never ship to the image.
14
+ Spikes/tools/
15
+ Spikes/target/
16
+
17
+ # Node toolchain and docs build outputs.
18
+ node_modules/
19
+ web/**/dist/
20
+ web/**/.astro/
21
+
22
+ # Source trees the image does not need.
23
+ tests/
24
+ contrib/
25
+ web/
@@ -0,0 +1,20 @@
1
+ # Normalize line endings for cross-platform dev and docs review.
2
+ * text=auto
3
+
4
+ *.py text eol=lf
5
+ *.pyi text eol=lf
6
+ *.md text
7
+ *.rst text
8
+ *.sh text eol=lf
9
+ *.{cmd,bat,ps1} text eol=crlf
10
+
11
+ # Tests should not see Windows-only code reflows.
12
+ tests/** text eol=lf
13
+
14
+ # No binary diff noise.
15
+ *.so binary
16
+ *.so.* binary
17
+ *.png binary
18
+ *.jpg binary
19
+ *.ico binary
20
+ *.tar.* binary
@@ -0,0 +1,56 @@
1
+ name: CI
2
+
3
+ on:
4
+ pull_request:
5
+ push:
6
+ branches: [main]
7
+
8
+ jobs:
9
+ lint:
10
+ runs-on: ubuntu-latest
11
+ steps:
12
+ - uses: actions/checkout@v4
13
+ - uses: astral-sh/setup-uv@v5
14
+ with:
15
+ python-version: "3.12"
16
+ - run: uv python install 3.12
17
+ - run: uv sync --extra dev
18
+ - name: Ruff
19
+ run: uv tool run --from pythsol ruff check .
20
+ - name: mypy --strict
21
+ run: uv run mypy
22
+ - name: Ruff format check
23
+ run: uv run ruff format --check .
24
+
25
+ unit:
26
+ strategy:
27
+ matrix:
28
+ os: [ubuntu-latest, macos-latest]
29
+ python-version: ["3.11", "3.12", "3.13"]
30
+ runs-on: ${{ matrix.os }}
31
+ steps:
32
+ - uses: actions/checkout@v4
33
+ - uses: astral-sh/setup-uv@v5
34
+ with:
35
+ python-version: "3.12"
36
+ - run: uv python install "${{ matrix.python-version }}"
37
+ - run: uv sync --extra dev
38
+ - run: uv run --python "${{ matrix.python-version }}" pip install -e .
39
+ - run: uv run --python "${{ matrix.python-version }}" pytest -q --no-header
40
+
41
+ toolchain:
42
+ # Phase 1: install Agave platform-tools, compile the Phase 1 spike C, run it in LiteSVM.
43
+ runs-on: ubuntu-latest
44
+ steps:
45
+ - uses: actions/checkout@v4
46
+ - uses: astral-sh/setup-uv@v5
47
+ with:
48
+ python-version: "3.12"
49
+ - run: uv python install 3.12
50
+ - run: uv sync --extra test --extra dev
51
+ - run: uv run pip install -e .
52
+ - name: Install Agave platform-tools (clang/lld)
53
+ run: |
54
+ mkdir -p ~/.cache/solana/platform-tools
55
+ curl -L --fail "${{ vars.AGAVE_PLATFORM_TOOLS_URL || 'https://github.com/anza-xyz/platform-tools/releases/download/v1.58/platform-tools-linux-x86_64.tar.bz2' }}" | tar -jxf - -C ~/.cache/solana/platform-tools
56
+ - run: uv run pytest -q -m toolchain --no-header
@@ -0,0 +1,49 @@
1
+ # .gitignore for PythSol (Python + C toolchain artifacts)
2
+
3
+ # --- Python ---
4
+ __pycache__/
5
+ *.py[cod]
6
+ *.so
7
+ *.so.*
8
+ *.pyd
9
+ .venv/
10
+ venv/
11
+ env/
12
+ .mypy_cache/
13
+ .ruff_cache/
14
+ .pytest_cache/
15
+ .coverage
16
+ .coverage.*
17
+ htmlcov/
18
+ dist/
19
+ build/
20
+ *.egg-info/
21
+ uv.lock
22
+ # (uv.lock is generated but not committed until Phase 7: we build from source in CI.)
23
+
24
+ # --- Build outputs ---
25
+ target/
26
+ out/
27
+ graphify-out/
28
+ coverage.xml
29
+
30
+ # --- Web docs toolchain (Node) ---
31
+ node_modules/
32
+ web/**/dist/
33
+ web/**/.astro/
34
+ artifacts/
35
+ *.log
36
+
37
+ # Toolchain unpacked for local spikes is never committed.
38
+ Spikes/tools/
39
+
40
+ # --- OS ---
41
+ .DS_Store
42
+ Thumbs.db
43
+
44
+ # --- InsForge (linked backend; .insforge/project.json holds an admin API key) ---
45
+ .env.local
46
+ .insforge/
47
+
48
+ .vercel
49
+ .env*
@@ -0,0 +1,9 @@
1
+ # This .gitignore file was automatically created by Hypothesis. Hypothesis gitignores
2
+ # .hypothesis by default, because we generally recommend that .hypothesis not be checked
3
+ # into version control.
4
+ #
5
+ # If you *would* like to check .hypothesis into version control, you should delete this
6
+ # file. Hypothesis will not re-create this .gitignore unless .hypothesis is deleted (and
7
+ # if it does, that's a bug - please report it!)
8
+
9
+ *
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\idl.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [255, '0.1.0', 'Pubkey', 'SolPubkey', 'account', 'account without name', 'accounts', 'address', 'args', 'array', 'ata', 'bool', 'build_idl', 'close', 'code', 'constraints', 'cpi', 'data', 'defined', 'description', 'discriminator', 'docs', 'enum', 'error without code', 'errors', 'events', 'field', 'fields', 'has_one', 'i128', 'i16', 'i32', 'i64', 'i8', 'idl_json', 'index', 'instructions', 'int128_t', 'int16_t', 'int32_t', 'int64_t', 'int8_t', 'isMut', 'isSigner', 'kind', 'len', 'metadata', 'msg', 'name', 'option', 'owner', 'pays', 'pubkey', 'publicKey', 'pythsol', 'relations', 'seed', 'seeds', 'signer', 'spec', 'string', 'struct', 'system', 'tag', 'token', 'token2022', 'type', 'type without name', 'types', 'u128', 'u16', 'u32', 'u64', 'u8', 'uint128_t', 'uint16_t', 'uint32_t', 'uint64_t', 'uint8_t', 'validate_idl', 'value', 'variants', 'vec', 'version']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\config.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['ConfigError', 'ProgramEntry', 'ProjectConfig', 'build', 'cluster', 'default', 'devnet', 'entry', 'find_config', 'load_config', 'name', 'out_dir', 'programs', 'project', 'pysol.toml', 'target/pythsol', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\typecheck.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [-2048, 2048, 4096, '%', '&', '*', '**', '+', '-', '//', '<<', '<huge int>', '<program>', '>>', '@error member', 'Account', 'Add', 'BitAnd', 'BitOr', 'BitXor', 'Div', 'Eq', 'FixedArray', 'FixedString', 'FloorDiv', 'Gt', 'GtE', 'Init', 'InitIfNeeded', 'LShift', 'Lt', 'LtE', 'Mod', 'Mult', 'Mut', 'None', 'Not', 'NotEq', 'Option', 'Pow', 'ProgramError', 'Pubkey', 'RShift', 'Signer', 'Sub', 'SystemProgram', 'TInt', 'Ty', 'USub', 'Vec', 'Zeroed', '^', 'account', 'bool', 'boolean operand', 'check_program', 'col_offset', 'conditional test', 'error', 'i', 'i128', 'i16', 'i32', 'i64', 'i8', 'if condition', 'instruction', 'int', 'key', 'len', 'lineno', 'range', 'require', 'u', 'u128', 'u16', 'u32', 'u64', 'u8', 'unknown', 'while condition', '|']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\resolve.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['*', '<program>', 'AccountDecl', 'EnumDecl', 'ErrorDecl', 'EventDecl', 'FieldDecl', 'HelperDecl', 'InstructionDecl', 'MemberDecl', 'ParamDecl', 'Program', 'ProjectImport', 'StructDecl', '__future__', 'account', 'ata_create', 'bool', 'col_offset', 'collect', 'emit', 'enum', 'error', 'event', 'i128', 'i16', 'i32', 'i64', 'i8', 'len', 'lineno', 'pythsol', 'range', 'require', 'struct', 'system_transfer', 'token2022_transfer', 'token_transfer', 'u128', 'u16', 'u32', 'u64', 'u8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\templates.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['README.md', 'TEMPLATES', 'counter', 'escrow', 'ledger', 'program_source', 'program_test_source', 'project_files', 'pyproject.toml', 'pysol.toml', 'utf-8', 'vault']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\subset.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [255, 4096, ' (relative import)', '*', '<program>', 'Account', 'Address', 'Any', 'CloseTo', 'FixedArray', 'FixedString', 'HasOne', 'Init', 'InitIfNeeded', 'Mut', 'None', 'NoneType', 'Option', 'Owner', 'PYTHSOL_EXPORTS', 'ProgramError', 'Pubkey', 'Seeds', 'Signer', 'SystemProgram', 'TokenAccount', 'TokenMint', 'Vec', 'Zeroed', '_', '__future__', '__import__', '`Unauthorized = 100`', 'account', 'annotations', 'ata_create', 'bool', 'bytes', 'col_offset', 'compile', 'dict', 'emit', 'enum', 'error', 'eval', 'event', 'exec', 'float', 'frozenset', 'i128', 'i16', 'i32', 'i64', 'i8', 'instruction', 'int', 'len', 'lineno', 'list', 'object', 'pythsol', 'range', 'require', 'scan_module', 'set', 'str', 'struct', 'system_transfer', 'token2022_transfer', 'token_transfer', 'tuple', 'type', 'u128', 'u16', 'u32', 'u64', 'u8', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\client_cmd.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['--address', '--out', '-o', '.json', 'client', 'cpi', 'replace', 'source', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\refrt\__init__.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [128, 1009, 1010, 'INT_WIDTHS', 'SIGNED_WIDTHS', 'UNSIGNED_WIDTHS', 'bits_of', 'bounds', 'cast', 'checked_add', 'checked_div', 'checked_mod', 'checked_mul', 'checked_shl', 'checked_shr', 'checked_sub', 'from_c_bits', 'i', 'i128', 'i16', 'i32', 'i64', 'i8', 'is_signed', 'to_c_bits', 'u128', 'u16', 'u32', 'u64', 'u8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\build.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['--name', '--out', 'PROGRAM.py', 'PS4010', 'arch', 'build', 'c', 'clang', 'client', 'entrypoint', 'files', 'generator', 'idl', 'manifest.json', 'program', 'replace', 'sha256', 'so', 'source', 'target/pythsol', 'toolchain', 'unknown', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\serve.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [8765, '--host', '--port', '--public', '127.0.0.1', '::1', 'localhost', 'serve']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\serve.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [8765, '--allow-compile', '--host', '--port', '--public', '127.0.0.1', '::1', 'check+emit', 'check+emit+compile', 'localhost', 'serve']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\profile.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['(program)', '--logs', 'logged', 'logs_path', 'profile', 'replace', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\check.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['--json', 'PROGRAM.py', 'as_json', 'check', 'diagnostics', 'ok', 'program', 'replace', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\check.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['--json', 'PROGRAM.py', 'as_json', 'check', 'diagnostics', 'ok', 'program', 'replace', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\port_cmd.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['--out', '-o', 'idl', 'port', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\pipeline.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['<program>', 'GeneratedProgram', 'emit_program', 'idl_ok', 'parse', 'prepare_program', 'resolve', 'subset', 'typecheck']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\diagnostics.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['<program>', 'PS1000', 'PS1001', 'PS1002', 'PS1003', 'PS1004', 'PS1005', 'PS1006', 'PS1007', 'PS1008', 'PS1009', 'PS1010', 'PS1011', 'PS1012', 'PS2000', 'PS2001', 'PS2002', 'PS2003', 'PS2004', 'PS2005', 'PS2006', 'PS2007', 'PS2008', 'PS3000', 'PS3001', 'PS4001', 'PS4010', 'PS5001', 'PS5002', 'PS5003', 'PS9000', 'code', 'col', 'file', 'fix', 'line', 'message']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\deploy.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [6960, '--dry-run', '--keypair', '--program-id', '--program-keypair', '--so', '--url', '--yes', 'deploy', 'program', 'so_path', 'solana']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\client\from_idl.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [100, 255, ' ))', ' ]', ' accounts = [', ' return {', ' }', '"""', ') -> Instruction:', ', ', '<B', '<H', '<I', '<Q', '<b', '<h', '<i', '<q', 'Account', 'Pubkey', '_', 'account', 'accounts', 'arg', 'args', 'array', 'ata', 'bool', 'cpi', 'decode_', 'defined', 'discriminator', 'enum', 'field', 'fields', 'i128', 'i16', 'i32', 'i64', 'i8', 'import struct', 'instructions', 'int', 'isMut', 'isSigner', 'ix', 'kind', 'metadata', 'name', 'object', 'pays', 'program', 'program_id', 'program_id: Pubkey', 'publicKey', 'pythsol', 'system', 'token', 'token2022', 'type', 'types', 'u128', 'u16', 'u32', 'u64', 'u8', 'variants']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\templates.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['README.md', 'TEMPLATES', 'counter', 'ledger', 'program_source', 'project_files', 'pyproject.toml', 'pysol.toml', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\emit_c.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['--json', '--out', 'PROGRAM.py', 'as_json', 'diagnostics', 'emit-c', 'ok', 'program', 'replace', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\subset.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [255, 4096, ' (relative import)', '*', '<program>', 'Account', 'Address', 'Any', 'CloseTo', 'FixedArray', 'FixedString', 'HasOne', 'Init', 'InitIfNeeded', 'Mut', 'None', 'NoneType', 'Option', 'Owner', 'PYTHSOL_EXPORTS', 'ProgramError', 'Pubkey', 'Seeds', 'Signer', 'SystemProgram', 'TokenAccount', 'TokenMint', 'Vec', 'Zeroed', '_', '__future__', '__import__', '`Unauthorized = 100`', 'account', 'annotations', 'ata_create', 'bool', 'bytes', 'col_offset', 'compile', 'dict', 'emit', 'enum', 'error', 'eval', 'event', 'exec', 'float', 'frozenset', 'i128', 'i16', 'i32', 'i64', 'i8', 'instruction', 'int', 'len', 'lineno', 'list', 'object', 'pythsol', 'range', 'require', 'scan_module', 'set', 'str', 'struct', 'system_transfer', 'token2022_transfer', 'token_transfer', 'tuple', 'type', 'u128', 'u16', 'u32', 'u64', 'u8', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\wallet.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [384, 1000000000, '--force', '--keypair', '--outfile', '--pubkey', '--show-secret', '--url', 'address', 'balance', 'getBalance', 'keypair_path', 'new', 'result', 'utf-8', 'value', 'wallet']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\emit.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [128, 1001, 1002, 1003, 1004, 1005, 1006, 1007, 1008, 1009, 1010, 3480, ' && ', ' || ', '!=', '"', '(', '(RtAccount *)0', ')', ')) {', ', ', '/* body */', '/* pass */', '0', '0u', '1u', '<', '<=', '==', '>', '>=', '?', 'Pubkey', 'PythSol', 'RT_ERR_CPI', 'RT_ERR_DISC', 'RT_ERR_DIV_ZERO', 'RT_ERR_OOB', 'RT_ERR_OVERFLOW', 'RT_ERR_OWNER', 'RT_ERR_PDA', 'RT_ERR_SIGNER', 'RT_ERR_SIZE', 'RT_ERR_UNKNOWN', 'RT_ERR_WRITABLE', 'SolPubkey', 'acc_unknown->data', 'add', 'bool', 'bump', 'col_offset', 'div', 'emit_program_c', 'i64', 'if (!(', 'init', 'init_if_needed', 'int64_t', 'key', 'lineno', 'mod', 'mul', 'pub', 'require', 'rt_has_system = 1u;', 'rt_ld_u16', 'rt_ld_u32', 'rt_ld_u64', 'rt_st_u16', 'rt_st_u32', 'rt_st_u64', 'signer', 'sub', 'u16', 'u32', 'u64', 'u8', 'uint16_t', 'uint32_t', 'uint64_t', 'uint8_t', 'zeroed', '{', '}', '};']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\typecheck.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [-2048, 2048, 4096, '%', '&', '*', '**', '+', '-', '.', '//', '<<', '<huge int>', '<program>', '>>', '@error member', 'Account', 'Add', 'Address', 'BitAnd', 'BitOr', 'BitXor', 'CloseTo', 'Div', 'Eq', 'FixedArray', 'FixedString', 'FloorDiv', 'Gt', 'GtE', 'HasOne', 'Init', 'InitIfNeeded', 'LShift', 'Lt', 'LtE', 'Mod', 'Mult', 'Mut', 'None', 'Not', 'NotEq', 'Option', 'Owner', 'Pow', 'ProgramError', 'Pubkey', 'RShift', 'Seeds', 'Signer', 'Sub', 'SystemProgram', 'TInt', 'TokenAccount', 'TokenMint', 'Ty', 'USub', 'Vec', 'Zeroed', '^', 'account', 'accounts', 'ata_create', 'bad', 'bool', 'boolean operand', 'check_program', 'checking', 'col_offset', 'conditional test', 'destination', 'done', 'emit', 'enum', 'enums', 'error', 'errors', 'event', 'events', 'expected a Signer', 'i', 'i128', 'i16', 'i32', 'i64', 'i8', 'if condition', 'instruction', 'int', 'is_some', 'key', 'len', 'lineno', 'mint', 'owner', 'payer', 'range', 'require', 'source', 'str', 'struct', 'structs', 'system_transfer', 'token authority', 'token destination', 'token source', 'token2022_transfer', 'token_transfer', 'u', 'u128', 'u16', 'u32', 'u64', 'u8', 'unknown', 'utf-8', 'value', 'variant', 'while condition', 'wild', '|']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\Spikes\python\cn_litesvm_hello.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [50000000, 'PS4010', 'logs']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\rpc.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [20.0, '2.0', 'POST', 'RpcError', 'application/json', 'content-type', 'error', 'id', 'jsonrpc', 'message', 'method', 'params', 'post_json', 'replace', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\cluster.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['/', 'DEVNET_URL', 'PYSOL_RPC_URL', 'PYTHSOL_RPC_URL', 'devnet', 'is_mainnet', 'localhost', 'localnet', 'mainnet', 'mainnet-beta', 'resolve_url', 'testnet']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\front.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['<program>', 'check_source', 'check_tree', 'parse', 'resolve', 'subset', 'typecheck']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\idl_cmd.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['--json', '--out', '-o', 'PROGRAM.py', 'as_json', 'diagnostics', 'idl', 'ok', 'program', 'replace', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\resolve.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['*', '<program>', 'AccountDecl', 'ErrorDecl', 'FieldDecl', 'InstructionDecl', 'MemberDecl', 'ParamDecl', 'Program', 'account', 'col_offset', 'collect', 'error', 'lineno', 'pythsol']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\toolchain.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [120, '-', '--Bdynamic', '--entry', '--gc-sections', '--shared', '--strip-all', '--target=sbf', '--threads=1', '--version', '-Bsymbolic', '-I', '-O2', '-T', '-c', '-fno-builtin', '-fno-exceptions', '-fno-stack-protector', '-fno-unwind-tables', '-o', '-z', '.cache/solana', '.config', '.exe', '.o', '.so', 'PYSOL_SBF_SDK', 'PYTHSOL_SBF_SDK', 'Spikes', 'ToolchainPaths', 'bin', 'bin/clang*', 'cargo-build-sbf', 'clang', 'clang compile error', 'clang version ', 'clang++', 'compile_to_sbf', 'default cache', 'entrypoint', 'env', 'find_clang', 'find_lld', 'generic', 'id.json', 'ld.lld', 'ld.lld.exe', 'lld', 'lld link error', 'lld.exe', 'llvm', 'llvm/bin/clang', 'llvm/bin/clang-*', 'llvm/bin/clang.exe', 'max-page-size=4096', 'notext', 'platform-tools', 'platform-tools-*', 'replace', 'sbpf_compile_args', 'sbpf_link_args', 'solana', 'tools', 'utf-8', 'v0', 'v1', 'v2', 'v3', 'v4', 'win', '~/.cache/solana/v', '~/.cargo', '~/.cargo/bin']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\main.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['%(prog)s %(version)s', '--help', '--quiet', '--verbose', '--version', '-h', '__main__', 'help_option_names', 'pythsol']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\pipeline.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['<program>', 'GeneratedProgram', 'emit_program', 'idl_ok', 'parse', 'prepare_program', 'typecheck']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\client\port.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [' pass', '"""', ')', ') -> None:', '-', '@account', '@enum', '@error', '@instruction', '@struct', 'Account', 'Address', 'Address[', 'CloseTo', 'CloseTo[', 'Enum', 'FixedArray', 'FixedString', 'HasOne', 'HasOne[', 'Init', 'Mut', 'Option', 'Owner', 'Owner[', 'Program', 'ProgramError', 'Pubkey', 'Seeds', 'Seeds[', 'Signer', 'Struct', 'Variant', '_', 'account', 'accounts', 'address', 'arg', 'args', 'array', 'bool', 'close', 'constraints', 'create', 'data', 'defined', 'enum', 'error', 'errors', 'field', 'fields', 'has_one', 'i128', 'i16', 'i32', 'i64', 'i8', 'init', 'initialize', 'instruction', 'instructions', 'isMut', 'isSigner', 'kind', 'len', 'make', 'name', 'open', 'option', 'owner', 'program', 'pubkey', 'publicKey', 'render_port', 'seed', 'seeds', 'struct', 'tag', 'type', 'types', 'u128', 'u16', 'u32', 'u64', 'u8', 'value', 'variants']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\faucet.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [1.0, 5.0, 1000000000, '--amount', '--keypair', '--pubkey', '--url', '429', 'faucet', 'limit', 'rate', 'requestAirdrop', 'result', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\emit.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [127, 128, 1001, 1002, 1003, 1004, 1005, 1006, 1007, 1008, 1009, 1010, 1011, 1012, 1013, 1014, 3480, 4096, ' && ', ' || ', '!=', '"', '%', '&', '(', '(RtAccount *)0', ')', ')) {', '*', '+', ', ', '-', '/* body */', '/* pass */', '//', '0', '0u', '1u', '<', '<<', '<=', '==', '>', '>=', '>>', '?', 'FixedArray', 'FixedString', 'Option', 'Pubkey', 'PythSol', 'RT_ERR_CONSTRAINT', 'RT_ERR_CPI', 'RT_ERR_DISC', 'RT_ERR_DIV_ZERO', 'RT_ERR_ENUM', 'RT_ERR_OOB', 'RT_ERR_OPTION', 'RT_ERR_OVERFLOW', 'RT_ERR_OWNER', 'RT_ERR_PDA', 'RT_ERR_SIGNER', 'RT_ERR_SIZE', 'RT_ERR_STRING', 'RT_ERR_UNKNOWN', 'RT_ERR_WRITABLE', 'RT_TOKEN_2022_ID', 'RT_TOKEN_ID', 'RtI128', 'RtU128', 'SolPubkey', '^', 'acc_unknown->data', 'account', 'add', 'array', 'ata_create', 'bool', 'break;', 'bump', 'col_offset', 'div', 'do {', 'dp_', 'emit', 'emit_program_c', 'expected an integer', 'i', 'i128', 'i16', 'i32', 'i64', 'i8', 'if', 'if (!(', 'init', 'init_if_needed', 'int', 'int128_t', 'int16_t', 'int32_t', 'int64_t', 'int8_t', 'is_some', 'key', 'len', 'lineno', 'mint', 'mod', 'mul', 'no such nested field', 'option', 'pub', 'range', 'require', 'return 0u;', 'rt->data', 'rt->program_id', 'rt_has_system = 1u;', 'rt_ld_u128', 'rt_ld_u16', 'rt_ld_u32', 'rt_ld_u64', 'rt_st_u128', 'rt_st_u16', 'rt_st_u32', 'rt_st_u64', 'scalar', 'shl', 'shr', 'signer', 'string', 'struct', 'sub', 'system_transfer', 'token', 'token2022_transfer', 'token_transfer', 'u', 'u128', 'u16', 'u32', 'u64', 'u8', 'uint128_t', 'uint16_t', 'uint32_t', 'uint64_t', 'uint8_t', 'unsupported call', 'utf-8', 'value', 'vec', 'zeroed', '{', '|', '}', '} else if', '} else {', '} while (0);', '};']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\build.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['--name', '--out', 'PROGRAM.py', 'PS4010', 'arch', 'build', 'c', 'clang', 'entrypoint', 'files', 'generator', 'idl', 'manifest.json', 'program', 'replace', 'sha256', 'so', 'source', 'target/pythsol', 'toolchain', 'unknown', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\__init__.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['0.1.0', 'Account', 'Address', 'CloseTo', 'FixedArray', 'FixedString', 'HasOne', 'Init', 'InitIfNeeded', 'Mut', 'Option', 'Owner', 'ProgramError', 'Pubkey', 'Seeds', 'Signer', 'SystemProgram', 'TokenAccount', 'TokenMint', 'Vec', 'Zeroed', '_N', '_T', 'account', 'ata_create', 'emit', 'enum', 'error', 'event', 'i128', 'i16', 'i32', 'i64', 'i8', 'instruction', 'require', 'struct', 'system_transfer', 'token2022_transfer', 'token_transfer', 'u128', 'u16', 'u32', 'u64', 'u8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\playground\server.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [200, 256, 400, 403, 404, 413, 429, 1024, '-', '.', '..', '/', '/app.css', '/app.js', '/docs', '/docs.html', '/examples', '/examples/', '/favicon-32.png', '/favicon.ico', '/favicon.svg', '/healthz', '/hero-bg.webp', '/index.html', '/playground', '/playground.html', '/site.css', '/v1/check', '/v1/compile', '/v1/emit', '0', '127.0.0.1', '60', '::1', 'HTTP/1.1', 'RateLimiter', '\\', '_', 'app.css', 'app.js', 'apple-touch-icon.png', 'ascii', 'bind', 'body must be JSON', 'c', 'cache', 'cache-control', 'client', 'code', 'compile', 'content-length', 'content-type', "default-src 'self'", 'diagnostics', 'docs.html', 'error', 'examples', 'favicon-32.png', 'favicon.ico', 'favicon.svg', 'filename', 'hero-bg.webp', 'idl', 'image/png', 'image/svg+xml', 'image/webp', 'image/x-icon', 'index.html', 'keypair', 'landing.html', 'localhost', 'mnemonic', 'no-store', 'not found', 'ok', 'out', 'playground.html', 'private_key', 'privatekey', 'program', 'program.py', 'pythsol-serve-', 'rate limited', 'retry-after', 'secret', 'seed_phrase', 'site.css', 'so_base64', 'so_sha256', 'source', 'unknown example', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\template_programs\__init__.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ []
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\templates.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['README.md', 'TEMPLATES', 'counter', 'escrow', 'ledger', 'multisig', 'poll', 'program_source', 'program_test_source', 'project_files', 'pyproject.toml', 'pysol.toml', 'utf-8', 'vault']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\docs_cmd.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['--open', 'architecture.md', 'docs', 'open_browser']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\runtime\__init__.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['HEADER_NAME', 'RUNTIME_INCLUDE_DIR', 'pythsol_rt.h']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\client\gen.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [100, ' },', ' )', ' return {', ' }', ' ))', ' ]', ' accounts = [', ' disc = data[:8]', ' return {', ' }', '"""', ', ', '<B', '<H', '<I', '<Q', '<b', '<h', '<i', '<q', 'False', 'Instruction', 'Pubkey', 'SolPubkey', 'True', '_', 'array', 'bool', 'import struct', 'int', 'int128_t', 'int16_t', 'int32_t', 'int64_t', 'int8_t', 'option', 'program_id', 'render_client', 'scalar', 'signer', 'str', 'string', 'struct', 'uint128_t', 'uint16_t', 'uint32_t', 'uint64_t', 'uint8_t', 'vec']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\refrt\__init__.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [128, 1009, 1010, 'INT_WIDTHS', 'SIGNED_WIDTHS', 'UNSIGNED_WIDTHS', 'bits_of', 'bounds', 'cast', 'checked_add', 'checked_div', 'checked_mod', 'checked_mul', 'checked_shl', 'checked_shr', 'checked_sub', 'from_c_bits', 'i', 'i128', 'i16', 'i32', 'i64', 'i8', 'is_signed', 'to_c_bits', 'u128', 'u16', 'u32', 'u64', 'u8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\commands\init.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['--name', '--template', 'DIR', 'counter', 'directory', 'init', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\typecheck.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [-2048, 2048, 4096, '%', '&', '*', '**', '+', '-', '//', '<<', '<huge int>', '<program>', '>>', '@error member', 'Account', 'Add', 'BitAnd', 'BitOr', 'BitXor', 'Div', 'Eq', 'FixedArray', 'FixedString', 'FloorDiv', 'Gt', 'GtE', 'Init', 'InitIfNeeded', 'LShift', 'Lt', 'LtE', 'Mod', 'Mult', 'Mut', 'None', 'Not', 'NotEq', 'Option', 'Pow', 'ProgramError', 'Pubkey', 'RShift', 'Signer', 'Sub', 'SystemProgram', 'TInt', 'Ty', 'USub', 'Vec', 'Zeroed', '^', 'account', 'bool', 'boolean operand', 'check_program', 'col_offset', 'conditional test', 'error', 'i', 'i128', 'i16', 'i32', 'i64', 'i8', 'if condition', 'instruction', 'int', 'key', 'len', 'lineno', 'range', 'require', 'u', 'u128', 'u16', 'u32', 'u64', 'u8', 'unknown', 'while condition', '|']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\emit.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [127, 128, 1001, 1002, 1003, 1004, 1005, 1006, 1007, 1008, 1009, 1010, 1011, 1012, 1013, 1014, 3480, 4096, ' && ', ' || ', '!=', '"', '%', '&', '(', '(RtAccount *)0', ')', ')) {', '*', '+', ', ', '-', '/* body */', '/* pass */', '//', '0', '0u', '1u', '<', '<<', '<=', '==', '>', '>=', '>>', '?', 'FixedArray', 'FixedString', 'Option', 'Pubkey', 'PythSol', 'RT_ERR_CONSTRAINT', 'RT_ERR_CPI', 'RT_ERR_DISC', 'RT_ERR_DIV_ZERO', 'RT_ERR_ENUM', 'RT_ERR_OOB', 'RT_ERR_OPTION', 'RT_ERR_OVERFLOW', 'RT_ERR_OWNER', 'RT_ERR_PDA', 'RT_ERR_SIGNER', 'RT_ERR_SIZE', 'RT_ERR_STRING', 'RT_ERR_UNKNOWN', 'RT_ERR_WRITABLE', 'RT_TOKEN_2022_ID', 'RT_TOKEN_ID', 'RtI128', 'RtU128', 'SolPubkey', '^', 'acc_unknown->data', 'account', 'add', 'array', 'ata_create', 'bool', 'break;', 'bump', 'col_offset', 'div', 'do {', 'dp_', 'emit', 'emit_program_c', 'expected an integer', 'i', 'i128', 'i16', 'i32', 'i64', 'i8', 'if', 'if (!(', 'init', 'init_if_needed', 'int', 'int128_t', 'int16_t', 'int32_t', 'int64_t', 'int8_t', 'is_some', 'key', 'len', 'lineno', 'mint', 'mod', 'mul', 'no such nested field', 'option', 'pub', 'range', 'require', 'return 0u;', 'rt->data', 'rt->program_id', 'rt_has_system = 1u;', 'rt_ld_u128', 'rt_ld_u16', 'rt_ld_u32', 'rt_ld_u64', 'rt_st_u128', 'rt_st_u16', 'rt_st_u32', 'rt_st_u64', 'scalar', 'shl', 'shr', 'signer', 'string', 'struct', 'sub', 'system_transfer', 'token', 'token2022_transfer', 'token_transfer', 'u', 'u128', 'u16', 'u32', 'u64', 'u8', 'uint128_t', 'uint16_t', 'uint32_t', 'uint64_t', 'uint8_t', 'unsupported call', 'utf-8', 'value', 'vec', 'zeroed', '{', '|', '}', '} else if', '} else {', '} while (0);', '};']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\diagnostics.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['<program>', 'PS1000', 'PS1001', 'PS1002', 'PS1003', 'PS1004', 'PS1005', 'PS1006', 'PS1007', 'PS1008', 'PS1009', 'PS1010', 'PS1011', 'PS1012', 'PS2000', 'PS2001', 'PS2002', 'PS2003', 'PS2004', 'PS2005', 'PS2006', 'PS2007', 'PS2008', 'PS3000', 'PS3001', 'PS4001', 'PS4010', 'PS5001', 'PS5002', 'PS5003', 'PS9000', 'code', 'col', 'file', 'fix', 'line', 'message']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\idl.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [255, '0.1.0', 'Pubkey', 'SolPubkey', 'account without name', 'accounts', 'address', 'args', 'array', 'bool', 'build_idl', 'code', 'description', 'discriminator', 'docs', 'error without code', 'errors', 'events', 'fields', 'i128', 'i16', 'i32', 'i64', 'i8', 'idl_json', 'instructions', 'int128_t', 'int16_t', 'int32_t', 'int64_t', 'int8_t', 'isMut', 'isSigner', 'kind', 'metadata', 'msg', 'name', 'publicKey', 'signer', 'spec', 'struct', 'type', 'types', 'u128', 'u16', 'u32', 'u64', 'u8', 'uint128_t', 'uint16_t', 'uint32_t', 'uint64_t', 'uint8_t', 'validate_idl', 'version']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\modules.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['*.py', '<program>', '_', '_DeclT', 'col', 'file', 'line', 'load_program', 'parse', 'read_sibling_modules', 'replace', 'resolve', 'subset', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\__init__.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['cli', 'main']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\refrt\__init__.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [128, 1009, 1010, 'INT_WIDTHS', 'SIGNED_WIDTHS', 'UNSIGNED_WIDTHS', 'bits_of', 'bounds', 'cast', 'checked_add', 'checked_div', 'checked_mod', 'checked_mul', 'checked_shl', 'checked_shr', 'checked_sub', 'from_c_bits', 'i', 'i128', 'i16', 'i32', 'i64', 'i8', 'is_signed', 'to_c_bits', 'u128', 'u16', 'u32', 'u64', 'u8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\playground\__init__.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['bind']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\compiler\front.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['<program>', 'check_source', 'check_tree', 'parse', 'resolve', 'subset', 'typecheck']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\main.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ ['%(prog)s %(version)s', '--help', '--quiet', '--verbose', '--version', '-h', '__main__', 'help_option_names', 'pythsol']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\playground\server.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [200, 256, 400, 403, 404, 413, 429, 1024, '-', '.', '..', '/', '/app.css', '/app.js', '/docs', '/docs.html', '/examples', '/examples/', '/favicon-32.png', '/favicon.ico', '/favicon.svg', '/healthz', '/index.html', '/playground', '/playground.html', '/site.css', '/v1/check', '/v1/compile', '/v1/emit', '0', '127.0.0.1', '60', '::1', 'HTTP/1.1', 'RateLimiter', '\\', '_', 'app.css', 'app.js', 'apple-touch-icon.png', 'ascii', 'bind', 'body must be JSON', 'c', 'cache', 'cache-control', 'client', 'code', 'compile', 'content-length', 'content-type', "default-src 'self'", 'diagnostics', 'docs.html', 'error', 'examples', 'favicon-32.png', 'favicon.ico', 'favicon.svg', 'filename', 'idl', 'image/png', 'image/svg+xml', 'image/x-icon', 'index.html', 'keypair', 'localhost', 'mnemonic', 'no-store', 'not found', 'ok', 'out', 'playground.html', 'private_key', 'privatekey', 'program', 'program.py', 'pythsol-serve-', 'rate limited', 'retry-after', 'secret', 'seed_phrase', 'site.css', 'so_base64', 'so_sha256', 'source', 'unknown example', 'utf-8']
@@ -0,0 +1,4 @@
1
+ # file: C:\Users\monkey\Desktop\Project Launch\PythSol\src\pythsol\cli\cache.py
2
+ # hypothesis_version: 6.170.14
3
+
4
+ [b'\x00', b'pythsol-cache\x00', '.cache', '1', 'LOCALAPPDATA', 'PYSOL_CACHE', 'PYTHSOL_CACHE', 'PYTHSOL_NO_CACHE', 'artifact_key', 'cache', 'cache_directory', 'lookup_so', 'program.so', 'program.so.tmp', 'pythsol', 'sbf-o2-gc-strip-v1', 'store_so', 'true', 'yes']