@greenpandastudios/aug-cli 0.19.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 (414) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +13 -0
  3. package/THIRD_PARTY_NOTICES.md +18 -0
  4. package/bin/aug.mjs +3 -0
  5. package/docs/api/crypto.md +351 -0
  6. package/docs/api/io.md +207 -0
  7. package/docs/api/json.md +21 -0
  8. package/docs/api/memory.md +109 -0
  9. package/docs/api/time.md +54 -0
  10. package/docs/api/web.md +184 -0
  11. package/docs/assets/benchmarks/execution.svg +2978 -0
  12. package/docs/assets/benchmarks/http.svg +1674 -0
  13. package/docs/assets/benchmarks/improvements.svg +2315 -0
  14. package/docs/assets/benchmarks/memory.svg +1891 -0
  15. package/docs/benchmark-baseline.json +1087 -0
  16. package/docs/benchmark-results.json +91123 -0
  17. package/docs/benchmarks.json +38 -0
  18. package/docs/compatibility.md +42 -0
  19. package/docs/concurrency-implementation.md +18 -0
  20. package/docs/diagnostics.md +97 -0
  21. package/docs/docker.md +35 -0
  22. package/docs/example-projects.json +26 -0
  23. package/docs/examples/approved-design/counters.md +253 -0
  24. package/docs/examples/approved-design/dependencies/august/0.19.0/io/contracts.md +395 -0
  25. package/docs/examples/approved-design/domain/app.md +165 -0
  26. package/docs/examples/approved-design/domain/export.md +83 -0
  27. package/docs/examples/approved-design/domain/models.md +80 -0
  28. package/docs/examples/approved-design/domain/numbers.md +248 -0
  29. package/docs/examples/approved-design/index.md +39 -0
  30. package/docs/examples/approved-design/main-yaml.md +24 -0
  31. package/docs/examples/approved-design/main.md +215 -0
  32. package/docs/examples/benchmark/index.md +33 -0
  33. package/docs/examples/benchmark/main-yaml.md +17 -0
  34. package/docs/examples/benchmark/main.md +117 -0
  35. package/docs/examples/cli-args/index.md +32 -0
  36. package/docs/examples/cli-args/main.md +107 -0
  37. package/docs/examples/collections/index.md +32 -0
  38. package/docs/examples/collections/main.md +118 -0
  39. package/docs/examples/collections-benchmark/index.md +34 -0
  40. package/docs/examples/collections-benchmark/main.md +115 -0
  41. package/docs/examples/cpu-benchmark/index.md +34 -0
  42. package/docs/examples/cpu-benchmark/main.md +90 -0
  43. package/docs/examples/developer-workflow/calculator.md +357 -0
  44. package/docs/examples/developer-workflow/dependencies/august/0.19.0/io/contracts.md +395 -0
  45. package/docs/examples/developer-workflow/index.md +37 -0
  46. package/docs/examples/developer-workflow/logging/console.md +124 -0
  47. package/docs/examples/developer-workflow/logging/export.md +70 -0
  48. package/docs/examples/developer-workflow/logging/logger.md +111 -0
  49. package/docs/examples/developer-workflow/main.md +172 -0
  50. package/docs/examples/drop/index.md +33 -0
  51. package/docs/examples/drop/main.md +85 -0
  52. package/docs/examples/drop/resource.md +95 -0
  53. package/docs/examples/errors/errors.md +85 -0
  54. package/docs/examples/errors/index.md +33 -0
  55. package/docs/examples/errors/main.md +92 -0
  56. package/docs/examples/ffi/index.md +33 -0
  57. package/docs/examples/ffi/main.md +75 -0
  58. package/docs/examples/ffi/native.md +93 -0
  59. package/docs/examples/generic-di/dependencies/august/0.19.0/io/contracts.md +395 -0
  60. package/docs/examples/generic-di/index.md +33 -0
  61. package/docs/examples/generic-di/main.md +111 -0
  62. package/docs/examples/generic-di/types.md +180 -0
  63. package/docs/examples/generics/index.md +33 -0
  64. package/docs/examples/generics/main.md +120 -0
  65. package/docs/examples/generics/types.md +189 -0
  66. package/docs/examples/hello/app/export.md +67 -0
  67. package/docs/examples/hello/app/greeter.md +190 -0
  68. package/docs/examples/hello/dependencies/august/0.19.0/io/contracts.md +395 -0
  69. package/docs/examples/hello/index.md +37 -0
  70. package/docs/examples/hello/logging/console.md +121 -0
  71. package/docs/examples/hello/logging/export.md +71 -0
  72. package/docs/examples/hello/logging/logger.md +120 -0
  73. package/docs/examples/hello/main.md +115 -0
  74. package/docs/examples/http-benchmark/index.md +35 -0
  75. package/docs/examples/http-benchmark/main.md +79 -0
  76. package/docs/examples/http-benchmark/routes.md +88 -0
  77. package/docs/examples/index.md +60 -0
  78. package/docs/examples/interceptors/app.md +250 -0
  79. package/docs/examples/interceptors/dependencies/august/0.19.0/io/contracts.md +395 -0
  80. package/docs/examples/interceptors/index.md +35 -0
  81. package/docs/examples/interceptors/interceptors.md +284 -0
  82. package/docs/examples/interceptors/logging.md +155 -0
  83. package/docs/examples/interceptors/main.md +162 -0
  84. package/docs/examples/json-benchmark/data.md +71 -0
  85. package/docs/examples/json-benchmark/dependencies/august/0.19.0/json/contracts.md +103 -0
  86. package/docs/examples/json-benchmark/index.md +35 -0
  87. package/docs/examples/json-benchmark/main.md +131 -0
  88. package/docs/examples/new-syntax/console.md +118 -0
  89. package/docs/examples/new-syntax/dependencies/august/0.19.0/io/contracts.md +395 -0
  90. package/docs/examples/new-syntax/greeter.md +145 -0
  91. package/docs/examples/new-syntax/index.md +36 -0
  92. package/docs/examples/new-syntax/logger.md +111 -0
  93. package/docs/examples/new-syntax/main.md +135 -0
  94. package/docs/examples/new-syntax/math.md +79 -0
  95. package/docs/examples/oidc-login/client/contracts.md +151 -0
  96. package/docs/examples/oidc-login/client/endpoints.md +263 -0
  97. package/docs/examples/oidc-login/client/export.md +107 -0
  98. package/docs/examples/oidc-login/client/login.md +515 -0
  99. package/docs/examples/oidc-login/client/logout.md +249 -0
  100. package/docs/examples/oidc-login/client/protocol.md +595 -0
  101. package/docs/examples/oidc-login/client/session.md +297 -0
  102. package/docs/examples/oidc-login/client/views.md +144 -0
  103. package/docs/examples/oidc-login/common/export.md +115 -0
  104. package/docs/examples/oidc-login/common/headers.md +162 -0
  105. package/docs/examples/oidc-login/common/keys.md +336 -0
  106. package/docs/examples/oidc-login/common/settings.md +116 -0
  107. package/docs/examples/oidc-login/common/views.md +103 -0
  108. package/docs/examples/oidc-login/dependencies/august/0.19.0/crypto/contracts.md +925 -0
  109. package/docs/examples/oidc-login/dependencies/august/0.19.0/crypto/jose.md +434 -0
  110. package/docs/examples/oidc-login/dependencies/august/0.19.0/json/contracts.md +103 -0
  111. package/docs/examples/oidc-login/dependencies/august/0.19.0/memory/store.md +374 -0
  112. package/docs/examples/oidc-login/dependencies/august/0.19.0/time/contracts.md +150 -0
  113. package/docs/examples/oidc-login/dependencies/august/0.19.0/web/contracts.md +532 -0
  114. package/docs/examples/oidc-login/index.md +57 -0
  115. package/docs/examples/oidc-login/main-yaml.md +28 -0
  116. package/docs/examples/oidc-login/main.md +283 -0
  117. package/docs/examples/oidc-login/provider/authorization.md +457 -0
  118. package/docs/examples/oidc-login/provider/contracts.md +267 -0
  119. package/docs/examples/oidc-login/provider/credentials.md +148 -0
  120. package/docs/examples/oidc-login/provider/discovery.md +215 -0
  121. package/docs/examples/oidc-login/provider/export.md +131 -0
  122. package/docs/examples/oidc-login/provider/token.md +364 -0
  123. package/docs/examples/oidc-login/provider/userinfo.md +228 -0
  124. package/docs/examples/oidc-login/provider/views.md +137 -0
  125. package/docs/examples/ownership/counter.md +140 -0
  126. package/docs/examples/ownership/index.md +33 -0
  127. package/docs/examples/ownership/main.md +90 -0
  128. package/docs/examples/ownership-transfer/dependencies/august/0.19.0/io/contracts.md +395 -0
  129. package/docs/examples/ownership-transfer/index.md +33 -0
  130. package/docs/examples/ownership-transfer/main.md +125 -0
  131. package/docs/examples/ownership-transfer/resource.md +150 -0
  132. package/docs/examples/packages-app/dependencies/packages/@example/aug-math/0.1.0/arithmetic.md +117 -0
  133. package/docs/examples/packages-app/index.md +34 -0
  134. package/docs/examples/packages-app/main-yaml.md +18 -0
  135. package/docs/examples/packages-app/main.md +80 -0
  136. package/docs/examples/packages-math/aug-package-json.md +24 -0
  137. package/docs/examples/packages-math/index.md +36 -0
  138. package/docs/examples/packages-math/package-json.md +25 -0
  139. package/docs/examples/packages-math/src/arithmetic.md +121 -0
  140. package/docs/examples/packages-math/src/export.md +63 -0
  141. package/docs/examples/startup-benchmark/index.md +34 -0
  142. package/docs/examples/startup-benchmark/main.md +68 -0
  143. package/docs/examples/visibility/counter.md +142 -0
  144. package/docs/examples/visibility/index.md +33 -0
  145. package/docs/examples/visibility/main.md +96 -0
  146. package/docs/examples.json +47 -0
  147. package/docs/getting-started.md +5 -0
  148. package/docs/grammar.md +136 -0
  149. package/docs/implementation-map.md +106 -0
  150. package/docs/index.md +46 -0
  151. package/docs/language-conformance.md +30 -0
  152. package/docs/language-constructs.md +1461 -0
  153. package/docs/language-design-audit.md +147 -0
  154. package/docs/maintaining-docs.md +43 -0
  155. package/docs/packages.md +184 -0
  156. package/docs/performance.md +535 -0
  157. package/docs/production-readiness.md +39 -0
  158. package/docs/reference.md +361 -0
  159. package/docs/release-review.md +23 -0
  160. package/docs/releasing.md +79 -0
  161. package/docs/roadmap.md +13 -0
  162. package/docs/specifications.md +86 -0
  163. package/docs/testing.md +120 -0
  164. package/docs/tooling.md +197 -0
  165. package/docs/web-implementation-plan.md +39 -0
  166. package/docs/web-library-gaps.md +27 -0
  167. package/docs/web.md +197 -0
  168. package/examples/approved-design/.aug-spec/august/0.19.0/io/contracts.aug +36 -0
  169. package/examples/approved-design/.aug-spec/august/0.19.0/io/contracts.aug.md +316 -0
  170. package/examples/approved-design/.aug-spec/manifest.json +14 -0
  171. package/examples/approved-design/counters.aug +22 -0
  172. package/examples/approved-design/counters.aug.md +177 -0
  173. package/examples/approved-design/domain/app.aug +12 -0
  174. package/examples/approved-design/domain/app.aug.md +97 -0
  175. package/examples/approved-design/domain/export.aug +5 -0
  176. package/examples/approved-design/domain/export.aug.md +25 -0
  177. package/examples/approved-design/domain/models.aug +2 -0
  178. package/examples/approved-design/domain/models.aug.md +30 -0
  179. package/examples/approved-design/domain/numbers.aug +29 -0
  180. package/examples/approved-design/domain/numbers.aug.md +141 -0
  181. package/examples/approved-design/main.aug +26 -0
  182. package/examples/approved-design/main.aug.md +108 -0
  183. package/examples/approved-design/main.yaml +8 -0
  184. package/examples/benchmark/.aug-spec/manifest.json +7 -0
  185. package/examples/benchmark/main.aug +17 -0
  186. package/examples/benchmark/main.aug.md +43 -0
  187. package/examples/benchmark/main.yaml +1 -0
  188. package/examples/cli-args/.aug-spec/manifest.json +7 -0
  189. package/examples/cli-args/main.aug +15 -0
  190. package/examples/cli-args/main.aug.md +38 -0
  191. package/examples/collections/.aug-spec/manifest.json +7 -0
  192. package/examples/collections/main.aug +18 -0
  193. package/examples/collections/main.aug.md +43 -0
  194. package/examples/developer-workflow/.aug-spec/august/0.19.0/io/contracts.aug +36 -0
  195. package/examples/developer-workflow/.aug-spec/august/0.19.0/io/contracts.aug.md +316 -0
  196. package/examples/developer-workflow/.aug-spec/manifest.json +13 -0
  197. package/examples/developer-workflow/calculator.aug +55 -0
  198. package/examples/developer-workflow/calculator.aug.md +228 -0
  199. package/examples/developer-workflow/logging/console.aug +8 -0
  200. package/examples/developer-workflow/logging/console.aug.md +67 -0
  201. package/examples/developer-workflow/logging/export.aug +2 -0
  202. package/examples/developer-workflow/logging/export.aug.md +19 -0
  203. package/examples/developer-workflow/logging/logger.aug +6 -0
  204. package/examples/developer-workflow/logging/logger.aug.md +57 -0
  205. package/examples/developer-workflow/main.aug +25 -0
  206. package/examples/developer-workflow/main.aug.md +79 -0
  207. package/examples/drop/.aug-spec/manifest.json +8 -0
  208. package/examples/drop/main.aug +3 -0
  209. package/examples/drop/main.aug.md +35 -0
  210. package/examples/drop/resource.aug +8 -0
  211. package/examples/drop/resource.aug.md +44 -0
  212. package/examples/errors/.aug-spec/manifest.json +8 -0
  213. package/examples/errors/errors.aug +6 -0
  214. package/examples/errors/errors.aug.md +33 -0
  215. package/examples/errors/main.aug +7 -0
  216. package/examples/errors/main.aug.md +36 -0
  217. package/examples/ffi/.aug-spec/manifest.json +8 -0
  218. package/examples/ffi/main.aug +2 -0
  219. package/examples/ffi/main.aug.md +27 -0
  220. package/examples/ffi/native.aug +6 -0
  221. package/examples/ffi/native.aug.md +43 -0
  222. package/examples/generic-di/.aug-spec/august/0.19.0/io/contracts.aug +36 -0
  223. package/examples/generic-di/.aug-spec/august/0.19.0/io/contracts.aug.md +316 -0
  224. package/examples/generic-di/.aug-spec/manifest.json +10 -0
  225. package/examples/generic-di/main.aug +9 -0
  226. package/examples/generic-di/main.aug.md +49 -0
  227. package/examples/generic-di/types.aug +17 -0
  228. package/examples/generic-di/types.aug.md +124 -0
  229. package/examples/generics/.aug-spec/manifest.json +8 -0
  230. package/examples/generics/main.aug +9 -0
  231. package/examples/generics/main.aug.md +58 -0
  232. package/examples/generics/types.aug +19 -0
  233. package/examples/generics/types.aug.md +132 -0
  234. package/examples/hello/.aug-spec/august/0.19.0/io/contracts.aug +36 -0
  235. package/examples/hello/.aug-spec/august/0.19.0/io/contracts.aug.md +316 -0
  236. package/examples/hello/.aug-spec/manifest.json +14 -0
  237. package/examples/hello/app/export.aug +1 -0
  238. package/examples/hello/app/export.aug.md +17 -0
  239. package/examples/hello/app/greeter.aug +22 -0
  240. package/examples/hello/app/greeter.aug.md +109 -0
  241. package/examples/hello/logging/console.aug +7 -0
  242. package/examples/hello/logging/console.aug.md +65 -0
  243. package/examples/hello/logging/export.aug +2 -0
  244. package/examples/hello/logging/export.aug.md +19 -0
  245. package/examples/hello/logging/logger.aug +9 -0
  246. package/examples/hello/logging/logger.aug.md +59 -0
  247. package/examples/hello/main.aug +9 -0
  248. package/examples/hello/main.aug.md +49 -0
  249. package/examples/interceptors/.aug-spec/august/0.19.0/io/contracts.aug +36 -0
  250. package/examples/interceptors/.aug-spec/august/0.19.0/io/contracts.aug.md +316 -0
  251. package/examples/interceptors/.aug-spec/manifest.json +12 -0
  252. package/examples/interceptors/app.aug +28 -0
  253. package/examples/interceptors/app.aug.md +162 -0
  254. package/examples/interceptors/interceptors.aug +40 -0
  255. package/examples/interceptors/interceptors.aug.md +180 -0
  256. package/examples/interceptors/logging.aug +12 -0
  257. package/examples/interceptors/logging.aug.md +96 -0
  258. package/examples/interceptors/main.aug +22 -0
  259. package/examples/interceptors/main.aug.md +76 -0
  260. package/examples/new-syntax/.aug-spec/august/0.19.0/io/contracts.aug +36 -0
  261. package/examples/new-syntax/.aug-spec/august/0.19.0/io/contracts.aug.md +316 -0
  262. package/examples/new-syntax/.aug-spec/manifest.json +13 -0
  263. package/examples/new-syntax/console.aug +7 -0
  264. package/examples/new-syntax/console.aug.md +63 -0
  265. package/examples/new-syntax/greeter.aug +10 -0
  266. package/examples/new-syntax/greeter.aug.md +89 -0
  267. package/examples/new-syntax/logger.aug +6 -0
  268. package/examples/new-syntax/logger.aug.md +57 -0
  269. package/examples/new-syntax/main.aug +12 -0
  270. package/examples/new-syntax/main.aug.md +64 -0
  271. package/examples/new-syntax/math.aug +3 -0
  272. package/examples/new-syntax/math.aug.md +29 -0
  273. package/examples/oidc-login/.aug-spec/august/0.19.0/crypto/contracts.aug +73 -0
  274. package/examples/oidc-login/.aug-spec/august/0.19.0/crypto/contracts.aug.md +791 -0
  275. package/examples/oidc-login/.aug-spec/august/0.19.0/crypto/jose.aug +68 -0
  276. package/examples/oidc-login/.aug-spec/august/0.19.0/crypto/jose.aug.md +266 -0
  277. package/examples/oidc-login/.aug-spec/august/0.19.0/json/contracts.aug +6 -0
  278. package/examples/oidc-login/.aug-spec/august/0.19.0/json/contracts.aug.md +55 -0
  279. package/examples/oidc-login/.aug-spec/august/0.19.0/memory/store.aug +45 -0
  280. package/examples/oidc-login/.aug-spec/august/0.19.0/memory/store.aug.md +250 -0
  281. package/examples/oidc-login/.aug-spec/august/0.19.0/time/contracts.aug +11 -0
  282. package/examples/oidc-login/.aug-spec/august/0.19.0/time/contracts.aug.md +96 -0
  283. package/examples/oidc-login/.aug-spec/august/0.19.0/web/contracts.aug +58 -0
  284. package/examples/oidc-login/.aug-spec/august/0.19.0/web/contracts.aug.md +420 -0
  285. package/examples/oidc-login/.aug-spec/manifest.json +40 -0
  286. package/examples/oidc-login/README.md +29 -0
  287. package/examples/oidc-login/client/contracts.aug +7 -0
  288. package/examples/oidc-login/client/contracts.aug.md +80 -0
  289. package/examples/oidc-login/client/endpoints.aug +21 -0
  290. package/examples/oidc-login/client/endpoints.aug.md +161 -0
  291. package/examples/oidc-login/client/export.aug +7 -0
  292. package/examples/oidc-login/client/export.aug.md +29 -0
  293. package/examples/oidc-login/client/login.aug +58 -0
  294. package/examples/oidc-login/client/login.aug.md +331 -0
  295. package/examples/oidc-login/client/logout.aug +18 -0
  296. package/examples/oidc-login/client/logout.aug.md +150 -0
  297. package/examples/oidc-login/client/protocol.aug +106 -0
  298. package/examples/oidc-login/client/protocol.aug.md +326 -0
  299. package/examples/oidc-login/client/session.aug +34 -0
  300. package/examples/oidc-login/client/session.aug.md +155 -0
  301. package/examples/oidc-login/client/views.aug +21 -0
  302. package/examples/oidc-login/client/views.aug.md +68 -0
  303. package/examples/oidc-login/common/export.aug +9 -0
  304. package/examples/oidc-login/common/export.aug.md +33 -0
  305. package/examples/oidc-login/common/headers.aug +11 -0
  306. package/examples/oidc-login/common/headers.aug.md +79 -0
  307. package/examples/oidc-login/common/keys.aug +37 -0
  308. package/examples/oidc-login/common/keys.aug.md +207 -0
  309. package/examples/oidc-login/common/settings.aug +4 -0
  310. package/examples/oidc-login/common/settings.aug.md +47 -0
  311. package/examples/oidc-login/common/views.aug +16 -0
  312. package/examples/oidc-login/common/views.aug.md +34 -0
  313. package/examples/oidc-login/main.aug +39 -0
  314. package/examples/oidc-login/main.aug.md +166 -0
  315. package/examples/oidc-login/main.yaml +12 -0
  316. package/examples/oidc-login/provider/authorization.aug +59 -0
  317. package/examples/oidc-login/provider/authorization.aug.md +264 -0
  318. package/examples/oidc-login/provider/contracts.aug +15 -0
  319. package/examples/oidc-login/provider/contracts.aug.md +193 -0
  320. package/examples/oidc-login/provider/credentials.aug +10 -0
  321. package/examples/oidc-login/provider/credentials.aug.md +64 -0
  322. package/examples/oidc-login/provider/discovery.aug +13 -0
  323. package/examples/oidc-login/provider/discovery.aug.md +133 -0
  324. package/examples/oidc-login/provider/export.aug +13 -0
  325. package/examples/oidc-login/provider/export.aug.md +41 -0
  326. package/examples/oidc-login/provider/token.aug +37 -0
  327. package/examples/oidc-login/provider/token.aug.md +223 -0
  328. package/examples/oidc-login/provider/userinfo.aug +26 -0
  329. package/examples/oidc-login/provider/userinfo.aug.md +104 -0
  330. package/examples/oidc-login/provider/views.aug +18 -0
  331. package/examples/oidc-login/provider/views.aug.md +63 -0
  332. package/examples/ownership/.aug-spec/manifest.json +8 -0
  333. package/examples/ownership/counter.aug +14 -0
  334. package/examples/ownership/counter.aug.md +85 -0
  335. package/examples/ownership/main.aug +4 -0
  336. package/examples/ownership/main.aug.md +38 -0
  337. package/examples/ownership-transfer/.aug-spec/august/0.19.0/io/contracts.aug +36 -0
  338. package/examples/ownership-transfer/.aug-spec/august/0.19.0/io/contracts.aug.md +316 -0
  339. package/examples/ownership-transfer/.aug-spec/manifest.json +10 -0
  340. package/examples/ownership-transfer/main.aug +9 -0
  341. package/examples/ownership-transfer/main.aug.md +63 -0
  342. package/examples/ownership-transfer/resource.aug +16 -0
  343. package/examples/ownership-transfer/resource.aug.md +89 -0
  344. package/examples/packages/README.md +15 -0
  345. package/examples/packages/app/.aug-spec/manifest.json +9 -0
  346. package/examples/packages/app/.aug-spec/packages/@example/aug-math/0.1.0/arithmetic.aug +9 -0
  347. package/examples/packages/app/.aug-spec/packages/@example/aug-math/0.1.0/arithmetic.aug.md +63 -0
  348. package/examples/packages/app/main.aug +2 -0
  349. package/examples/packages/app/main.aug.md +33 -0
  350. package/examples/packages/app/main.yaml +2 -0
  351. package/examples/packages/math/.aug-spec/manifest.json +8 -0
  352. package/examples/packages/math/README.md +3 -0
  353. package/examples/packages/math/aug-package.json +8 -0
  354. package/examples/packages/math/package.json +9 -0
  355. package/examples/packages/math/src/arithmetic.aug +8 -0
  356. package/examples/packages/math/src/arithmetic.aug.md +63 -0
  357. package/examples/packages/math/src/export.aug +1 -0
  358. package/examples/packages/math/src/export.aug.md +17 -0
  359. package/examples/visibility/.aug-spec/manifest.json +8 -0
  360. package/examples/visibility/counter.aug +14 -0
  361. package/examples/visibility/counter.aug.md +87 -0
  362. package/examples/visibility/main.aug +7 -0
  363. package/examples/visibility/main.aug.md +39 -0
  364. package/package.json +50 -0
  365. package/runtime/aug_crypto.c +121 -0
  366. package/runtime/aug_html.c +93 -0
  367. package/runtime/aug_http.c +829 -0
  368. package/runtime/aug_json.c +165 -0
  369. package/runtime/aug_runtime.c +792 -0
  370. package/runtime/aug_runtime.h +245 -0
  371. package/runtime/aug_tasks.c +172 -0
  372. package/runtime/aug_time.c +5 -0
  373. package/runtime/aug_values.c +80 -0
  374. package/scripts/bootstrap-native.mjs +121 -0
  375. package/scripts/native-dependencies.lock.json +65 -0
  376. package/scripts/native-home.mjs +11 -0
  377. package/src/actions.js +109 -0
  378. package/src/ast.js +19 -0
  379. package/src/builtins.js +93 -0
  380. package/src/checker.js +2896 -0
  381. package/src/cli.js +344 -0
  382. package/src/codegen.js +1159 -0
  383. package/src/config.js +149 -0
  384. package/src/continuation.js +110 -0
  385. package/src/di.js +24 -0
  386. package/src/documentation.js +27 -0
  387. package/src/editor.js +782 -0
  388. package/src/effects.js +29 -0
  389. package/src/fixes.js +222 -0
  390. package/src/formatter.js +296 -0
  391. package/src/freshness.js +154 -0
  392. package/src/help.js +212 -0
  393. package/src/html.js +27 -0
  394. package/src/http-policies.js +90 -0
  395. package/src/inference.js +16 -0
  396. package/src/interceptors.js +70 -0
  397. package/src/javadoc.js +67 -0
  398. package/src/lexer.js +199 -0
  399. package/src/libraries.js +31 -0
  400. package/src/lsp.js +180 -0
  401. package/src/native.js +144 -0
  402. package/src/navigation.js +162 -0
  403. package/src/openapi.js +220 -0
  404. package/src/ownership.js +232 -0
  405. package/src/package-manager.js +299 -0
  406. package/src/parser.js +1155 -0
  407. package/src/policies.js +130 -0
  408. package/src/project-init.js +19 -0
  409. package/src/project.js +292 -0
  410. package/src/schemas.js +62 -0
  411. package/src/semantic.js +255 -0
  412. package/src/spec.js +738 -0
  413. package/src/testing.js +186 -0
  414. package/src/types.js +10 -0
