@greenpandastudios/aug-cli 0.19.0 → 0.21.0

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 (628) hide show
  1. package/README.md +9 -6
  2. package/THIRD_PARTY_NOTICES.md +4 -0
  3. package/bin/aug.mjs +12 -2
  4. package/docs/about.md +27 -0
  5. package/docs/api/crypto.md +103 -69
  6. package/docs/api/io.md +35 -33
  7. package/docs/api/json.md +3 -3
  8. package/docs/api/memory.md +23 -19
  9. package/docs/api/time.md +10 -9
  10. package/docs/api/web.md +33 -38
  11. package/docs/assets/benchmarks/execution.svg +774 -637
  12. package/docs/assets/benchmarks/http.svg +278 -249
  13. package/docs/assets/benchmarks/improvements.svg +66 -66
  14. package/docs/assets/benchmarks/kernels-mobile.svg +1 -0
  15. package/docs/assets/benchmarks/kernels.svg +1 -0
  16. package/docs/assets/benchmarks/memory.svg +153 -153
  17. package/docs/benchmark-results.json +227089 -90363
  18. package/docs/compatibility.md +8 -8
  19. package/docs/contributing-benchmarks.md +68 -0
  20. package/docs/dev-containers.md +88 -0
  21. package/docs/dgx-consumers.json +122 -0
  22. package/docs/dgx-gyms.json +784 -0
  23. package/docs/dgx-kernels.json +1170 -0
  24. package/docs/dgx-performance.json +227849 -0
  25. package/docs/dgx-spark.md +64 -0
  26. package/docs/diagnostics.md +15 -5
  27. package/docs/docker.md +173 -12
  28. package/docs/editor.md +35 -0
  29. package/docs/example-projects.json +238 -24
  30. package/docs/examples/approved-design/counters.md +34 -126
  31. package/docs/examples/approved-design/dependencies/august/0.21.0/io/contracts.md +178 -0
  32. package/docs/examples/approved-design/domain/app.md +13 -77
  33. package/docs/examples/approved-design/domain/export.md +5 -19
  34. package/docs/examples/approved-design/domain/models.md +4 -23
  35. package/docs/examples/approved-design/domain/numbers.md +24 -114
  36. package/docs/examples/approved-design/index.md +16 -7
  37. package/docs/examples/approved-design/main.md +19 -96
  38. package/docs/examples/benchmark/index.md +6 -5
  39. package/docs/examples/benchmark/main.md +7 -35
  40. package/docs/examples/calls-benchmark/index.md +36 -0
  41. package/docs/examples/calls-benchmark/main.md +78 -0
  42. package/docs/examples/calls-benchmark/operations.md +60 -0
  43. package/docs/examples/cli-args/index.md +6 -5
  44. package/docs/examples/cli-args/main.md +6 -31
  45. package/docs/examples/collections/index.md +6 -5
  46. package/docs/examples/collections/main.md +7 -35
  47. package/docs/examples/collections-benchmark/index.md +6 -5
  48. package/docs/examples/collections-benchmark/main.md +7 -35
  49. package/docs/examples/cpu-benchmark/index.md +6 -5
  50. package/docs/examples/cpu-benchmark/main.md +5 -24
  51. package/docs/examples/developer-workflow/calculator.md +39 -186
  52. package/docs/examples/developer-workflow/dependencies/august/0.21.0/io/contracts.md +178 -0
  53. package/docs/examples/developer-workflow/index.md +16 -7
  54. package/docs/examples/developer-workflow/logging/console.md +10 -56
  55. package/docs/examples/developer-workflow/logging/export.md +4 -14
  56. package/docs/examples/developer-workflow/logging/logger.md +7 -43
  57. package/docs/examples/developer-workflow/main.md +17 -69
  58. package/docs/examples/drop/index.md +6 -5
  59. package/docs/examples/drop/main.md +7 -27
  60. package/docs/examples/drop/resource.md +7 -30
  61. package/docs/examples/errors/errors.md +7 -27
  62. package/docs/examples/errors/index.md +6 -5
  63. package/docs/examples/errors/main.md +7 -28
  64. package/docs/examples/errors-benchmark/index.md +36 -0
  65. package/docs/examples/errors-benchmark/main.md +92 -0
  66. package/docs/examples/errors-benchmark/operations.md +65 -0
  67. package/docs/examples/ffi/index.md +6 -5
  68. package/docs/examples/ffi/main.md +6 -20
  69. package/docs/examples/ffi/native.md +8 -34
  70. package/docs/examples/float-benchmark/index.md +35 -0
  71. package/docs/examples/float-benchmark/main.md +75 -0
  72. package/docs/examples/generic-di/dependencies/august/0.21.0/io/contracts.md +178 -0
  73. package/docs/examples/generic-di/index.md +6 -5
  74. package/docs/examples/generic-di/main.md +9 -39
  75. package/docs/examples/generic-di/types.md +23 -92
  76. package/docs/examples/generics/index.md +6 -5
  77. package/docs/examples/generics/main.md +10 -47
  78. package/docs/examples/generics/types.md +25 -100
  79. package/docs/examples/hello/app/export.md +4 -12
  80. package/docs/examples/hello/app/greeter.md +13 -91
  81. package/docs/examples/hello/dependencies/august/0.21.0/io/contracts.md +178 -0
  82. package/docs/examples/hello/index.md +17 -6
  83. package/docs/examples/hello/logging/console.md +10 -54
  84. package/docs/examples/hello/logging/export.md +4 -14
  85. package/docs/examples/hello/logging/logger.md +7 -45
  86. package/docs/examples/hello/main.md +9 -39
  87. package/docs/examples/http-benchmark/index.md +6 -5
  88. package/docs/examples/http-benchmark/main.md +6 -20
  89. package/docs/examples/http-benchmark/routes.md +9 -31
  90. package/docs/examples/index.md +63 -29
  91. package/docs/examples/interceptors/app.md +20 -139
  92. package/docs/examples/interceptors/dependencies/august/0.21.0/io/contracts.md +178 -0
  93. package/docs/examples/interceptors/index.md +6 -5
  94. package/docs/examples/interceptors/interceptors.md +24 -148
  95. package/docs/examples/interceptors/logging.md +13 -76
  96. package/docs/examples/interceptors/main.md +10 -65
  97. package/docs/examples/json-benchmark/data.md +4 -20
  98. package/docs/examples/json-benchmark/dependencies/packages/@git/url_2d3c37c690c0fa115be1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.md +67 -0
  99. package/docs/examples/json-benchmark/index.md +7 -5
  100. package/docs/examples/json-benchmark/main-yaml.md +20 -0
  101. package/docs/examples/json-benchmark/main.md +10 -49
  102. package/docs/examples/list-benchmark/index.md +35 -0
  103. package/docs/examples/list-benchmark/main.md +78 -0
  104. package/docs/examples/map-churn-benchmark/index.md +35 -0
  105. package/docs/examples/map-churn-benchmark/main.md +106 -0
  106. package/docs/examples/native-blake3/dependencies/packages/@greenpandastudios/aug-blake3/0.1.3/api.md +104 -0
  107. package/docs/examples/native-blake3/dependencies/packages/@greenpandastudios/aug-blake3/0.1.3/contracts.md +54 -0
  108. package/docs/examples/native-blake3/dependencies/packages/@greenpandastudios/aug-blake3/0.1.3/native.abi-json.md +48 -0
  109. package/docs/examples/native-blake3/hashing.md +93 -0
  110. package/docs/examples/native-blake3/index.md +38 -0
  111. package/docs/examples/native-blake3/main.md +73 -0
  112. package/docs/examples/native-pytorch/dependencies/packages/@greenpandastudios/aug-pytorch/0.1.4/api.md +406 -0
  113. package/docs/examples/native-pytorch/dependencies/packages/@greenpandastudios/aug-pytorch/0.1.4/bindings.md +51 -0
  114. package/docs/examples/native-pytorch/dependencies/packages/@greenpandastudios/aug-pytorch/0.1.4/contracts.md +63 -0
  115. package/docs/examples/native-pytorch/dependencies/packages/@greenpandastudios/aug-pytorch/0.1.4/native.abi-json.md +161 -0
  116. package/docs/examples/native-pytorch/index.md +38 -0
  117. package/docs/examples/native-pytorch/main.md +73 -0
  118. package/docs/examples/native-pytorch/tensors.md +123 -0
  119. package/docs/examples/native-sqlite/database.md +116 -0
  120. package/docs/examples/native-sqlite/dependencies/packages/@greenpandastudios/aug-sqlite/0.1.3/api.md +284 -0
  121. package/docs/examples/native-sqlite/dependencies/packages/@greenpandastudios/aug-sqlite/0.1.3/bindings.md +51 -0
  122. package/docs/examples/native-sqlite/dependencies/packages/@greenpandastudios/aug-sqlite/0.1.3/contracts.md +75 -0
  123. package/docs/examples/native-sqlite/dependencies/packages/@greenpandastudios/aug-sqlite/0.1.3/native.abi-json.md +119 -0
  124. package/docs/examples/native-sqlite/index.md +38 -0
  125. package/docs/examples/native-sqlite/main.md +73 -0
  126. package/docs/examples/native-zlib/compression.md +99 -0
  127. package/docs/examples/native-zlib/dependencies/packages/@greenpandastudios/aug-zlib/0.1.3/api.md +153 -0
  128. package/docs/examples/native-zlib/dependencies/packages/@greenpandastudios/aug-zlib/0.1.3/contracts.md +54 -0
  129. package/docs/examples/native-zlib/dependencies/packages/@greenpandastudios/aug-zlib/0.1.3/native.abi-json.md +76 -0
  130. package/docs/examples/native-zlib/index.md +38 -0
  131. package/docs/examples/native-zlib/main.md +78 -0
  132. package/docs/examples/new-syntax/console.md +10 -52
  133. package/docs/examples/new-syntax/dependencies/august/0.21.0/io/contracts.md +178 -0
  134. package/docs/examples/new-syntax/greeter.md +13 -71
  135. package/docs/examples/new-syntax/index.md +6 -5
  136. package/docs/examples/new-syntax/logger.md +7 -43
  137. package/docs/examples/new-syntax/main.md +10 -53
  138. package/docs/examples/new-syntax/math.md +6 -24
  139. package/docs/examples/oidc-login/client/contracts.md +10 -61
  140. package/docs/examples/oidc-login/client/endpoints.md +32 -154
  141. package/docs/examples/oidc-login/client/export.md +5 -23
  142. package/docs/examples/oidc-login/client/login.md +234 -344
  143. package/docs/examples/oidc-login/client/logout.md +38 -143
  144. package/docs/examples/oidc-login/client/protocol.md +183 -304
  145. package/docs/examples/oidc-login/client/session.md +41 -149
  146. package/docs/examples/oidc-login/client/views.md +13 -58
  147. package/docs/examples/oidc-login/common/export.md +6 -26
  148. package/docs/examples/oidc-login/common/headers.md +42 -72
  149. package/docs/examples/oidc-login/common/keys.md +40 -164
  150. package/docs/examples/oidc-login/common/settings.md +24 -40
  151. package/docs/examples/oidc-login/common/views.md +7 -28
  152. package/docs/examples/oidc-login/dependencies/packages/@git/url_0eb7c89453c87681ed15/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/store.md +205 -0
  153. package/docs/examples/oidc-login/dependencies/packages/@git/url_2d3c37c690c0fa115be1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.md +67 -0
  154. package/docs/examples/oidc-login/dependencies/packages/@git/url_897efafd565158fc4908/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.md +267 -0
  155. package/docs/examples/oidc-login/dependencies/packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40/contracts.md +415 -0
  156. package/docs/examples/oidc-login/dependencies/packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40/jose.md +271 -0
  157. package/docs/examples/oidc-login/dependencies/packages/@git/url_c092cd151499c4e1d8a1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.md +89 -0
  158. package/docs/examples/oidc-login/index.md +8 -7
  159. package/docs/examples/oidc-login/main-yaml.md +7 -0
  160. package/docs/examples/oidc-login/main.md +26 -153
  161. package/docs/examples/oidc-login/provider/authorization.md +232 -275
  162. package/docs/examples/oidc-login/provider/contracts.md +24 -146
  163. package/docs/examples/oidc-login/provider/credentials.md +24 -57
  164. package/docs/examples/oidc-login/provider/discovery.md +48 -122
  165. package/docs/examples/oidc-login/provider/export.md +11 -37
  166. package/docs/examples/oidc-login/provider/token.md +159 -237
  167. package/docs/examples/oidc-login/provider/userinfo.md +47 -102
  168. package/docs/examples/oidc-login/provider/views.md +13 -53
  169. package/docs/examples/ownership/counter.md +17 -63
  170. package/docs/examples/ownership/index.md +6 -5
  171. package/docs/examples/ownership/main.md +7 -30
  172. package/docs/examples/ownership-transfer/dependencies/august/0.21.0/io/contracts.md +178 -0
  173. package/docs/examples/ownership-transfer/index.md +6 -5
  174. package/docs/examples/ownership-transfer/main.md +10 -52
  175. package/docs/examples/ownership-transfer/resource.md +15 -67
  176. package/docs/examples/packages-app/dependencies/packages/@example/aug-math/0.1.0/arithmetic.md +12 -50
  177. package/docs/examples/packages-app/index.md +7 -6
  178. package/docs/examples/packages-app/main.md +7 -25
  179. package/docs/examples/packages-math/aug-package-json.md +1 -1
  180. package/docs/examples/packages-math/index.md +7 -6
  181. package/docs/examples/packages-math/src/arithmetic.md +12 -50
  182. package/docs/examples/packages-math/src/export.md +4 -12
  183. package/docs/examples/records-benchmark/data.md +55 -0
  184. package/docs/examples/records-benchmark/index.md +36 -0
  185. package/docs/examples/records-benchmark/main.md +85 -0
  186. package/docs/examples/startup-benchmark/index.md +6 -5
  187. package/docs/examples/startup-benchmark/main.md +5 -17
  188. package/docs/examples/strings-benchmark/index.md +35 -0
  189. package/docs/examples/strings-benchmark/main.md +76 -0
  190. package/docs/examples/tasks-benchmark/index.md +36 -0
  191. package/docs/examples/tasks-benchmark/main.md +89 -0
  192. package/docs/examples/tasks-benchmark/operations.md +58 -0
  193. package/docs/examples/visibility/counter.md +19 -67
  194. package/docs/examples/visibility/index.md +6 -5
  195. package/docs/examples/visibility/main.md +7 -31
  196. package/docs/examples/weather-api/forecasts.md +168 -0
  197. package/docs/examples/weather-api/index.md +42 -0
  198. package/docs/examples/weather-api/main-yaml.md +21 -0
  199. package/docs/examples/weather-api/main.md +65 -0
  200. package/docs/examples.json +10 -0
  201. package/docs/getting-started.md +105 -2
  202. package/docs/grammar.md +7 -5
  203. package/docs/guides/change-a-module.md +64 -0
  204. package/docs/guides/index.md +27 -0
  205. package/docs/gym-results.json +784 -0
  206. package/docs/implementation-map.md +6 -0
  207. package/docs/index.md +51 -29
  208. package/docs/kernel-results.json +1170 -0
  209. package/docs/language-conformance.md +7 -1
  210. package/docs/language-constructs.md +30 -22
  211. package/docs/language-design-audit.md +1 -1
  212. package/docs/learn/data-and-errors.md +77 -0
  213. package/docs/learn/index.md +30 -0
  214. package/docs/learn/modules-and-dependencies.md +73 -0
  215. package/docs/learn/state-and-tests.md +71 -0
  216. package/docs/learn/values-and-functions.md +62 -0
  217. package/docs/lesson-failures.json +8 -0
  218. package/docs/maintaining-docs.md +16 -4
  219. package/docs/native-implementation.md +276 -0
  220. package/docs/native-interop-llvm-plan.md +342 -0
  221. package/docs/native-package-examples.md +684 -0
  222. package/docs/native-packages.md +179 -0
  223. package/docs/packages.md +72 -126
  224. package/docs/performance.md +61 -68
  225. package/docs/production-readiness.md +16 -5
  226. package/docs/public/downloads/approved-design.zip +0 -0
  227. package/docs/public/downloads/benchmark.zip +0 -0
  228. package/docs/public/downloads/calls-benchmark.zip +0 -0
  229. package/docs/public/downloads/cli-args.zip +0 -0
  230. package/docs/public/downloads/collections-benchmark.zip +0 -0
  231. package/docs/public/downloads/collections.zip +0 -0
  232. package/docs/public/downloads/cpu-benchmark.zip +0 -0
  233. package/docs/public/downloads/developer-workflow.zip +0 -0
  234. package/docs/public/downloads/drop.zip +0 -0
  235. package/docs/public/downloads/errors-benchmark.zip +0 -0
  236. package/docs/public/downloads/errors.zip +0 -0
  237. package/docs/public/downloads/ffi.zip +0 -0
  238. package/docs/public/downloads/float-benchmark.zip +0 -0
  239. package/docs/public/downloads/generic-di.zip +0 -0
  240. package/docs/public/downloads/generics.zip +0 -0
  241. package/docs/public/downloads/hello.zip +0 -0
  242. package/docs/public/downloads/http-benchmark.zip +0 -0
  243. package/docs/public/downloads/interceptors.zip +0 -0
  244. package/docs/public/downloads/json-benchmark.zip +0 -0
  245. package/docs/public/downloads/list-benchmark.zip +0 -0
  246. package/docs/public/downloads/map-churn-benchmark.zip +0 -0
  247. package/docs/public/downloads/native-blake3.zip +0 -0
  248. package/docs/public/downloads/native-pytorch.zip +0 -0
  249. package/docs/public/downloads/native-sqlite.zip +0 -0
  250. package/docs/public/downloads/native-zlib.zip +0 -0
  251. package/docs/public/downloads/new-syntax.zip +0 -0
  252. package/docs/public/downloads/oidc-login.zip +0 -0
  253. package/docs/public/downloads/ownership-transfer.zip +0 -0
  254. package/docs/public/downloads/ownership.zip +0 -0
  255. package/docs/public/downloads/packages-app.zip +0 -0
  256. package/docs/public/downloads/packages-math.zip +0 -0
  257. package/docs/public/downloads/records-benchmark.zip +0 -0
  258. package/docs/public/downloads/startup-benchmark.zip +0 -0
  259. package/docs/public/downloads/strings-benchmark.zip +0 -0
  260. package/docs/public/downloads/tasks-benchmark.zip +0 -0
  261. package/docs/public/downloads/visibility.zip +0 -0
  262. package/docs/public/downloads/weather-api.zip +0 -0
  263. package/docs/qualification-results.md +66 -0
  264. package/docs/reference.md +47 -17
  265. package/docs/releasing.md +105 -16
  266. package/docs/research/code-to-natural-language.md +108 -0
  267. package/docs/research/ecosystem-workflow.md +41 -0
  268. package/docs/research/libtorch-native-qualification.md +115 -0
  269. package/docs/research/native-interop-llvm.md +197 -0
  270. package/docs/research/qualification-methods.md +15 -0
  271. package/docs/research/wiki-editorial-design.md +71 -0
  272. package/docs/roadmap.md +2 -1
  273. package/docs/safety-gyms.md +41 -0
  274. package/docs/specifications.md +27 -11
  275. package/docs/testing.md +19 -5
  276. package/docs/tooling.md +36 -22
  277. package/docs/weather-api.md +65 -0
  278. package/docs/web-library-gaps.md +1 -1
  279. package/docs/web.md +54 -18
  280. package/docs/writing-docs.md +49 -0
  281. package/examples/{hello/.aug-spec/august/0.19.0 → approved-design/.aug-spec/august/0.21.0}/io/contracts.aug +4 -3
  282. package/examples/approved-design/.aug-spec/august/0.21.0/io/contracts.aug.md +82 -0
  283. package/examples/approved-design/.aug-spec/manifest.json +3 -3
  284. package/examples/approved-design/counters.aug +5 -4
  285. package/examples/approved-design/counters.aug.md +25 -132
  286. package/examples/approved-design/domain/app.aug +2 -1
  287. package/examples/approved-design/domain/app.aug.md +10 -80
  288. package/examples/approved-design/domain/export.aug +1 -0
  289. package/examples/approved-design/domain/export.aug.md +4 -20
  290. package/examples/approved-design/domain/models.aug +1 -0
  291. package/examples/approved-design/domain/models.aug.md +3 -25
  292. package/examples/approved-design/domain/numbers.aug +3 -2
  293. package/examples/approved-design/domain/numbers.aug.md +19 -116
  294. package/examples/approved-design/main.aug +1 -0
  295. package/examples/approved-design/main.aug.md +12 -95
  296. package/examples/benchmark/.aug-spec/manifest.json +1 -1
  297. package/examples/benchmark/main.aug +1 -0
  298. package/examples/benchmark/main.aug.md +6 -36
  299. package/examples/cli-args/.aug-spec/manifest.json +1 -1
  300. package/examples/cli-args/main.aug +1 -0
  301. package/examples/cli-args/main.aug.md +5 -32
  302. package/examples/collections/.aug-spec/manifest.json +1 -1
  303. package/examples/collections/main.aug +1 -0
  304. package/examples/collections/main.aug.md +6 -36
  305. package/examples/{generic-di/.aug-spec/august/0.19.0 → developer-workflow/.aug-spec/august/0.21.0}/io/contracts.aug +4 -3
  306. package/examples/developer-workflow/.aug-spec/august/0.21.0/io/contracts.aug.md +82 -0
  307. package/examples/developer-workflow/.aug-spec/manifest.json +3 -3
  308. package/examples/developer-workflow/calculator.aug +3 -2
  309. package/examples/developer-workflow/calculator.aug.md +28 -189
  310. package/examples/developer-workflow/logging/console.aug +2 -1
  311. package/examples/developer-workflow/logging/console.aug.md +7 -57
  312. package/examples/developer-workflow/logging/export.aug +1 -0
  313. package/examples/developer-workflow/logging/export.aug.md +3 -15
  314. package/examples/developer-workflow/logging/logger.aug +1 -0
  315. package/examples/developer-workflow/logging/logger.aug.md +6 -46
  316. package/examples/developer-workflow/main.aug +1 -0
  317. package/examples/developer-workflow/main.aug.md +10 -68
  318. package/examples/drop/.aug-spec/manifest.json +1 -1
  319. package/examples/drop/main.aug +1 -0
  320. package/examples/drop/main.aug.md +6 -28
  321. package/examples/drop/resource.aug +1 -0
  322. package/examples/drop/resource.aug.md +6 -34
  323. package/examples/errors/.aug-spec/manifest.json +1 -1
  324. package/examples/errors/errors.aug +2 -1
  325. package/examples/errors/errors.aug.md +4 -27
  326. package/examples/errors/main.aug +1 -0
  327. package/examples/errors/main.aug.md +6 -29
  328. package/examples/ffi/.aug-spec/manifest.json +1 -1
  329. package/examples/ffi/main.aug +1 -0
  330. package/examples/ffi/main.aug.md +5 -21
  331. package/examples/ffi/native.aug +2 -1
  332. package/examples/ffi/native.aug.md +5 -35
  333. package/examples/{approved-design/.aug-spec/august/0.19.0 → generic-di/.aug-spec/august/0.21.0}/io/contracts.aug +4 -3
  334. package/examples/generic-di/.aug-spec/august/0.21.0/io/contracts.aug.md +82 -0
  335. package/examples/generic-di/.aug-spec/manifest.json +3 -3
  336. package/examples/generic-di/main.aug +1 -0
  337. package/examples/generic-di/main.aug.md +8 -40
  338. package/examples/generic-di/types.aug +3 -2
  339. package/examples/generic-di/types.aug.md +18 -97
  340. package/examples/generics/.aug-spec/manifest.json +1 -1
  341. package/examples/generics/main.aug +1 -0
  342. package/examples/generics/main.aug.md +9 -48
  343. package/examples/generics/types.aug +4 -3
  344. package/examples/generics/types.aug.md +18 -104
  345. package/examples/{developer-workflow/.aug-spec/august/0.19.0 → hello/.aug-spec/august/0.21.0}/io/contracts.aug +4 -3
  346. package/examples/hello/.aug-spec/august/0.21.0/io/contracts.aug.md +82 -0
  347. package/examples/hello/.aug-spec/manifest.json +3 -3
  348. package/examples/hello/app/export.aug +1 -0
  349. package/examples/hello/app/export.aug.md +3 -13
  350. package/examples/hello/app/greeter.aug +2 -1
  351. package/examples/hello/app/greeter.aug.md +10 -94
  352. package/examples/hello/logging/console.aug +2 -1
  353. package/examples/hello/logging/console.aug.md +7 -55
  354. package/examples/hello/logging/export.aug +1 -0
  355. package/examples/hello/logging/export.aug.md +3 -15
  356. package/examples/hello/logging/logger.aug +1 -0
  357. package/examples/hello/logging/logger.aug.md +6 -48
  358. package/examples/hello/main.aug +1 -0
  359. package/examples/hello/main.aug.md +8 -40
  360. package/examples/interceptors/.aug-spec/august/0.21.0/io/contracts.aug +37 -0
  361. package/examples/interceptors/.aug-spec/august/0.21.0/io/contracts.aug.md +82 -0
  362. package/examples/interceptors/.aug-spec/manifest.json +3 -3
  363. package/examples/interceptors/app.aug +3 -2
  364. package/examples/interceptors/app.aug.md +15 -141
  365. package/examples/interceptors/interceptors.aug +3 -2
  366. package/examples/interceptors/interceptors.aug.md +19 -152
  367. package/examples/interceptors/logging.aug +2 -1
  368. package/examples/interceptors/logging.aug.md +10 -79
  369. package/examples/interceptors/main.aug +1 -0
  370. package/examples/interceptors/main.aug.md +9 -66
  371. package/examples/native-blake3/.aug-spec/manifest.json +16 -0
  372. package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.1/native.abi.json +29 -0
  373. package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/api.aug +14 -0
  374. package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/api.aug.md +34 -0
  375. package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/contracts.aug +4 -0
  376. package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/contracts.aug.md +8 -0
  377. package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/native.abi.json +29 -0
  378. package/examples/native-blake3/AGENTS.md +5 -0
  379. package/examples/native-blake3/aug.lock.json +253 -0
  380. package/examples/native-blake3/hashing.aug +11 -0
  381. package/examples/native-blake3/hashing.aug.md +25 -0
  382. package/examples/native-blake3/main.aug +8 -0
  383. package/examples/native-blake3/main.aug.md +13 -0
  384. package/examples/native-pytorch/.aug-spec/manifest.json +18 -0
  385. package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.1/native.abi.json +142 -0
  386. package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.3/native.abi.json +142 -0
  387. package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/api.aug +101 -0
  388. package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/api.aug.md +160 -0
  389. package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/bindings.aug +3 -0
  390. package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md +8 -0
  391. package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/contracts.aug +6 -0
  392. package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/contracts.aug.md +13 -0
  393. package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/native.abi.json +142 -0
  394. package/examples/native-pytorch/AGENTS.md +5 -0
  395. package/examples/native-pytorch/aug.lock.json +309 -0
  396. package/examples/native-pytorch/main.aug +8 -0
  397. package/examples/native-pytorch/main.aug.md +13 -0
  398. package/examples/native-pytorch/tensors.aug +23 -0
  399. package/examples/native-pytorch/tensors.aug.md +35 -0
  400. package/examples/native-sqlite/.aug-spec/manifest.json +18 -0
  401. package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.2/native.abi.json +100 -0
  402. package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/api.aug +48 -0
  403. package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/api.aug.md +91 -0
  404. package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/bindings.aug +3 -0
  405. package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/bindings.aug.md +8 -0
  406. package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/contracts.aug +8 -0
  407. package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/contracts.aug.md +22 -0
  408. package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/native.abi.json +100 -0
  409. package/examples/native-sqlite/AGENTS.md +5 -0
  410. package/examples/native-sqlite/aug.lock.json +236 -0
  411. package/examples/native-sqlite/database.aug +15 -0
  412. package/examples/native-sqlite/database.aug.md +27 -0
  413. package/examples/native-sqlite/main.aug +8 -0
  414. package/examples/native-sqlite/main.aug.md +13 -0
  415. package/examples/native-zlib/.aug-spec/manifest.json +16 -0
  416. package/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/0.1.1/native.abi.json +57 -0
  417. package/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/api.aug +29 -0
  418. package/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/api.aug.md +54 -0
  419. package/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/contracts.aug +4 -0
  420. package/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/contracts.aug.md +8 -0
  421. package/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/native.abi.json +57 -0
  422. package/examples/native-zlib/AGENTS.md +5 -0
  423. package/examples/native-zlib/aug.lock.json +236 -0
  424. package/examples/native-zlib/compression.aug +15 -0
  425. package/examples/native-zlib/compression.aug.md +27 -0
  426. package/examples/native-zlib/main.aug +10 -0
  427. package/examples/native-zlib/main.aug.md +13 -0
  428. package/examples/new-syntax/.aug-spec/august/0.21.0/io/contracts.aug +37 -0
  429. package/examples/new-syntax/.aug-spec/august/0.21.0/io/contracts.aug.md +82 -0
  430. package/examples/new-syntax/.aug-spec/manifest.json +3 -3
  431. package/examples/new-syntax/console.aug +2 -1
  432. package/examples/new-syntax/console.aug.md +7 -53
  433. package/examples/new-syntax/greeter.aug +2 -1
  434. package/examples/new-syntax/greeter.aug.md +10 -74
  435. package/examples/new-syntax/logger.aug +1 -0
  436. package/examples/new-syntax/logger.aug.md +6 -46
  437. package/examples/new-syntax/main.aug +1 -0
  438. package/examples/new-syntax/main.aug.md +9 -54
  439. package/examples/new-syntax/math.aug +2 -1
  440. package/examples/new-syntax/math.aug.md +3 -24
  441. package/examples/oidc-login/.aug-spec/manifest.json +13 -13
  442. package/examples/oidc-login/.aug-spec/packages/@git/url_0eb7c89453c87681ed15/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/store.aug.md +71 -0
  443. package/examples/oidc-login/.aug-spec/packages/@git/url_2d3c37c690c0fa115be1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug.md +17 -0
  444. package/examples/oidc-login/.aug-spec/packages/@git/url_897efafd565158fc4908/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug.md +125 -0
  445. package/examples/oidc-login/.aug-spec/{august/0.19.0/crypto → packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40}/contracts.aug +12 -11
  446. package/examples/oidc-login/.aug-spec/packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40/contracts.aug.md +244 -0
  447. package/examples/oidc-login/.aug-spec/{august/0.19.0/crypto → packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40}/jose.aug +6 -5
  448. package/examples/oidc-login/.aug-spec/packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40/jose.aug.md +71 -0
  449. package/examples/oidc-login/.aug-spec/packages/@git/url_c092cd151499c4e1d8a1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug.md +30 -0
  450. package/examples/oidc-login/aug.lock.json +100 -0
  451. package/examples/oidc-login/client/contracts.aug +1 -0
  452. package/examples/oidc-login/client/contracts.aug.md +9 -66
  453. package/examples/oidc-login/client/endpoints.aug +6 -5
  454. package/examples/oidc-login/client/endpoints.aug.md +13 -145
  455. package/examples/oidc-login/client/export.aug +1 -0
  456. package/examples/oidc-login/client/export.aug.md +4 -24
  457. package/examples/oidc-login/client/login.aug +7 -6
  458. package/examples/oidc-login/client/login.aug.md +25 -303
  459. package/examples/oidc-login/client/logout.aug +5 -4
  460. package/examples/oidc-login/client/logout.aug.md +13 -135
  461. package/examples/oidc-login/client/protocol.aug +7 -6
  462. package/examples/oidc-login/client/protocol.aug.md +36 -283
  463. package/examples/oidc-login/client/session.aug +5 -4
  464. package/examples/oidc-login/client/session.aug.md +12 -139
  465. package/examples/oidc-login/client/views.aug +3 -2
  466. package/examples/oidc-login/client/views.aug.md +8 -57
  467. package/examples/oidc-login/common/export.aug +1 -0
  468. package/examples/oidc-login/common/export.aug.md +5 -27
  469. package/examples/oidc-login/common/headers.aug +4 -3
  470. package/examples/oidc-login/common/headers.aug.md +9 -67
  471. package/examples/oidc-login/common/keys.aug +6 -5
  472. package/examples/oidc-login/common/keys.aug.md +29 -165
  473. package/examples/oidc-login/common/settings.aug +2 -1
  474. package/examples/oidc-login/common/settings.aug.md +5 -39
  475. package/examples/oidc-login/common/views.aug +2 -1
  476. package/examples/oidc-login/common/views.aug.md +4 -28
  477. package/examples/oidc-login/main.aug +6 -16
  478. package/examples/oidc-login/main.aug.md +17 -146
  479. package/examples/oidc-login/main.yaml +7 -0
  480. package/examples/oidc-login/provider/authorization.aug +7 -6
  481. package/examples/oidc-login/provider/authorization.aug.md +23 -238
  482. package/examples/oidc-login/provider/contracts.aug +1 -0
  483. package/examples/oidc-login/provider/contracts.aug.md +23 -158
  484. package/examples/oidc-login/provider/credentials.aug +3 -2
  485. package/examples/oidc-login/provider/credentials.aug.md +9 -53
  486. package/examples/oidc-login/provider/discovery.aug +4 -3
  487. package/examples/oidc-login/provider/discovery.aug.md +11 -118
  488. package/examples/oidc-login/provider/export.aug +1 -0
  489. package/examples/oidc-login/provider/export.aug.md +6 -34
  490. package/examples/oidc-login/provider/token.aug +6 -5
  491. package/examples/oidc-login/provider/token.aug.md +16 -204
  492. package/examples/oidc-login/provider/userinfo.aug +4 -3
  493. package/examples/oidc-login/provider/userinfo.aug.md +10 -92
  494. package/examples/oidc-login/provider/views.aug +3 -2
  495. package/examples/oidc-login/provider/views.aug.md +8 -52
  496. package/examples/ownership/.aug-spec/manifest.json +1 -1
  497. package/examples/ownership/counter.aug +3 -2
  498. package/examples/ownership/counter.aug.md +12 -66
  499. package/examples/ownership/main.aug +1 -0
  500. package/examples/ownership/main.aug.md +6 -31
  501. package/examples/ownership-transfer/.aug-spec/august/0.21.0/io/contracts.aug +37 -0
  502. package/examples/ownership-transfer/.aug-spec/august/0.21.0/io/contracts.aug.md +82 -0
  503. package/examples/ownership-transfer/.aug-spec/manifest.json +3 -3
  504. package/examples/ownership-transfer/main.aug +1 -0
  505. package/examples/ownership-transfer/main.aug.md +9 -53
  506. package/examples/ownership-transfer/resource.aug +2 -1
  507. package/examples/ownership-transfer/resource.aug.md +12 -71
  508. package/examples/packages/app/.aug-spec/manifest.json +1 -1
  509. package/examples/packages/app/.aug-spec/packages/@example/aug-math/0.1.0/arithmetic.aug +2 -1
  510. package/examples/packages/app/.aug-spec/packages/@example/aug-math/0.1.0/arithmetic.aug.md +9 -51
  511. package/examples/packages/app/main.aug +1 -0
  512. package/examples/packages/app/main.aug.md +6 -26
  513. package/examples/packages/math/.aug-spec/manifest.json +1 -1
  514. package/examples/packages/math/aug-package.json +1 -1
  515. package/examples/packages/math/src/arithmetic.aug +2 -1
  516. package/examples/packages/math/src/arithmetic.aug.md +9 -51
  517. package/examples/packages/math/src/export.aug +1 -0
  518. package/examples/packages/math/src/export.aug.md +3 -13
  519. package/examples/visibility/.aug-spec/manifest.json +1 -1
  520. package/examples/visibility/counter.aug +4 -3
  521. package/examples/visibility/counter.aug.md +12 -68
  522. package/examples/visibility/main.aug +1 -0
  523. package/examples/visibility/main.aug.md +6 -32
  524. package/examples/weather-api/.aug-spec/manifest.json +8 -0
  525. package/examples/weather-api/AGENTS.md +17 -0
  526. package/examples/weather-api/README.md +19 -0
  527. package/examples/weather-api/forecasts.aug +47 -0
  528. package/examples/weather-api/forecasts.aug.md +32 -0
  529. package/examples/weather-api/main.aug +4 -0
  530. package/examples/weather-api/main.aug.md +15 -0
  531. package/examples/weather-api/main.yaml +5 -0
  532. package/examples/weather-api/weather.http +5 -0
  533. package/native/compiler-packs.json +43 -0
  534. package/package.json +4 -4
  535. package/runtime/aug_http.c +48 -21
  536. package/runtime/aug_http_ir.c +30 -0
  537. package/runtime/aug_http_ir.h +18 -0
  538. package/runtime/aug_ir.c +209 -0
  539. package/runtime/aug_ir.h +89 -0
  540. package/runtime/aug_json.c +6 -1
  541. package/runtime/aug_runtime.c +82 -16
  542. package/runtime/aug_runtime.h +16 -2
  543. package/runtime/aug_tasks.c +38 -7
  544. package/runtime/aug_values.c +12 -6
  545. package/scripts/bootstrap-native.mjs +184 -106
  546. package/scripts/native-setup.mjs +98 -0
  547. package/scripts/native-toolchain.mjs +28 -0
  548. package/src/ast.js +1 -1
  549. package/src/builtins.js +1 -1
  550. package/src/checker.js +369 -100
  551. package/src/cli.js +198 -26
  552. package/src/codegen.js +32 -7
  553. package/src/compiler-packs.js +66 -0
  554. package/src/config.js +3 -3
  555. package/src/contracts.js +10 -0
  556. package/src/editor.js +86 -22
  557. package/src/fixes.js +90 -2
  558. package/src/formatter.js +23 -10
  559. package/src/git-http.js +137 -0
  560. package/src/git-packages.js +118 -0
  561. package/src/help.js +33 -24
  562. package/src/http-contracts.js +14 -0
  563. package/src/http-policies.js +5 -5
  564. package/src/ir-types.js +5 -0
  565. package/src/ir-verify.js +277 -0
  566. package/src/ir.js +962 -0
  567. package/src/libraries.js +1 -1
  568. package/src/llvm-debug.js +101 -0
  569. package/src/llvm-native.js +152 -0
  570. package/src/llvm-platform.js +20 -0
  571. package/src/llvm.js +781 -0
  572. package/src/lsp.js +14 -5
  573. package/src/native-artifacts.js +207 -0
  574. package/src/native-bindings.js +189 -0
  575. package/src/native-contracts.js +295 -0
  576. package/src/native-declarations.js +68 -0
  577. package/src/native-facts.js +63 -0
  578. package/src/native.js +19 -13
  579. package/src/navigation.js +4 -2
  580. package/src/openapi.js +5 -4
  581. package/src/package-locking.js +88 -0
  582. package/src/package-manager.js +267 -68
  583. package/src/parser.js +32 -6
  584. package/src/policies.js +3 -3
  585. package/src/project-init.js +78 -4
  586. package/src/project.js +11 -9
  587. package/src/runtime-abi.js +23 -0
  588. package/src/runtime-adapters.js +18 -0
  589. package/src/schemas.js +24 -17
  590. package/src/semantic.js +54 -5
  591. package/src/snippets.js +60 -0
  592. package/src/spec-hints.js +56 -0
  593. package/src/spec-tree.js +241 -0
  594. package/src/spec.js +669 -305
  595. package/docs/examples/approved-design/dependencies/august/0.19.0/io/contracts.md +0 -395
  596. package/docs/examples/developer-workflow/dependencies/august/0.19.0/io/contracts.md +0 -395
  597. package/docs/examples/generic-di/dependencies/august/0.19.0/io/contracts.md +0 -395
  598. package/docs/examples/hello/dependencies/august/0.19.0/io/contracts.md +0 -395
  599. package/docs/examples/interceptors/dependencies/august/0.19.0/io/contracts.md +0 -395
  600. package/docs/examples/json-benchmark/dependencies/august/0.19.0/json/contracts.md +0 -103
  601. package/docs/examples/new-syntax/dependencies/august/0.19.0/io/contracts.md +0 -395
  602. package/docs/examples/oidc-login/dependencies/august/0.19.0/crypto/contracts.md +0 -925
  603. package/docs/examples/oidc-login/dependencies/august/0.19.0/crypto/jose.md +0 -434
  604. package/docs/examples/oidc-login/dependencies/august/0.19.0/json/contracts.md +0 -103
  605. package/docs/examples/oidc-login/dependencies/august/0.19.0/memory/store.md +0 -374
  606. package/docs/examples/oidc-login/dependencies/august/0.19.0/time/contracts.md +0 -150
  607. package/docs/examples/oidc-login/dependencies/august/0.19.0/web/contracts.md +0 -532
  608. package/docs/examples/ownership-transfer/dependencies/august/0.19.0/io/contracts.md +0 -395
  609. package/examples/approved-design/.aug-spec/august/0.19.0/io/contracts.aug.md +0 -316
  610. package/examples/developer-workflow/.aug-spec/august/0.19.0/io/contracts.aug.md +0 -316
  611. package/examples/generic-di/.aug-spec/august/0.19.0/io/contracts.aug.md +0 -316
  612. package/examples/hello/.aug-spec/august/0.19.0/io/contracts.aug.md +0 -316
  613. package/examples/interceptors/.aug-spec/august/0.19.0/io/contracts.aug +0 -36
  614. package/examples/interceptors/.aug-spec/august/0.19.0/io/contracts.aug.md +0 -316
  615. package/examples/new-syntax/.aug-spec/august/0.19.0/io/contracts.aug +0 -36
  616. package/examples/new-syntax/.aug-spec/august/0.19.0/io/contracts.aug.md +0 -316
  617. package/examples/oidc-login/.aug-spec/august/0.19.0/crypto/contracts.aug.md +0 -791
  618. package/examples/oidc-login/.aug-spec/august/0.19.0/crypto/jose.aug.md +0 -266
  619. package/examples/oidc-login/.aug-spec/august/0.19.0/json/contracts.aug.md +0 -55
  620. package/examples/oidc-login/.aug-spec/august/0.19.0/memory/store.aug.md +0 -250
  621. package/examples/oidc-login/.aug-spec/august/0.19.0/time/contracts.aug.md +0 -96
  622. package/examples/oidc-login/.aug-spec/august/0.19.0/web/contracts.aug.md +0 -420
  623. package/examples/ownership-transfer/.aug-spec/august/0.19.0/io/contracts.aug +0 -36
  624. package/examples/ownership-transfer/.aug-spec/august/0.19.0/io/contracts.aug.md +0 -316
  625. /package/examples/oidc-login/.aug-spec/{august/0.19.0/memory → packages/@git/url_0eb7c89453c87681ed15/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301}/store.aug +0 -0
  626. /package/examples/oidc-login/.aug-spec/{august/0.19.0/json → packages/@git/url_2d3c37c690c0fa115be1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301}/contracts.aug +0 -0
  627. /package/examples/oidc-login/.aug-spec/{august/0.19.0/web → packages/@git/url_897efafd565158fc4908/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301}/contracts.aug +0 -0
  628. /package/examples/oidc-login/.aug-spec/{august/0.19.0/time → packages/@git/url_c092cd151499c4e1d8a1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301}/contracts.aug +0 -0
