@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
package/src/native.js ADDED
@@ -0,0 +1,144 @@
1
+ import { copyFileSync, existsSync, mkdirSync, readFileSync, writeFileSync } from 'node:fs';
2
+ import { basename, dirname, isAbsolute, join, relative, resolve } from 'node:path';
3
+ import { fileURLToPath } from 'node:url';
4
+ import { spawnSync } from 'node:child_process';
5
+ import { createHash } from 'node:crypto';
6
+ import { loadConfig } from "./config.js";
7
+ import { generateOpenApi } from "./openapi.js";
8
+ import { nativeHome } from '../scripts/native-home.mjs';
9
+ export function compileNative(root, generated, options = {}) {
10
+ const config = loadConfig(root).config;
11
+ const buildDir = join(root, '.aug-build', ...(options.testIndex === undefined ? [] : ['tests']));
12
+ mkdirSync(buildDir, { recursive: true });
13
+ if (config.openapi.enabled && options.checked && options.testIndex === undefined) {
14
+ const target = resolve(root, config.openapi.output);
15
+ mkdirSync(dirname(target), { recursive: true });
16
+ writeFileSync(target, JSON.stringify(generateOpenApi(options.checked).document, null, 2) + '\n');
17
+ }
18
+ const name = options.testIndex === undefined ? 'program' : `test-${options.testIndex}`;
19
+ const cPath = join(buildDir, `${name}.c`);
20
+ writeFileSync(cPath, generated);
21
+ const runtimeDir = resolve(dirname(fileURLToPath(import.meta.url)), '..', 'runtime');
22
+ const nativeRoot = nativeHome(resolve(runtimeDir, '..'));
23
+ const runtimePath = join(buildDir, 'aug_runtime.c');
24
+ copyFileSync(join(runtimeDir, 'aug_runtime.c'), runtimePath);
25
+ copyFileSync(join(runtimeDir, 'aug_runtime.h'), join(buildDir, 'aug_runtime.h'));
26
+ const valuesPath = join(buildDir, 'aug_values.c');
27
+ copyFileSync(join(runtimeDir, 'aug_values.c'), valuesPath);
28
+ const outputName = options.testIndex === undefined ? options.output ?? config.output ?? basename(root) : name;
29
+ const output = isAbsolute(outputName) ? outputName : join(buildDir, outputName);
30
+ const cc = process.env.CC ?? (existsSync('/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/clang') ?
31
+ '/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/clang' : 'clang');
32
+ const release = options.release ?? config.optimization === 'release';
33
+ const args = [release ? '-O2' : '-O0', '-g', '-std=c11', '-D_POSIX_C_SOURCE=200809L', '-Wall', '-Wextra',
34
+ '-pthread',
35
+ cPath, runtimePath, valuesPath, ...config.library_paths.map(path => `-L${resolve(root, path)}`), ...config.libraries.map(name => `-l${name}`), '-o', output];
36
+ const web = generated.includes('aug_http_') || generated.includes('_aug_http_') || generated.includes('aug_headers_');
37
+ if (web)
38
+ args.push('-DAUG_HTTP_RUNTIME');
39
+ if (generated.includes('aug_html_') || web) {
40
+ const htmlSource = join(buildDir, 'aug_html.c');
41
+ copyFileSync(join(runtimeDir, 'aug_html.c'), htmlSource);
42
+ args.push(htmlSource);
43
+ }
44
+ if (generated.includes('_aug_time_')) {
45
+ const timeSource = join(buildDir, 'aug_time.c');
46
+ copyFileSync(join(runtimeDir, 'aug_time.c'), timeSource);
47
+ args.push(timeSource);
48
+ }
49
+ if (web || generated.includes('aug_task_')) {
50
+ const taskSource = join(buildDir, 'aug_tasks.c');
51
+ copyFileSync(join(runtimeDir, 'aug_tasks.c'), taskSource);
52
+ const minicoro = join(nativeRoot, 'sources', 'minicoro');
53
+ if (!existsSync(join(minicoro, 'minicoro.h')))
54
+ throw new Error('Task dependency is missing. Run the compiler scripts/bootstrap-native.mjs with --extract-only; AUG_NATIVE_HOME selects its directory.');
55
+ args.push(taskSource, '-I' + minicoro, process.platform === 'darwin' ? '-D_DARWIN_C_SOURCE' : '-D_DEFAULT_SOURCE');
56
+ }
57
+ if (generated.includes('_aug_crypto_') || web) {
58
+ const prefix = join(nativeRoot, 'prefix');
59
+ const manifestPath = join(prefix, 'aug-native-manifest.json');
60
+ if (!existsSync(manifestPath))
61
+ throw new Error('Native libraries are not ready. Run node scripts/bootstrap-native.mjs in the compiler directory; AUG_NATIVE_HOME selects its directory.');
62
+ const manifest = JSON.parse(readFileSync(manifestPath, 'utf8'));
63
+ if (manifest.platform !== process.platform || manifest.architecture !== process.arch)
64
+ throw new Error(`Native dependencies target ${manifest.platform}/${manifest.architecture}; this compiler runs on ${process.platform}/${process.arch}. Build dependencies on this host.`);
65
+ const cryptoPath = join(buildDir, 'aug_crypto.c');
66
+ copyFileSync(join(runtimeDir, 'aug_crypto.c'), cryptoPath);
67
+ args.push(cryptoPath, '-I' + join(prefix, 'include'), '-L' + join(prefix, 'lib'), '-Wl,-rpath,' + join(prefix, 'lib'), '-lgnutls', '-lnettle', '-lhogweed', '-lgmp', '-pthread');
68
+ if (web) {
69
+ args.push(process.platform === 'darwin' ? '-D_DARWIN_C_SOURCE' : '-D_DEFAULT_SOURCE');
70
+ const webPath = join(buildDir, 'aug_http.c');
71
+ copyFileSync(join(runtimeDir, 'aug_http.c'), webPath);
72
+ args.push(webPath, join(prefix, 'lib', 'libwebsockets.a'), '-lz');
73
+ if (process.platform === 'darwin')
74
+ args.push('-framework', 'CoreFoundation', '-framework', 'SystemConfiguration');
75
+ }
76
+ }
77
+ if (generated.includes('_aug_json_') || generated.includes('aug_json_') || web) {
78
+ const jsonSource = join(buildDir, 'aug_json.c');
79
+ copyFileSync(join(runtimeDir, 'aug_json.c'), jsonSource);
80
+ const yyjson = join(nativeRoot, 'sources', 'yyjson', 'src');
81
+ if (!existsSync(join(yyjson, 'yyjson.c')))
82
+ throw new Error('JSON dependency is missing. Run node scripts/bootstrap-native.mjs --extract-only.');
83
+ args.push(jsonSource, join(yyjson, 'yyjson.c'), '-I' + yyjson);
84
+ }
85
+ const sdk = '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk';
86
+ if (process.platform === 'darwin' && existsSync(sdk) && !process.env.SDKROOT)
87
+ args.unshift('-isysroot', sdk);
88
+ const compile = spawnSync(cc, args, { encoding: 'utf8', cwd: root });
89
+ if (compile.error)
90
+ throw compile.error;
91
+ const error = compile.status === 0 ? '' : compile.stderr || compile.stdout || 'C compiler failed';
92
+ const diagnostics = [];
93
+ for (const match of error.matchAll(/^(.+\.aug):(\d+):(\d+):\s*(?:fatal )?error:\s*(.+)$/gm))
94
+ diagnostics.push({ file: match[1], line: Number(match[2]), column: Number(match[3]), code: 'NATIVE', message: match[4] });
95
+ if (compile.status === 0 && options.checked) {
96
+ const version = JSON.parse(readFileSync(resolve(runtimeDir, '..', 'package.json'), 'utf8')).version;
97
+ writeFileSync(output + '.augmap.json', JSON.stringify({ version, compiler: cc, arguments: args,
98
+ generatedHash: createHash('sha256').update(generated).digest('hex'),
99
+ sources: [...options.checked.project.files.values()].map(file => ({ path: file.path, hash: createHash('sha256').update(file.source).digest('hex') })),
100
+ symbols: [...options.checked.project.definitions.values()].map((def, index) => ({ name: def.name, native: `aug_${index}_${def.name}`, location: def.node.span })) }, null, 2) + '\n');
101
+ }
102
+ return { output, status: compile.status ?? 1, error, diagnostics };
103
+ }
104
+ /** Merge per-process native statement counts, retaining unexecuted locations. */
105
+ export function writeCoverage(root, reports) {
106
+ const files = new Map();
107
+ for (const path of reports)
108
+ if (existsSync(path))
109
+ for (const row of readFileSync(path, 'utf8').trim().split('\n')) {
110
+ const match = /^(.*)\t(\d+)\t(\d+)$/.exec(row);
111
+ if (!match)
112
+ continue;
113
+ const lines = files.get(match[1]) ?? new Map();
114
+ files.set(match[1], lines);
115
+ const line = Number(match[2]);
116
+ lines.set(line, (lines.get(line) ?? 0) + Number(match[3]));
117
+ }
118
+ const result = [...files].sort(([a], [b]) => a.localeCompare(b)).map(([file, counts]) => ({ file,
119
+ lines: [...counts].sort(([a], [b]) => a - b).map(([line, count]) => ({ line, count })) }));
120
+ const executable = result.reduce((sum, file) => sum + file.lines.length, 0);
121
+ const covered = result.reduce((sum, file) => sum + file.lines.filter(line => line.count > 0).length, 0);
122
+ const directory = join(root, '.aug-build', 'coverage');
123
+ mkdirSync(directory, { recursive: true });
124
+ const report = { kind: 'statement-lines', covered, executable, percent: executable ? covered * 100 / executable : 0, files: result };
125
+ const path = join(directory, 'coverage.json');
126
+ writeFileSync(path, JSON.stringify(report, null, 2) + '\n');
127
+ writeFileSync(join(directory, 'lcov.info'), result.map(file => `TN:AugScript\nSF:${file.file}\n` +
128
+ file.lines.map(line => `DA:${line.line},${line.count}\n`).join('') + `LF:${file.lines.length}\nLH:${file.lines.filter(line => line.count > 0).length}\nend_of_record\n`).join(''));
129
+ return { ...report, path: relative(root, path) };
130
+ }
131
+ export function benchmark(output, root, iterations, warmup, args, timeout) {
132
+ const samples = [];
133
+ for (let index = -warmup; index < iterations; index++) {
134
+ const start = performance.now();
135
+ const run = spawnSync(output, args, { encoding: 'utf8', cwd: root, timeout, killSignal: 'SIGKILL' });
136
+ if (run.error || run.status !== 0)
137
+ throw new Error(run.error?.message ?? run.stderr ?? `Benchmark exited ${run.status}`);
138
+ if (index >= 0)
139
+ samples.push(performance.now() - start);
140
+ }
141
+ const sorted = [...samples].sort((a, b) => a - b);
142
+ return { iterations, warmup, includesProcessStartup: true, units: 'milliseconds', samples,
143
+ median: sorted[Math.floor(sorted.length / 2)], p95: sorted[Math.min(sorted.length - 1, Math.ceil(sorted.length * .95) - 1)], minimum: sorted[0] };
144
+ }
@@ -0,0 +1,162 @@
1
+ import { statSync } from 'node:fs';
2
+ import { basename, dirname, join, resolve } from 'node:path';
3
+ import { lex } from "./lexer.js";
4
+ import { libraryChild } from "./libraries.js";
5
+ function definitionTarget(def) {
6
+ const span = def.node.kind === 'interceptor' ? def.node.nameSpan : def.node.span;
7
+ return { name: def.name, file: def.file, line: span.line,
8
+ column: span.column, kind: def.node.kind };
9
+ }
10
+ function parameterTarget(project, param) {
11
+ const source = project.files.get(param.span.file)?.source ?? '';
12
+ const token = lex(param.span.file, source).tokens.filter(token => token.value === param.name &&
13
+ param.span.start <= token.span.start && token.span.end <= param.span.end).at(-1);
14
+ const span = token?.span ?? param.span;
15
+ return { name: param.name, file: span.file, line: span.line, column: span.column, kind: 'parameter' };
16
+ }
17
+ function directoryExists(path) {
18
+ try {
19
+ return statSync(path).isDirectory();
20
+ }
21
+ catch {
22
+ return false;
23
+ }
24
+ }
25
+ function exportTarget(project, folder, name, child) {
26
+ const file = project.files.get(join(folder, 'export.aug'));
27
+ if (!file)
28
+ return undefined;
29
+ const declaration = file.items.find(item => item.kind === 'export' &&
30
+ item.name === (child ?? name) && item.folder === !!child);
31
+ return { name, file: file.path, line: declaration?.span.line ?? 1,
32
+ column: declaration?.span.column ?? 1, kind: 'module' };
33
+ }
34
+ function importPathTarget(project, importer, from, name, segment) {
35
+ if (!from.length)
36
+ return undefined;
37
+ if (from[0] === 'august' && project.stdlibRoot) {
38
+ let folder = project.stdlibRoot;
39
+ for (let index = 1; index <= segment; index++)
40
+ folder = libraryChild(project.libraries, folder, from[index]);
41
+ return exportTarget(project, folder, name, segment < from.length - 1 ? from[segment + 1] : undefined);
42
+ }
43
+ const owner = importer.package ? project.packages.scopes.get(importer.package) : undefined;
44
+ const dependency = owner ? project.packages.scopes.get(owner.dependencies[from[0]]) : project.packages.roots.get(from[0]);
45
+ if (dependency) {
46
+ const folder = join(dependency.sourceRoot, ...from.slice(1, segment + 1));
47
+ return exportTarget(project, folder, name, segment < from.length - 1 ? from[segment + 1] : undefined);
48
+ }
49
+ if (from.length === 1) {
50
+ const sibling = join(dirname(importer.path), `${from[0]}.aug`);
51
+ if (project.files.has(sibling) && basename(sibling) !== 'export.aug')
52
+ return { name: from[0], file: sibling, line: 1, column: 1, kind: 'module' };
53
+ }
54
+ const siblingFolder = join(dirname(importer.path), from[0]);
55
+ let folder = from.length === 1 && directoryExists(siblingFolder) ?
56
+ siblingFolder : join(owner?.sourceRoot ?? project.sourceRoot, from[0]);
57
+ if (segment === 0 && from.length > 1)
58
+ return exportTarget(project, folder, from[0], from[1]);
59
+ for (let index = 1; index <= segment; index++)
60
+ folder = join(folder, from[index]);
61
+ return segment === from.length - 1 ? exportTarget(project, folder, name) :
62
+ exportTarget(project, folder, from[segment], from[segment + 1]);
63
+ }
64
+ function unfinishedModuleTarget(project, file, token, tokens) {
65
+ const lineTokens = tokens.filter(entry => entry.span.line === token.span.line &&
66
+ entry.kind !== 'eof');
67
+ if (lineTokens[0]?.kind === 'export' && lineTokens[1]?.kind === 'folder' &&
68
+ lineTokens[2]?.kind === 'identifier' &&
69
+ (token === lineTokens[1] || token === lineTokens[2]))
70
+ return exportTarget(project, file.builtin ? libraryChild(project.libraries, dirname(file.path), lineTokens[2].value) : join(dirname(file.path), lineTokens[2].value), lineTokens[2].value);
71
+ if (!['import', 'export'].includes(lineTokens[0]?.kind ?? '') ||
72
+ lineTokens[1]?.kind !== 'identifier')
73
+ return undefined;
74
+ const fromIndex = lineTokens.findIndex(entry => entry.kind === 'from');
75
+ if (fromIndex < 0)
76
+ return undefined;
77
+ const pathTokens = lineTokens.slice(fromIndex + 1).filter(entry => entry.kind === 'identifier');
78
+ if (!pathTokens.length)
79
+ return undefined;
80
+ const segment = token.kind === 'from' ? pathTokens.length - 1 : pathTokens.indexOf(token);
81
+ if (segment < 0)
82
+ return undefined;
83
+ if (lineTokens[0].kind === 'import')
84
+ return importPathTarget(project, file, pathTokens.map(entry => entry.value), lineTokens[1].value, segment);
85
+ const sibling = join(dirname(file.path), `${pathTokens[0].value}.aug`);
86
+ return project.files.has(sibling) ? { name: pathTokens[0].value, file: sibling,
87
+ line: 1, column: 1, kind: 'module' } : undefined;
88
+ }
89
+ /** Go to a declaration or the source named by an import/export path. */
90
+ export function definitionAt(project, fileName, offset) {
91
+ const file = project.files.get(resolve(fileName));
92
+ if (!file)
93
+ return undefined;
94
+ const tokens = lex(file.path, file.source).tokens;
95
+ const token = tokens.find(entry => entry.kind !== 'eof' &&
96
+ entry.span.start <= offset && offset < entry.span.end);
97
+ if (!token)
98
+ return undefined;
99
+ for (const node of file.items) {
100
+ const candidates = node.kind === 'class' || node.kind === 'function' ? [node] : [];
101
+ if ('methods' in node)
102
+ candidates.push(...node.methods);
103
+ for (const target of candidates)
104
+ for (const tag of target.annotations ?? []) {
105
+ const mapping = tag.mappings.find(entry => entry.span.start <= token.span.start && token.span.end <= entry.span.end);
106
+ if (!mapping)
107
+ continue;
108
+ const def = project.scopes.get(file.path)?.get(tag.name);
109
+ const around = def?.node.kind === 'interceptor' ? def.node.methods.find(method => method.name === 'around') : undefined;
110
+ const params = target.kind === 'class' ? target.fields : target.params;
111
+ const param = token.span.start >= mapping.sourceSpan.start ? params.find(param => param.name === mapping.source) :
112
+ around?.params.find(param => param.name === mapping.name);
113
+ if (param)
114
+ return parameterTarget(project, param);
115
+ }
116
+ if (node.kind === 'interceptor' && token.value === 'next') {
117
+ const around = node.methods.find(method => method.name === 'around' &&
118
+ method.span.start <= token.span.start && token.span.end <= method.span.end);
119
+ if (around)
120
+ return { name: 'around', file: file.path, line: around.span.line,
121
+ column: around.span.column, kind: 'method' };
122
+ }
123
+ }
124
+ const item = file.items.find(entry => entry.span.start <= token.span.start &&
125
+ token.span.end <= entry.span.end && (entry.kind === 'import' || entry.kind === 'export'));
126
+ if (item?.kind === 'import' || (item?.kind === 'export' && !item.folder)) {
127
+ const declarationTokens = tokens.filter(entry => entry.span.start >= item.span.start &&
128
+ entry.span.end <= item.span.end);
129
+ const fromIndex = declarationTokens.findIndex(entry => entry.kind === 'from');
130
+ const sourceTokens = declarationTokens.slice(fromIndex + 1)
131
+ .filter(entry => entry.kind === 'identifier');
132
+ const segments = item.kind === 'import' ? item.from : [item.from];
133
+ const selected = token.kind === 'from' ? segments.length - 1 :
134
+ sourceTokens.findIndex((entry) => entry === token);
135
+ if (fromIndex >= 0 && selected >= 0 && selected < segments.length) {
136
+ if (item.kind === 'import')
137
+ return importPathTarget(project, file, segments, item.names[0] ?? 'everything', selected);
138
+ const sibling = join(dirname(file.path), `${item.from}.aug`);
139
+ return project.files.has(sibling) ? { name: item.from, file: sibling,
140
+ line: 1, column: 1, kind: 'module' } : undefined;
141
+ }
142
+ if (item.kind === 'export' && token.value === item.name) {
143
+ const sibling = join(dirname(file.path), `${item.from}.aug`);
144
+ const def = project.scopes.get(sibling)?.get(item.name);
145
+ return def ? definitionTarget(def) : undefined;
146
+ }
147
+ }
148
+ if (item?.kind === 'export' && item.folder &&
149
+ (token.kind === 'folder' || token.value === item.name))
150
+ return exportTarget(project, file.builtin ? libraryChild(project.libraries, dirname(file.path), item.name) : join(dirname(file.path), item.name), item.name);
151
+ if (!item) {
152
+ const unfinished = unfinishedModuleTarget(project, file, token, tokens);
153
+ if (unfinished)
154
+ return unfinished;
155
+ }
156
+ if (token.kind === 'identifier') {
157
+ const def = project.scopes.get(file.path)?.get(token.value);
158
+ if (def)
159
+ return definitionTarget(def);
160
+ }
161
+ return undefined;
162
+ }
package/src/openapi.js ADDED
@@ -0,0 +1,220 @@
1
+ import { createHash } from 'node:crypto';
2
+ import { schemaType } from "./schemas.js";
3
+ import { callableDocumentation } from "./documentation.js";
4
+ const primitive = (name) => ({ id: 'builtin:' + name, name, kind: 'builtin', args: [], nullable: false });
5
+ const problem = { type: 'object', required: ['type', 'title', 'status'], properties: { type: { type: 'string', format: 'uri-reference' }, title: { type: 'string' }, status: { type: 'integer', minimum: 400, maximum: 599 } } };
6
+ function nodes(value, visit) {
7
+ if (!value || typeof value !== 'object')
8
+ return;
9
+ if (Array.isArray(value)) {
10
+ value.forEach(child => nodes(child, visit));
11
+ return;
12
+ }
13
+ visit(value);
14
+ for (const [key, child] of Object.entries(value))
15
+ if (!['span', 'type'].includes(key))
16
+ nodes(child, visit);
17
+ }
18
+ /** Build a contract from served declarations and checked returns; untyped wire values fail the enabled build. */
19
+ export function generateOpenApi(checked) {
20
+ const project = checked.project, config = project.config.openapi;
21
+ const diagnostics = [], schemas = {}, paths = {};
22
+ const seenTypes = new Map();
23
+ const report = (span, message) => diagnostics.push({ ...span, code: 'OPENAPI', message });
24
+ const schema = (type, span) => {
25
+ const base = { ...type, optional: false, nullable: false };
26
+ let result;
27
+ if (['int', 'c_int'].includes(base.name))
28
+ result = { type: 'integer', format: base.name === 'int' ? 'int64' : 'int32' };
29
+ else if (base.name === 'float')
30
+ result = { type: 'number', format: 'double' };
31
+ else if (['string', 'bool', 'Html', 'Bytes'].includes(base.name))
32
+ result = { type: base.name === 'bool' ? 'boolean' : 'string' };
33
+ else if (['List', 'Set'].includes(base.name))
34
+ result = { type: 'array', items: schema(base.args[0], span), ...(base.name === 'Set' ? { uniqueItems: true } : {}) };
35
+ else if (base.name === 'Tuple')
36
+ result = { type: 'array', prefixItems: base.args.map(item => schema(item, span)), minItems: base.args.length, maxItems: base.args.length };
37
+ else if (base.name === 'Map' && base.args[0]?.name === 'string')
38
+ result = { type: 'object', additionalProperties: schema(base.args[1], span) };
39
+ else if (base.def?.node.kind === 'class' && base.def.node.record) {
40
+ const identity = (type) => [type.id, type.nullable, !!type.optional, type.args.map(identity)];
41
+ const key = JSON.stringify(identity(base));
42
+ let name = seenTypes.get(key);
43
+ if (!name) {
44
+ name = base.name + '_' + createHash('sha256').update(key).digest('hex').slice(0, 8);
45
+ seenTypes.set(key, name);
46
+ schemas[name] = {};
47
+ const record = base.def.node, params = new Map(record.typeParams.map((param, index) => [param, base.args[index]]));
48
+ const properties = {}, required = [];
49
+ for (const field of record.fields) {
50
+ if (field.name.startsWith('_'))
51
+ report(field.span, 'Private fields cannot appear in public JSON contracts');
52
+ const type = schemaType(project, field.type, base.def.file, params);
53
+ properties[field.name] = schema(type, field.span);
54
+ if (!type.optional)
55
+ required.push(field.name);
56
+ }
57
+ schemas[name] = { type: 'object', properties, required, additionalProperties: false };
58
+ }
59
+ result = { $ref: '#/components/schemas/' + name };
60
+ }
61
+ else {
62
+ report(span, `${base.name} has no complete OpenAPI schema; expose a concrete data record`);
63
+ result = {};
64
+ }
65
+ if (type.nullable)
66
+ result = typeof result.type === 'string' ? { ...result, type: [result.type, 'null'] } : { anyOf: [result, { type: 'null' }] };
67
+ return result;
68
+ };
69
+ const variants = (fn, visiting = new Set()) => {
70
+ if (visiting.has(fn)) {
71
+ report(fn.span, 'Recursive response helpers need a concrete response contract');
72
+ return [];
73
+ }
74
+ visiting = new Set([...visiting, fn]);
75
+ const result = [];
76
+ nodes(fn.body, node => {
77
+ if (node.kind !== 'return')
78
+ return;
79
+ const expr = node.value;
80
+ if (!expr) {
81
+ result.push({ status: fn.endpoint?.status ?? 200, type: primitive('void') });
82
+ return;
83
+ }
84
+ const type = checked.expressionTypes.get(expr) ?? schemaType(project, fn.returns, fn.span.file);
85
+ if (expr.kind === 'call' && expr.callee.kind === 'name' && type.name === 'HttpResponse') {
86
+ if (expr.callee.name !== 'HttpResponse') {
87
+ const def = project.scopes.get(fn.span.file)?.get(expr.callee.name);
88
+ if (def?.node.kind === 'function') {
89
+ result.push(...variants(def.node, visiting));
90
+ return;
91
+ }
92
+ }
93
+ else {
94
+ const plan = checked.callPlans.get(expr), source = plan?.sourceIndices[0], statusIndex = plan?.sourceIndices[1];
95
+ let status = 200;
96
+ if (statusIndex !== undefined) {
97
+ const value = expr.args[statusIndex];
98
+ if (value.kind !== 'literal' || typeof value.value !== 'number') {
99
+ report(value.span, 'OpenAPI response statuses must be explicit constants');
100
+ return;
101
+ }
102
+ status = value.value;
103
+ }
104
+ const body = source === undefined ? undefined : expr.args[source];
105
+ let bodyType = body ? checked.expressionTypes.get(body) ?? type.args[0] : primitive('void');
106
+ if (body?.kind === 'call' && body.callee.kind === 'name' && body.callee.name === 'Json') {
107
+ const index = checked.callPlans.get(body)?.sourceIndices[0];
108
+ if (index !== undefined)
109
+ bodyType = checked.expressionTypes.get(body.args[index]) ?? bodyType;
110
+ }
111
+ result.push({ status, type: bodyType });
112
+ return;
113
+ }
114
+ }
115
+ if (type.name === 'HttpResponse') {
116
+ report(expr.span, 'A dynamic HttpResponse needs explicit, discoverable response variants');
117
+ return;
118
+ }
119
+ if (type.name === 'Json' && expr.kind === 'call' && expr.callee.kind === 'name' && expr.callee.name === 'Json') {
120
+ const index = checked.callPlans.get(expr)?.sourceIndices[0];
121
+ if (index !== undefined) {
122
+ result.push({ status: fn.endpoint?.status ?? 200, type: checked.expressionTypes.get(expr.args[index]) ?? type });
123
+ return;
124
+ }
125
+ }
126
+ result.push({ status: fn.endpoint?.status ?? 200, type });
127
+ });
128
+ if (!result.length && fn.returns.name !== 'HttpResponse')
129
+ result.push({ status: fn.endpoint?.status ?? 200, type: schemaType(project, fn.returns, fn.span.file) });
130
+ return result;
131
+ };
132
+ const served = new Map();
133
+ nodes(project.main?.items, node => {
134
+ if (node.kind === 'serve')
135
+ for (const name of node.names) {
136
+ const def = project.scopes.get(project.main.path)?.get(name);
137
+ if (def?.node.kind === 'function' && def.node.endpoint)
138
+ served.set(def.id, def);
139
+ }
140
+ });
141
+ for (const def of served.values()) {
142
+ const fn = def.node, endpoint = fn.endpoint, doc = callableDocumentation(project, fn);
143
+ if ([config.path, config.docs, config.docs + '/client.js'].includes(endpoint.path))
144
+ report(fn.span, 'Endpoint path conflicts with configured OpenAPI routes');
145
+ const responses = {};
146
+ const response = (status, media, value) => {
147
+ const result = responses[status] ??= { description: status < 400 ? 'Successful response' : 'Error response', content: {} };
148
+ const current = result.content[media];
149
+ if (!current)
150
+ result.content[media] = { schema: value };
151
+ else if (JSON.stringify(current.schema) !== JSON.stringify(value))
152
+ current.schema = { oneOf: [current.schema, value] };
153
+ };
154
+ if (endpoint.streams) {
155
+ const item = schemaType(project, fn.returns, fn.span.file), sse = item.name === 'ServerEvent';
156
+ const itemSchema = sse ? { type: 'object', required: ['data'], properties: { data: { type: 'string', contentMediaType: 'application/json', contentSchema: schema(item.args[0], fn.span) }, id: { type: 'string' }, event: { type: 'string' }, retry: { type: 'integer', minimum: 0 } } } : schema(item, fn.span);
157
+ responses[endpoint.status] = { description: 'Streaming response', content: { [sse ? 'text/event-stream' : item.name === 'Html' ? 'text/html' : 'application/octet-stream']: { itemSchema } } };
158
+ }
159
+ for (const variant of endpoint.streams ? [] : variants(fn)) {
160
+ if (variant.type.name === 'void' || [204, 304].includes(variant.status))
161
+ responses[variant.status] = { description: 'Response with no body' };
162
+ else
163
+ response(variant.status, variant.type.name === 'Html' ? 'text/html' : variant.type.name === 'Bytes' ? 'application/octet-stream' : 'application/json', schema(variant.type, fn.span));
164
+ }
165
+ const parameters = [];
166
+ let requestBody;
167
+ const bodies = fn.params.filter(param => ['body', 'form'].includes(param.source?.kind ?? ''));
168
+ for (const param of fn.params) {
169
+ if (!param.source || ['body', 'form', 'request'].includes(param.source.kind))
170
+ continue;
171
+ const type = schemaType(project, param.type, def.file);
172
+ parameters.push({ name: param.source.name ?? param.name, in: param.source.kind, required: param.source.kind === 'path' || !type.optional,
173
+ schema: schema(type, param.span), ...(doc?.parameters.get(param.name) ? { description: doc.parameters.get(param.name) } : {}) });
174
+ }
175
+ if (bodies.length) {
176
+ const param = bodies[0], type = schemaType(project, param.type, def.file);
177
+ requestBody = { required: !type.optional, content: { [param.source.kind === 'form' ? 'application/x-www-form-urlencoded' : 'application/json']: { schema: schema(type, param.span) } } };
178
+ }
179
+ else if (fn.params.some(param => param.source?.kind === 'request')) {
180
+ nodes(fn.body, node => {
181
+ const call = node;
182
+ if (call.kind === 'call' && call.callee.kind === 'member' && call.callee.name === 'form' && call.typeArgs[0])
183
+ requestBody = { required: true, content: { 'application/x-www-form-urlencoded': { schema: schema(schemaType(project, call.typeArgs[0], def.file), call.span) } } };
184
+ });
185
+ }
186
+ const errors = new Set([500, ...endpoint.errors.map(error => error.status), ...fn.throws.map(error => endpoint.errors.find(mapped => mapped.type.name === error.name)?.status ?? 500)]);
187
+ const policies = checked.httpPolicies.get(fn) ?? [];
188
+ for (const policy of policies)
189
+ for (const status of policy.name === 'RequireLogin' ? [401] : policy.name === 'RequirePermission' ? [401, 403] : policy.name === 'RateLimit' ? [429] : policy.name === 'Timeout' ? [504] : policy.name === 'Cors' ? [400, 403] : [])
190
+ errors.add(status);
191
+ if (parameters.length || bodies.length)
192
+ errors.add(400);
193
+ if (requestBody) {
194
+ errors.add(413);
195
+ errors.add(415);
196
+ if (bodies.some(param => param.source?.kind === 'body'))
197
+ errors.add(422);
198
+ }
199
+ for (const status of errors)
200
+ response(status, 'application/problem+json', problem);
201
+ (paths[endpoint.path] ??= {})[endpoint.method.toLowerCase()] = { operationId: def.name, ...(doc ? { description: doc.markdown } : {}), parameters, ...(requestBody ? { requestBody } : {}), responses,
202
+ ...(policies.length ? { 'x-august-policies': policies.map(policy => ({ name: policy.name, ...policy.options, dependencies: policy.dependencies.map(index => fn.params[index].name) })) } : {}) };
203
+ }
204
+ const document = { openapi: '3.2.1', jsonSchemaDialect: 'https://json-schema.org/draft/2020-12/schema', info: { title: config.title, version: config.version }, paths, components: { schemas } };
205
+ return { document, diagnostics };
206
+ }
207
+ export function apiExplorer(specPath, clientPath) {
208
+ const attr = (value) => value.replaceAll('&', '&amp;').replaceAll('"', '&quot;').replaceAll('<', '&lt;');
209
+ return '<!doctype html><html lang="en"><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><title>August API</title><body style="font:16px system-ui;max-width:1000px;margin:40px auto;padding:20px"><h1>August API</h1><p>Contracts generated from served August endpoints.</p><main id="api" data-spec="' + attr(specPath) + '">Loading API…</main><script src="' + attr(clientPath) + '" defer></script></body></html>';
210
+ }
211
+ export const apiExplorerScript = `const root=document.getElementById('api');
212
+ const text=(tag,value)=>{const node=document.createElement(tag);node.textContent=value;return node};
213
+ fetch(root.dataset.spec).then(r=>r.json()).then(spec=>{root.textContent='';document.title=spec.info.title;for(const [path,methods] of Object.entries(spec.paths))for(const [method,op] of Object.entries(methods)){
214
+ const block=document.createElement('section');block.style.cssText='border:1px solid #ccd;padding:20px;border-radius:12px;margin:16px 0';block.append(text('h2',method.toUpperCase()+' '+path),text('p',op.description||op.operationId));
215
+ const form=document.createElement('form');const inputs=[];for(const p of op.parameters||[]){const label=text('label',p.in+' '+p.name+' ');const input=document.createElement('input');input.required=p.required;label.append(input);form.append(label);inputs.push([p,input]);}
216
+ let body;if(op.requestBody){body=document.createElement('textarea');body.placeholder='Request body';body.rows=5;body.style.display='block';form.append(body);}
217
+ const button=text('button','Send request');button.type='submit';const output=text('pre','');output.style.whiteSpace='pre-wrap';form.append(button);block.append(form,output);root.append(block);
218
+ form.addEventListener('submit',async event=>{event.preventDefault();let target=path;const query=new URLSearchParams(),headers={};for(const [p,input]of inputs){if(p.in==='path')target=target.replace('{'+p.name+'}',encodeURIComponent(input.value));else if(p.in==='query'&&input.value)query.append(p.name,input.value);else if(p.in==='header'&&input.value)headers[p.name]=input.value;}
219
+ const media=op.requestBody&&Object.keys(op.requestBody.content)[0];if(media)headers['content-type']=media;button.disabled=true;try{const r=await fetch(target+(query.size?'?'+query:''),{method:method.toUpperCase(),headers,body:body?body.value:undefined});output.textContent=r.status+' '+r.statusText+'\\n'+await r.text();}catch(error){output.textContent=String(error);}finally{button.disabled=false;}});
220
+ }}).catch(error=>root.textContent=String(error));`;