@@ -0,0 +1,121 @@
1
+ #include "aug_runtime.h"
2
+ #include <gnutls/gnutls.h>
3
+ #include <gnutls/crypto.h>
4
+ #include <gnutls/abstract.h>
5
+ #include <gnutls/x509.h>
6
+ #include <pthread.h>
7
+ #include <stdlib.h>
8
+ #include <limits.h>
9
+
10
+ static pthread_once_t initialization = PTHREAD_ONCE_INIT;
11
+ static int initialization_status;
12
+ static void initialize(void) { initialization_status = gnutls_global_init(); }
13
+ static bool ready(void) { pthread_once(&initialization, initialize); return initialization_status >= 0; }
14
+ static gnutls_datum_t datum(AugValue value) {
15
+ return (gnutls_datum_t){(unsigned char *)value.as.object->text, (unsigned int)value.as.object->text_length};
16
+ }
17
+ static bool buffer(AugValue value, int kind) {
18
+ return value.tag == AUG_OBJECT && value.as.object && value.as.object->kind == kind &&
19
+ !value.as.object->dropped && value.as.object->text_length <= UINT_MAX;
20
+ }
21
+ static AugValue failure(void) { return aug_error_named("CryptoError"); }
22
+ static int private_key(AugValue value, gnutls_privkey_t *key) {
23
+ if (!ready() || !buffer(value, AUG_PRIVATE_KEY_KIND)) return -1;
24
+ int status = gnutls_privkey_init(key);
25
+ if (status >= 0) {
26
+ gnutls_datum_t input = datum(value);
27
+ status = gnutls_privkey_import_x509_raw(*key, &input, GNUTLS_X509_FMT_DER, NULL, 0);
28
+ }
29
+ return status;
30
+ }
31
+ AugValue _aug_crypto_random(AugValue size) {
32
+ if (!ready() || size.tag != AUG_INT || size.as.integer < 0 || size.as.integer > 16 * 1024 * 1024) return failure();
33
+ size_t count = (size_t)size.as.integer;
34
+ unsigned char *bytes = malloc(count ? count : 1); if (!bytes) return failure();
35
+ int status = gnutls_rnd(GNUTLS_RND_RANDOM, bytes, count);
36
+ AugValue result = status < 0 ? failure() : aug_bytes(bytes, count, AUG_BYTES_KIND);
37
+ free(bytes); return result;
38
+ }
39
+ AugValue _aug_crypto_sha256(AugValue input) {
40
+ if (!ready() || !buffer(input, AUG_BYTES_KIND)) return failure();
41
+ unsigned char digest[32];
42
+ if (gnutls_hash_fast(GNUTLS_DIG_SHA256, input.as.object->text, input.as.object->text_length, digest) < 0) return failure();
43
+ return aug_bytes(digest, sizeof(digest), AUG_BYTES_KIND);
44
+ }
45
+ AugValue _aug_crypto_generate_rsa(void) {
46
+ if (!ready()) return failure();
47
+ gnutls_x509_privkey_t key = NULL; gnutls_datum_t encoded = {0};
48
+ int status = gnutls_x509_privkey_init(&key);
49
+ if (status >= 0) status = gnutls_x509_privkey_generate(key, GNUTLS_PK_RSA, 3072, 0);
50
+ if (status >= 0) status = gnutls_x509_privkey_export2_pkcs8(key, GNUTLS_X509_FMT_DER, NULL, GNUTLS_PKCS_PLAIN, &encoded);
51
+ AugValue result = status < 0 ? failure() : aug_bytes(encoded.data, encoded.size, AUG_PRIVATE_KEY_KIND);
52
+ if (encoded.data) { gnutls_memset(encoded.data, 0, encoded.size); gnutls_free(encoded.data); }
53
+ if (key) gnutls_x509_privkey_deinit(key);
54
+ return result;
55
+ }
56
+ AugValue _aug_crypto_public_rsa(AugValue key) {
57
+ gnutls_privkey_t private = NULL; gnutls_pubkey_t public = NULL; gnutls_datum_t encoded = {0};
58
+ int status = private_key(key, &private);
59
+ if (status >= 0) status = gnutls_pubkey_init(&public);
60
+ if (status >= 0) status = gnutls_pubkey_import_privkey(public, private, 0, 0);
61
+ if (status >= 0) status = gnutls_pubkey_export2(public, GNUTLS_X509_FMT_DER, &encoded);
62
+ AugValue result = status < 0 ? failure() : aug_bytes(encoded.data, encoded.size, AUG_PUBLIC_KEY_KIND);
63
+ if (encoded.data) gnutls_free(encoded.data);
64
+ if (public) gnutls_pubkey_deinit(public);
65
+ if (private) gnutls_privkey_deinit(private);
66
+ return result;
67
+ }
68
+ AugValue _aug_crypto_sign_rsa(AugValue key, AugValue input) {
69
+ if (!buffer(input, AUG_BYTES_KIND)) return failure();
70
+ gnutls_privkey_t private = NULL; gnutls_datum_t signature = {0}, data = datum(input);
71
+ int status = private_key(key, &private);
72
+ if (status >= 0) status = gnutls_privkey_sign_data2(private, GNUTLS_SIGN_RSA_SHA256, 0, &data, &signature);
73
+ AugValue result = status < 0 ? failure() : aug_bytes(signature.data, signature.size, AUG_BYTES_KIND);
74
+ if (signature.data) gnutls_free(signature.data);
75
+ if (private) gnutls_privkey_deinit(private);
76
+ return result;
77
+ }
78
+ AugValue _aug_crypto_verify_rsa(AugValue publicKey, AugValue input, AugValue signature) {
79
+ if (!ready() || !buffer(publicKey, AUG_PUBLIC_KEY_KIND) || !buffer(input, AUG_BYTES_KIND) || !buffer(signature, AUG_BYTES_KIND)) return failure();
80
+ gnutls_pubkey_t key = NULL; gnutls_datum_t encoded = datum(publicKey), data = datum(input), sig = datum(signature);
81
+ int status = gnutls_pubkey_init(&key);
82
+ if (status >= 0) status = gnutls_pubkey_import(key, &encoded, GNUTLS_X509_FMT_DER);
83
+ if (status < 0) { if (key) gnutls_pubkey_deinit(key); return failure(); }
84
+ status = gnutls_pubkey_verify_data2(key, GNUTLS_SIGN_RSA_SHA256, 0, &data, &sig);
85
+ gnutls_pubkey_deinit(key);
86
+ return aug_bool(status >= 0);
87
+ }
88
+ AugValue _aug_crypto_decode_base64url(AugValue input) { return aug_base64url_decode(input); }
89
+ AugValue _aug_crypto_equal(AugValue left, AugValue right) {
90
+ if (!buffer(left, AUG_BYTES_KIND) || !buffer(right, AUG_BYTES_KIND) || left.as.object->text_length != right.as.object->text_length) return aug_bool(false);
91
+ return aug_bool(gnutls_memcmp(left.as.object->text, right.as.object->text, left.as.object->text_length) == 0);
92
+ }
93
+ AugValue _aug_crypto_export_rsa(AugValue publicKey) {
94
+ if (!ready() || !buffer(publicKey, AUG_PUBLIC_KEY_KIND)) return failure();
95
+ gnutls_pubkey_t key = NULL; gnutls_datum_t input = datum(publicKey), n = {0}, e = {0};
96
+ int status = gnutls_pubkey_init(&key);
97
+ if (status >= 0) status = gnutls_pubkey_import(key, &input, GNUTLS_X509_FMT_DER);
98
+ if (status >= 0) status = gnutls_pubkey_export_rsa_raw2(key, &n, &e, GNUTLS_EXPORT_FLAG_NO_LZ);
99
+ AugValue roots[2] = {0}; AugFrame frame; aug_frame_enter(&frame, roots, 2); AugValue result;
100
+ if (status < 0) result = failure();
101
+ else {roots[0] = aug_bytes(n.data, n.size, AUG_BYTES_KIND); roots[1] = aug_bytes(e.data, e.size, AUG_BYTES_KIND); result = aug_tuple_new(roots, 2); aug_freeze(result);}
102
+ aug_frame_leave(&frame); if (n.data) gnutls_free(n.data); if (e.data) gnutls_free(e.data); if (key) gnutls_pubkey_deinit(key); return result;
103
+ }
104
+ AugValue _aug_crypto_import_rsa(AugValue modulus, AugValue exponent) {
105
+ if (!ready() || !buffer(modulus, AUG_BYTES_KIND) || !buffer(exponent, AUG_BYTES_KIND)) return failure();
106
+ gnutls_datum_t n = datum(modulus), e = datum(exponent), encoded = {0};
107
+ if (n.size < 256 || n.size > 1024 || !n.data[0] || !(n.data[n.size - 1] & 1) || e.size < 1 || e.size > 4 || !e.data[0]) return failure();
108
+ uint32_t power = 0; for (unsigned int i = 0; i < e.size; i++) power = (power << 8) | e.data[i]; if (power < 3 || !(power & 1)) return failure();
109
+ gnutls_pubkey_t key = NULL; int status = gnutls_pubkey_init(&key); unsigned int bits = 0;
110
+ if (status >= 0) status = gnutls_pubkey_import_rsa_raw(key, &n, &e);
111
+ if (status >= 0 && (gnutls_pubkey_get_pk_algorithm(key, &bits) != GNUTLS_PK_RSA || bits < 2048 || bits > 8192)) status = -1;
112
+ if (status >= 0) status = gnutls_pubkey_export2(key, GNUTLS_X509_FMT_DER, &encoded);
113
+ AugValue result = status < 0 ? failure() : aug_bytes(encoded.data, encoded.size, AUG_PUBLIC_KEY_KIND);
114
+ if (encoded.data) gnutls_free(encoded.data); if (key) gnutls_pubkey_deinit(key); return result;
115
+ }
116
+ AugValue _aug_crypto_password_hash(AugValue password, AugValue salt, AugValue iterations) {
117
+ if (!ready() || !buffer(password, AUG_BYTES_KIND) || !buffer(salt, AUG_BYTES_KIND) || password.as.object->text_length > 1024 || salt.as.object->text_length < 16 || salt.as.object->text_length > 64 || iterations.tag != AUG_INT || iterations.as.integer < 100000 || iterations.as.integer > 2000000) return failure();
118
+ gnutls_datum_t key = datum(password), input_salt = datum(salt); unsigned char output[32];
119
+ int status = gnutls_pbkdf2(GNUTLS_MAC_SHA256, &key, &input_salt, (unsigned int)iterations.as.integer, output, sizeof(output));
120
+ AugValue result = status < 0 ? failure() : aug_bytes(output, sizeof(output), AUG_BYTES_KIND); gnutls_memset(output, 0, sizeof(output)); return result;
121
+ }
@@ -0,0 +1,93 @@
1
+ #include "aug_runtime.h"
2
+ #include <stdlib.h>
3
+ #include <string.h>
4
+ #include <stdio.h>
5
+ #include <strings.h>
6
+ typedef struct {char *text; size_t size, capacity;} HtmlBuffer;
7
+ static void append(HtmlBuffer *buffer, const char *text, size_t size) {
8
+ if (buffer->size + size + 1 > buffer->capacity) {buffer->capacity = (buffer->size + size + 1) * 2; buffer->text = realloc(buffer->text, buffer->capacity); if (!buffer->text) abort();}
9
+ memcpy(buffer->text + buffer->size, text, size); buffer->size += size; buffer->text[buffer->size] = 0;
10
+ }
11
+ static void text(HtmlBuffer *buffer, const char *value) {append(buffer, value, strlen(value));}
12
+ static void escape(HtmlBuffer *buffer, const char *value, size_t size) {
13
+ for (size_t i = 0; i < size; i++) {
14
+ const char *escaped = value[i] == '&' ? "&amp;" : value[i] == '<' ? "&lt;" : value[i] == '>' ? "&gt;" : value[i] == '"' ? "&quot;" : value[i] == '\'' ? "&#39;" : value[i] == 0 ? "&#xfffd;" : NULL;
15
+ if (escaped) text(buffer, escaped); else append(buffer, value + i, 1);
16
+ }
17
+ }
18
+ static void value(HtmlBuffer *buffer, AugValue item, bool attribute) {
19
+ if (item.tag == AUG_NULL) return;
20
+ if (item.tag == AUG_OBJECT && item.as.object->kind == AUG_HTML_KIND && !attribute) {append(buffer, item.as.object->text, item.as.object->text_length); return;}
21
+ if (item.tag == AUG_OBJECT && item.as.object->kind == AUG_LIST_KIND && !attribute) {for (size_t i = 0; i < item.as.object->field_count; i++) value(buffer, item.as.object->fields[i], false); return;}
22
+ if (item.tag == AUG_STRING) {escape(buffer, item.as.object->text, item.as.object->text_length); return;}
23
+ char number[64]; if (item.tag == AUG_INT) snprintf(number, sizeof(number), "%lld", (long long)item.as.integer);
24
+ else if (item.tag == AUG_FLOAT) snprintf(number, sizeof(number), "%.17g", item.as.floating);
25
+ else if (item.tag == AUG_BOOL) snprintf(number, sizeof(number), "%s", item.as.boolean ? "true" : "false"); else return;
26
+ text(buffer, number);
27
+ }
28
+ #ifdef AUG_HTTP_RUNTIME
29
+ AugValue aug_http_action(const char *route, AugValue *values, size_t count) {
30
+ HtmlBuffer buffer = {0}; AugFrame frame; aug_frame_enter(&frame,values,count);
31
+ AugValue encoded[2] = {0}; AugFrame encoded_frame; aug_frame_enter(&encoded_frame, encoded, 2);
32
+ text(&buffer,"{\"route\":"); text(&buffer,route); text(&buffer,",\"values\":[");
33
+ for (size_t i=0;i<count;i++) {
34
+ if(i) text(&buffer,",");
35
+ if(values[i].tag==AUG_NULL) text(&buffer,"null");
36
+ else {
37
+ encoded[0] = aug_json_stringify(values[i]);
38
+ if (!aug_has_error) encoded[1] = aug_json_stringify(encoded[0]);
39
+ if (aug_has_error) {aug_take_error();free(buffer.text);aug_frame_leave(&encoded_frame);aug_frame_leave(&frame);return aug_error_named("HttpError");}
40
+ append(&buffer,encoded[1].as.object->text,encoded[1].as.object->text_length);
41
+ }
42
+ }
43
+ text(&buffer,"],\"present\":[");for(size_t i=0;i<count;i++){if(i)text(&buffer,",");text(&buffer,values[i].tag==AUG_NULL?"false":"true");}text(&buffer,"]}");
44
+ AugValue result=aug_bytes(buffer.text,buffer.size,AUG_HTTP_ACTION_KIND);free(buffer.text);aug_frame_leave(&encoded_frame);aug_frame_leave(&frame);return result;
45
+ }
46
+ #endif
47
+ static bool has_actions(AugValue item) {
48
+ if(item.tag!=AUG_OBJECT)return false;
49
+ if(item.as.object->html_actions)return true;
50
+ if(item.as.object->kind==AUG_LIST_KIND)for(size_t i=0;i<item.as.object->field_count;i++)if(has_actions(item.as.object->fields[i]))return true;
51
+ return false;
52
+ }
53
+ AugValue aug_html_transport(AugValue html) {
54
+ if(!html.as.object->html_actions)return html;
55
+ const char *script="<script src=\"/__aug/actions.js\" defer></script>", *end=strstr(html.as.object->text,"</body>");
56
+ size_t offset=end?(size_t)(end-html.as.object->text):html.as.object->text_length;
57
+ HtmlBuffer buffer={0};append(&buffer,html.as.object->text,offset);text(&buffer,script);append(&buffer,html.as.object->text+offset,html.as.object->text_length-offset);
58
+ AugValue result=aug_bytes(buffer.text,buffer.size,AUG_HTML_KIND);free(buffer.text);return result;
59
+ }
60
+ static bool safe_url(AugValue input) {
61
+ if (input.tag != AUG_STRING) return true;
62
+ const char *text = input.as.object->text; size_t size = input.as.object->text_length;
63
+ if (memchr(text, 0, size)) return false;
64
+ char scheme[32]; size_t n = 0;
65
+ for (size_t i = 0; i < size && n + 1 < sizeof(scheme); i++) {
66
+ unsigned char c = (unsigned char)text[i]; if (c <= 32) continue; if (c == ':' || c == '/' || c == '?' || c == '#') break; scheme[n++] = (char)c;
67
+ }
68
+ scheme[n] = 0; return strcasecmp(scheme, "javascript") && strcasecmp(scheme, "vbscript") && strcasecmp(scheme, "data");
69
+ }
70
+ AugValue aug_html_element(const char *tag, AugValue *attributes, size_t count, AugValue *children, size_t child_count) {
71
+ HtmlBuffer buffer = {0}; AugFrame frame; aug_frame_enter(&frame, attributes, count * 2); AugFrame child_frame; aug_frame_enter(&child_frame, children, child_count);
72
+ bool actions=false;
73
+ if (*tag) {
74
+ text(&buffer, "<"); text(&buffer, tag);
75
+ for (size_t i = 0; i < count; i++) {
76
+ const char *name = aug_cstring(attributes[i * 2]); AugValue content = attributes[i * 2 + 1];
77
+ if(content.tag==AUG_OBJECT&&content.as.object->kind==AUG_HTTP_ACTION_KIND) {
78
+ text(&buffer," data-aug-event=\"");text(&buffer,!strcmp(name,"onSubmit")?"submit":"click");text(&buffer,"\" data-aug-action=\"");escape(&buffer,content.as.object->text,content.as.object->text_length);text(&buffer,"\"");actions=true;continue;
79
+ }
80
+ if ((!strcmp(name, "href") || !strcmp(name, "src") || !strcmp(name, "action") || !strcmp(name, "formaction") || !strcmp(name, "poster")) && !safe_url(content)) {free(buffer.text); aug_frame_leave(&child_frame); aug_frame_leave(&frame); return aug_error_named("HttpError");}
81
+ if (content.tag == AUG_BOOL && !content.as.boolean) continue;
82
+ text(&buffer, " "); text(&buffer, !strcmp(name, "className") ? "class" : !strcmp(name, "htmlFor") ? "for" : !strcmp(name, "tabIndex") ? "tabindex" : name);
83
+ if (content.tag != AUG_BOOL) {text(&buffer, "=\""); value(&buffer, content, true); text(&buffer, "\"");}
84
+ }
85
+ text(&buffer, ">");
86
+ }
87
+ for (size_t i = 0; i < child_count; i++) {value(&buffer, children[i], false);actions=actions||has_actions(children[i]);}
88
+ bool is_void = !strcmp(tag, "input") || !strcmp(tag, "img") || !strcmp(tag, "br") || !strcmp(tag, "hr") || !strcmp(tag, "meta") || !strcmp(tag, "link") || !strcmp(tag, "source") || !strcmp(tag, "track") || !strcmp(tag, "wbr") || !strcmp(tag, "area") || !strcmp(tag, "col") || !strcmp(tag, "embed") || !strcmp(tag, "param");
89
+ if (*tag && !is_void) {text(&buffer, "</"); text(&buffer, tag); text(&buffer, ">");}
90
+ AugValue result = aug_bytes(buffer.text ? buffer.text : "", buffer.size, AUG_HTML_KIND); free(buffer.text);
91
+ result.as.object->html_actions=actions;
92
+ aug_frame_leave(&child_frame); aug_frame_leave(&frame); return result;
93
+ }