@@ -0,0 +1,142 @@
1
+ {
2
+ "format": 1,
3
+ "profile": "aug-native-abi-1",
4
+ "resources": [
5
+ {
6
+ "module": "bindings",
7
+ "name": "Tensor",
8
+ "release": "aug_torch_tensor_release_v1"
9
+ }
10
+ ],
11
+ "functions": [
12
+ {
13
+ "module": "api",
14
+ "name": "_tensor",
15
+ "symbol": "aug_torch_tensor_from_f64_v1",
16
+ "params": [
17
+ {
18
+ "name": "values",
19
+ "kind": "f64-list"
20
+ }
21
+ ],
22
+ "result": {
23
+ "kind": "resource",
24
+ "resource": "bindings.Tensor"
25
+ },
26
+ "error": "contracts.TensorError",
27
+ "callingConvention": "C",
28
+ "status": "i32",
29
+ "uses": [],
30
+ "changes": [],
31
+ "thread": "caller",
32
+ "retainsInputs": false
33
+ },
34
+ {
35
+ "module": "api",
36
+ "name": "_add",
37
+ "symbol": "aug_torch_tensor_add_v1",
38
+ "params": [
39
+ {
40
+ "name": "left",
41
+ "kind": "resource",
42
+ "resource": "bindings.Tensor",
43
+ "ownership": "read"
44
+ },
45
+ {
46
+ "name": "right",
47
+ "kind": "resource",
48
+ "resource": "bindings.Tensor",
49
+ "ownership": "read"
50
+ }
51
+ ],
52
+ "result": {
53
+ "kind": "resource",
54
+ "resource": "bindings.Tensor"
55
+ },
56
+ "error": "contracts.TensorError",
57
+ "callingConvention": "C",
58
+ "status": "i32",
59
+ "uses": [],
60
+ "changes": [],
61
+ "thread": "caller",
62
+ "retainsInputs": false
63
+ },
64
+ {
65
+ "module": "api",
66
+ "name": "_sum",
67
+ "symbol": "aug_torch_tensor_sum_v1",
68
+ "params": [
69
+ {
70
+ "name": "tensor",
71
+ "kind": "resource",
72
+ "resource": "bindings.Tensor",
73
+ "ownership": "read"
74
+ }
75
+ ],
76
+ "result": {
77
+ "kind": "f64"
78
+ },
79
+ "error": "contracts.TensorError",
80
+ "callingConvention": "C",
81
+ "status": "i32",
82
+ "uses": [],
83
+ "changes": [],
84
+ "thread": "caller",
85
+ "retainsInputs": false
86
+ },
87
+ {
88
+ "module": "api",
89
+ "name": "_values",
90
+ "symbol": "aug_torch_tensor_values_v1",
91
+ "params": [
92
+ {
93
+ "name": "tensor",
94
+ "kind": "resource",
95
+ "resource": "bindings.Tensor",
96
+ "ownership": "read"
97
+ }
98
+ ],
99
+ "result": {
100
+ "kind": "f64-list",
101
+ "release": "aug_torch_values_release_v1"
102
+ },
103
+ "error": "contracts.TensorError",
104
+ "callingConvention": "C",
105
+ "status": "i32",
106
+ "uses": [],
107
+ "changes": [],
108
+ "thread": "caller",
109
+ "retainsInputs": false
110
+ },
111
+ {
112
+ "module": "api",
113
+ "name": "_liveTensors",
114
+ "symbol": "aug_probe_live_tensors_v1",
115
+ "params": [],
116
+ "result": {
117
+ "kind": "i64"
118
+ },
119
+ "callingConvention": "C",
120
+ "status": "direct",
121
+ "uses": [],
122
+ "changes": [],
123
+ "thread": "caller",
124
+ "retainsInputs": false
125
+ },
126
+ {
127
+ "module": "api",
128
+ "name": "_liveBuffers",
129
+ "symbol": "aug_probe_live_buffers_v1",
130
+ "params": [],
131
+ "result": {
132
+ "kind": "i64"
133
+ },
134
+ "callingConvention": "C",
135
+ "status": "direct",
136
+ "uses": [],
137
+ "changes": [],
138
+ "thread": "caller",
139
+ "retainsInputs": false
140
+ }
141
+ ]
142
+ }
@@ -0,0 +1,5 @@
1
+ # Working on this August project
2
+
3
+ Read each file's adjacent `.aug.md` before editing; change `.aug` source and regenerate with `aug spec .`.
4
+ This project imports real CPU LibTorch through a tagged public package. Keep dependency versions and native ownership explicit. Do not replace native operations with a mock.
5
+ Use the August 0.21.0 LLVM preview on macOS 14+ ARM64. Run `aug install .`, `aug check .`, `aug test .`, and `aug run .`. Consumer installation must not invoke native build scripts.
@@ -0,0 +1,309 @@
1
+ {
2
+ "format": 1,
3
+ "compiler": "0.21.0",
4
+ "specifications": {
5
+ "url_db404a9d2d69617ca3ed": "https://github.com/GreenPandaStudios/aug-pytorch#v0.1.4"
6
+ },
7
+ "roots": {
8
+ "url_db404a9d2d69617ca3ed": "packages/url_db404a9d2d69617ca3ed"
9
+ },
10
+ "npm": {},
11
+ "git": [
12
+ {
13
+ "request": "https://github.com/GreenPandaStudios/aug-pytorch#v0.1.4",
14
+ "repository": "https://github.com/GreenPandaStudios/aug-pytorch.git",
15
+ "revision": "v0.1.4",
16
+ "folder": "",
17
+ "commit": "345c975b74a892ba1e0534503917e937dace6b87"
18
+ }
19
+ ],
20
+ "packages": [
21
+ {
22
+ "path": "packages/url_db404a9d2d69617ca3ed",
23
+ "name": "@greenpandastudios/aug-pytorch",
24
+ "version": "0.1.4",
25
+ "source": "src",
26
+ "digest": "4cf9a1763ba0a2c5fa3da6a47c13b39f0872952060e87f7692f5dad20417472a",
27
+ "dependencies": {},
28
+ "native": {
29
+ "profile": "aug-native-abi-1",
30
+ "bindings": "native.abi.json",
31
+ "bindingsSha256": "f07b8cab89ad7cfe368edcd9daf87ecc810adb6a2eed1f446d7b71fb664e91f5",
32
+ "upstream": {
33
+ "repository": "https://github.com/pytorch/pytorch",
34
+ "version": "2.14.1",
35
+ "sourceRevision": "5c4886908584029761b579af026dcfb627c84070"
36
+ },
37
+ "artifacts": [
38
+ {
39
+ "id": "linux-arm64",
40
+ "target": {
41
+ "triple": "aarch64-unknown-linux-gnu",
42
+ "os": "linux",
43
+ "arch": "arm64",
44
+ "minimumLibc": "2.36",
45
+ "cpuBaseline": "armv8-a",
46
+ "libc": "glibc",
47
+ "cxxRuntime": "bundled-libstdc++",
48
+ "cxxABI": "itanium-cxx11",
49
+ "features": [
50
+ "cpu",
51
+ "float64"
52
+ ]
53
+ },
54
+ "url": "https://github.com/GreenPandaStudios/aug-pytorch/releases/download/v0.1.4/native-linux-arm64.tar.gz",
55
+ "sha256": "8eb7c5e30635949228548208bda1ac0a7c42801d2299a90ea4d4c2064e700573",
56
+ "maximumDownloadBytes": 205707311,
57
+ "maximumUnpackedBytes": 443080682,
58
+ "link": {
59
+ "kind": "dynamic",
60
+ "libraries": [
61
+ "lib/libaug_torch.so.1"
62
+ ]
63
+ },
64
+ "runtime": {
65
+ "files": [
66
+ "lib/libarm_compute.so",
67
+ "lib/libarm_compute_graph.so",
68
+ "lib/libaug_torch.so.1",
69
+ "lib/libc10.so",
70
+ "lib/libgcc_s.so.1",
71
+ "lib/libgfortran.so.5",
72
+ "lib/libgomp.so.1",
73
+ "lib/libopenblas.so.0",
74
+ "lib/libstdc++.so.6",
75
+ "lib/libtorch_cpu.so",
76
+ "lib/libz.so.1"
77
+ ],
78
+ "closureManifest": "runtime-files.json",
79
+ "relocation": "loader-relative"
80
+ },
81
+ "components": [
82
+ {
83
+ "id": "https://github.com/pytorch/pytorch",
84
+ "version": "2.14.1",
85
+ "compatibilityKey": "aug-pytorch-runtime",
86
+ "linkage": "dynamic",
87
+ "required": true
88
+ },
89
+ {
90
+ "id": "gcc-runtime",
91
+ "version": "12.2.0-14+deb12u1",
92
+ "compatibilityKey": "gcc-runtime",
93
+ "linkage": "dynamic",
94
+ "required": true
95
+ },
96
+ {
97
+ "id": "arm-compute",
98
+ "version": "53.2.0",
99
+ "compatibilityKey": "arm-compute",
100
+ "linkage": "dynamic",
101
+ "required": true
102
+ },
103
+ {
104
+ "id": "openblas",
105
+ "version": "0.3.34",
106
+ "compatibilityKey": "openblas",
107
+ "linkage": "dynamic",
108
+ "required": true
109
+ }
110
+ ],
111
+ "fileManifest": "files.json",
112
+ "provenance": "provenance.json",
113
+ "notices": "THIRD_PARTY_NOTICES.md"
114
+ },
115
+ {
116
+ "id": "linux-x64",
117
+ "target": {
118
+ "triple": "x86_64-unknown-linux-gnu",
119
+ "os": "linux",
120
+ "arch": "x64",
121
+ "minimumLibc": "2.36",
122
+ "cpuBaseline": "x86-64",
123
+ "libc": "glibc",
124
+ "cxxRuntime": "bundled-libstdc++",
125
+ "cxxABI": "itanium-cxx11",
126
+ "features": [
127
+ "cpu",
128
+ "float64"
129
+ ]
130
+ },
131
+ "url": "https://github.com/GreenPandaStudios/aug-pytorch/releases/download/v0.1.4/native-linux-x64.tar.gz",
132
+ "sha256": "e39d75858c158af03bae161d54b3a267b4fcf3dc4568be6467df72e472793f7b",
133
+ "maximumDownloadBytes": 207516626,
134
+ "maximumUnpackedBytes": 535024433,
135
+ "link": {
136
+ "kind": "dynamic",
137
+ "libraries": [
138
+ "lib/libaug_torch.so.1"
139
+ ]
140
+ },
141
+ "runtime": {
142
+ "files": [
143
+ "lib/libaug_torch.so.1",
144
+ "lib/libc10.so",
145
+ "lib/libgcc_s.so.1",
146
+ "lib/libgomp.so.1",
147
+ "lib/libstdc++.so.6",
148
+ "lib/libtorch_cpu.so"
149
+ ],
150
+ "closureManifest": "runtime-files.json",
151
+ "relocation": "loader-relative"
152
+ },
153
+ "components": [
154
+ {
155
+ "id": "https://github.com/pytorch/pytorch",
156
+ "version": "2.14.1",
157
+ "compatibilityKey": "aug-pytorch-runtime",
158
+ "linkage": "dynamic",
159
+ "required": true
160
+ },
161
+ {
162
+ "id": "gcc-runtime",
163
+ "version": "12.2.0-14+deb12u1",
164
+ "compatibilityKey": "gcc-runtime",
165
+ "linkage": "dynamic",
166
+ "required": true
167
+ }
168
+ ],
169
+ "fileManifest": "files.json",
170
+ "provenance": "provenance.json",
171
+ "notices": "THIRD_PARTY_NOTICES.md"
172
+ },
173
+ {
174
+ "id": "macos-arm64",
175
+ "target": {
176
+ "triple": "aarch64-apple-darwin",
177
+ "os": "macos",
178
+ "arch": "arm64",
179
+ "minimumOS": "14.0",
180
+ "cpuBaseline": "armv8-a",
181
+ "libc": "libSystem",
182
+ "cxxRuntime": "system-libc++",
183
+ "cxxABI": "apple-libc++",
184
+ "features": [
185
+ "cpu",
186
+ "float64"
187
+ ]
188
+ },
189
+ "url": "https://github.com/GreenPandaStudios/aug-pytorch/releases/download/v0.1.4/native-macos-arm64.tar.gz",
190
+ "sha256": "a130f4a67b574456e5eb0538dc099cb99e5356fdb47ebd4926da6f9b65ccb1e1",
191
+ "maximumDownloadBytes": 92487957,
192
+ "maximumUnpackedBytes": 388370911,
193
+ "link": {
194
+ "kind": "dynamic",
195
+ "libraries": [
196
+ "lib/libaug_torch.1.dylib"
197
+ ]
198
+ },
199
+ "runtime": {
200
+ "files": [
201
+ "lib/libaug_torch.1.dylib",
202
+ "lib/libc10.dylib",
203
+ "lib/libomp.dylib",
204
+ "lib/libtorch_cpu.dylib"
205
+ ],
206
+ "closureManifest": "runtime-files.json",
207
+ "relocation": "loader-relative"
208
+ },
209
+ "components": [
210
+ {
211
+ "id": "https://github.com/pytorch/pytorch",
212
+ "version": "2.14.1",
213
+ "compatibilityKey": "aug-pytorch-runtime",
214
+ "linkage": "dynamic",
215
+ "required": true
216
+ }
217
+ ],
218
+ "fileManifest": "files.json",
219
+ "provenance": "provenance.json",
220
+ "notices": "THIRD_PARTY_NOTICES.md"
221
+ }
222
+ ],
223
+ "sourceBuild": {
224
+ "recipe": "native/build.json",
225
+ "inputs": "native/sources.lock.json",
226
+ "tools": [
227
+ "Node 24+",
228
+ "Clang",
229
+ "macOS: Apple SDK",
230
+ "GNU/Linux: Docker with the pinned Debian 12 maintainer image and patchelf"
231
+ ],
232
+ "automatic": false
233
+ }
234
+ }
235
+ }
236
+ ],
237
+ "native": {
238
+ "format": 1,
239
+ "targets": {
240
+ "aarch64-apple-darwin/macos14": {
241
+ "target": {
242
+ "triple": "aarch64-apple-darwin",
243
+ "os": "macos",
244
+ "arch": "arm64",
245
+ "cpuBaseline": "armv8-a",
246
+ "libc": "libSystem",
247
+ "minimumOS": "26.0"
248
+ },
249
+ "packages": [
250
+ {
251
+ "sourcePackage": "@greenpandastudios/aug-pytorch@0.1.4",
252
+ "sourceDigest": "4cf9a1763ba0a2c5fa3da6a47c13b39f0872952060e87f7692f5dad20417472a",
253
+ "sourceCommit": "345c975b74a892ba1e0534503917e937dace6b87",
254
+ "contractSha256": "f07b8cab89ad7cfe368edcd9daf87ecc810adb6a2eed1f446d7b71fb664e91f5",
255
+ "artifact": {
256
+ "id": "macos-arm64",
257
+ "target": {
258
+ "triple": "aarch64-apple-darwin",
259
+ "os": "macos",
260
+ "arch": "arm64",
261
+ "minimumOS": "14.0",
262
+ "cpuBaseline": "armv8-a",
263
+ "libc": "libSystem",
264
+ "cxxRuntime": "system-libc++",
265
+ "cxxABI": "apple-libc++",
266
+ "features": [
267
+ "cpu",
268
+ "float64"
269
+ ]
270
+ },
271
+ "url": "https://github.com/GreenPandaStudios/aug-pytorch/releases/download/v0.1.4/native-macos-arm64.tar.gz",
272
+ "sha256": "a130f4a67b574456e5eb0538dc099cb99e5356fdb47ebd4926da6f9b65ccb1e1",
273
+ "maximumDownloadBytes": 92487957,
274
+ "maximumUnpackedBytes": 388370911,
275
+ "link": {
276
+ "kind": "dynamic",
277
+ "libraries": [
278
+ "lib/libaug_torch.1.dylib"
279
+ ]
280
+ },
281
+ "runtime": {
282
+ "files": [
283
+ "lib/libaug_torch.1.dylib",
284
+ "lib/libc10.dylib",
285
+ "lib/libomp.dylib",
286
+ "lib/libtorch_cpu.dylib"
287
+ ],
288
+ "closureManifest": "runtime-files.json",
289
+ "relocation": "loader-relative"
290
+ },
291
+ "components": [
292
+ {
293
+ "id": "https://github.com/pytorch/pytorch",
294
+ "version": "2.14.1",
295
+ "compatibilityKey": "aug-pytorch-runtime",
296
+ "linkage": "dynamic",
297
+ "required": true
298
+ }
299
+ ],
300
+ "fileManifest": "files.json",
301
+ "provenance": "provenance.json",
302
+ "notices": "THIRD_PARTY_NOTICES.md"
303
+ }
304
+ }
305
+ ]
306
+ }
307
+ }
308
+ }
309
+ }
@@ -0,0 +1,8 @@
1
+ // aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
2
+ import calculate from tensors
3
+ import TensorError from "https://github.com/GreenPandaStudios/aug-pytorch#v0.1.4"
4
+
5
+ try:
6
+ print(value=calculate())
7
+ catch TensorError error:
8
+ print(value=error.message)
@@ -0,0 +1,13 @@
1
+ <!-- Generated by aug spec. Edit the August source, then regenerate. -->
2
+
3
+ # `main.aug`
4
+
5
+ ## Startup
6
+
7
+ It prints [`calculate`](tensors.aug.md#symbol-calculate). If this work raises [`TensorError`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/contracts.aug.md#symbol-TensorError) as `error`, it prints `error.message`.
8
+
9
+ ## Dependencies
10
+
11
+ It uses [`TensorError`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/contracts.aug.md#symbol-TensorError) (`message`) from `https://github.com/GreenPandaStudios/aug-pytorch#v0.1.4`. It uses [`calculate`](tensors.aug.md#symbol-calculate) from `tensors`.
12
+
13
+ Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
@@ -0,0 +1,23 @@
1
+ // aug-spec: "tensors.aug.md" explains this file. Read it before changes; refresh with aug spec.
2
+ import Tensor and TensorError and tensor and add and sum and values from "https://github.com/GreenPandaStudios/aug-pytorch#v0.1.4"
3
+
4
+ /** Add two CPU tensors using LibTorch and return the sum of their elements. */
5
+ calculate() returns float unless TensorError:
6
+ own Tensor left = tensor(values=[1.0, 2.0, 3.0])
7
+ own Tensor right = tensor(values=[4.0, 5.0, 6.0])
8
+ own Tensor result = add(left, right)
9
+ return sum(tensor=result)
10
+
11
+ test calculate:
12
+ when cpu:
13
+ it adds_and_reads_real_tensors:
14
+ own Tensor left = tensor(values=[1.0, 2.0, 3.0])
15
+ own Tensor right = tensor(values=[4.0, 5.0, 6.0])
16
+ own Tensor result = add(left, right)
17
+ List<float> output = values(tensor=result)
18
+ assert(output.length() == 3)
19
+ assert(output.get(index=0) == 5.0)
20
+ assert(output.get(index=1) == 7.0)
21
+ assert(output.get(index=2) == 9.0)
22
+ assert(sum(tensor=result) == 21.0)
23
+ assert(calculate() == 21.0)
@@ -0,0 +1,35 @@
1
+ <!-- Generated by aug spec. Edit the August source, then regenerate. -->
2
+
3
+ # `tensors.aug`
4
+
5
+ <a id="symbol-calculate"></a>
6
+ ## `calculate` · [source](tensors.aug#L5)
7
+
8
+ Add two CPU tensors using LibTorch and return the sum of their elements. Failures can raise [`TensorError`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/contracts.aug.md#symbol-TensorError).
9
+
10
+ It sets `left` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) to [`tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-tensor) with `values` from a list containing `1.0`, `2.0`, `3.0`. `left` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) owns this value. It sets `right` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) to [`tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-tensor) with `values` from a list containing `4.0`, `5.0`, `6.0`. `right` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) owns this value.
11
+
12
+ It sets `result` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) to [`add`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-add) with `left` and `right`. `result` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) owns this value. It returns [`sum`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-sum) with `tensor` from `result`.
13
+
14
+ <a id="symbol-test calculate"></a>
15
+ ## `test calculate` · [source](tensors.aug#L11)
16
+
17
+ Tests [`calculate`](tensors.aug.md#symbol-calculate). Each case gets fresh setup and dependencies.
18
+
19
+ ### `cpu`
20
+
21
+ #### `adds_and_reads_real_tensors` · [source](tensors.aug#L13)
22
+
23
+ It sets `left` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) to [`tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-tensor) with `values` from a list containing `1.0`, `2.0`, `3.0`. `left` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) owns this value. It sets `right` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) to [`tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-tensor) with `values` from a list containing `4.0`, `5.0`, `6.0`. `right` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) owns this value.
24
+
25
+ It sets `result` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) to [`add`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-add) with `left` and `right`. `result` of type [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor) owns this value. It sets `output` of type `List<float>` to [`values`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-values) with `tensor` from `result`. The test requires the number of elements in `output` equals `3`.
26
+
27
+ The test requires the item at index `0` in `output` equals `5.0`. The test requires the item at index `1` in `output` equals `7.0`. The test requires the item at index `2` in `output` equals `9.0`. The test requires [`sum`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-sum) with `tensor` from `result` equals `21.0`.
28
+
29
+ The test requires [`calculate`](tensors.aug.md#symbol-calculate) equals `21.0`.
30
+
31
+ ## Dependencies
32
+
33
+ It uses [`add`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-add), [`sum`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-sum), [`tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-tensor), [`values`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/api.aug.md#symbol-values), [`Tensor`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md#symbol-Tensor), and [`TensorError`](.aug-spec/packages/%40greenpandastudios/aug-pytorch/0.1.4/contracts.aug.md#symbol-TensorError) from `https://github.com/GreenPandaStudios/aug-pytorch#v0.1.4`.
34
+
35
+ Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).
@@ -0,0 +1,18 @@
1
+ {
2
+ "format": 1,
3
+ "files": [
4
+ ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/api.aug",
5
+ ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/api.aug.md",
6
+ ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/bindings.aug",
7
+ ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/bindings.aug.md",
8
+ ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/contracts.aug",
9
+ ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/contracts.aug.md",
10
+ ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/native.abi.json",
11
+ "database.aug.md",
12
+ "main.aug.md"
13
+ ],
14
+ "nativeDescriptors": {
15
+ ".aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/native.abi.json": "3c75c2925c85f1b83db06ee00fa04f1d2d37c9fd6edca0d074ce89b4647ffffb"
16
+ },
17
+ "digest": "ed7a20db7ca07240f85a285f7e52186ec864cb5fbeb2904ef19ab3f97140fa39"
18
+ }
@@ -0,0 +1,100 @@
1
+ {
2
+ "format": 1,
3
+ "profile": "aug-native-abi-1",
4
+ "resources": [
5
+ {
6
+ "module": "bindings",
7
+ "name": "Database",
8
+ "release": "aug_sqlite_release_v1"
9
+ }
10
+ ],
11
+ "functions": [
12
+ {
13
+ "module": "api",
14
+ "name": "_open",
15
+ "symbol": "aug_sqlite_open_v1",
16
+ "params": [
17
+ {
18
+ "name": "path",
19
+ "kind": "utf8"
20
+ }
21
+ ],
22
+ "result": {
23
+ "kind": "resource",
24
+ "resource": "bindings.Database"
25
+ },
26
+ "error": "contracts.SqliteError",
27
+ "callingConvention": "C",
28
+ "status": "i32",
29
+ "uses": [],
30
+ "changes": [],
31
+ "thread": "caller",
32
+ "retainsInputs": false
33
+ },
34
+ {
35
+ "module": "api",
36
+ "name": "_execute",
37
+ "symbol": "aug_sqlite_execute_v1",
38
+ "params": [
39
+ {
40
+ "name": "database",
41
+ "kind": "resource",
42
+ "resource": "bindings.Database",
43
+ "ownership": "borrow"
44
+ },
45
+ {
46
+ "name": "sql",
47
+ "kind": "utf8"
48
+ },
49
+ {
50
+ "name": "parameters",
51
+ "kind": "utf8-list"
52
+ }
53
+ ],
54
+ "result": {
55
+ "kind": "i64"
56
+ },
57
+ "error": "contracts.SqliteError",
58
+ "callingConvention": "C",
59
+ "status": "i32",
60
+ "uses": [],
61
+ "changes": [
62
+ "database"
63
+ ],
64
+ "thread": "caller",
65
+ "retainsInputs": false
66
+ },
67
+ {
68
+ "module": "api",
69
+ "name": "_queryScalar",
70
+ "symbol": "aug_sqlite_scalar_v1",
71
+ "params": [
72
+ {
73
+ "name": "database",
74
+ "kind": "resource",
75
+ "resource": "bindings.Database",
76
+ "ownership": "read"
77
+ },
78
+ {
79
+ "name": "sql",
80
+ "kind": "utf8"
81
+ },
82
+ {
83
+ "name": "parameters",
84
+ "kind": "utf8-list"
85
+ }
86
+ ],
87
+ "result": {
88
+ "kind": "utf8",
89
+ "release": "aug_sqlite_text_release_v1"
90
+ },
91
+ "error": "contracts.SqliteError",
92
+ "callingConvention": "C",
93
+ "status": "i32",
94
+ "uses": [],
95
+ "changes": [],
96
+ "thread": "caller",
97
+ "retainsInputs": false
98
+ }
99
+ ]
100
+ }