redscript-mc 1.2.30 → 2.0.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 (269) hide show
  1. package/.claude/commands/build-test.md +10 -0
  2. package/.claude/commands/deploy-demo.md +12 -0
  3. package/.claude/commands/stage-status.md +13 -0
  4. package/.claude/settings.json +12 -0
  5. package/.github/workflows/ci.yml +1 -0
  6. package/CLAUDE.md +231 -0
  7. package/demo.gif +0 -0
  8. package/dist/cli.js +2 -554
  9. package/dist/compile.js +2 -266
  10. package/dist/index.js +2 -159
  11. package/dist/lowering/index.js +5 -3
  12. package/dist/src/__tests__/cli.test.d.ts +1 -0
  13. package/dist/src/__tests__/cli.test.js +104 -0
  14. package/dist/src/__tests__/codegen.test.d.ts +1 -0
  15. package/dist/src/__tests__/codegen.test.js +152 -0
  16. package/dist/src/__tests__/compile-all.test.d.ts +10 -0
  17. package/dist/src/__tests__/compile-all.test.js +108 -0
  18. package/dist/src/__tests__/dce.test.d.ts +1 -0
  19. package/dist/src/__tests__/dce.test.js +102 -0
  20. package/dist/src/__tests__/diagnostics.test.d.ts +4 -0
  21. package/dist/src/__tests__/diagnostics.test.js +177 -0
  22. package/dist/src/__tests__/e2e.test.d.ts +6 -0
  23. package/dist/src/__tests__/e2e.test.js +1789 -0
  24. package/dist/src/__tests__/entity-types.test.d.ts +1 -0
  25. package/dist/src/__tests__/entity-types.test.js +203 -0
  26. package/dist/src/__tests__/formatter.test.d.ts +1 -0
  27. package/dist/src/__tests__/formatter.test.js +40 -0
  28. package/dist/src/__tests__/lexer.test.d.ts +1 -0
  29. package/dist/src/__tests__/lexer.test.js +343 -0
  30. package/dist/src/__tests__/lowering.test.d.ts +1 -0
  31. package/dist/src/__tests__/lowering.test.js +1015 -0
  32. package/dist/src/__tests__/macro.test.d.ts +8 -0
  33. package/dist/src/__tests__/macro.test.js +306 -0
  34. package/dist/src/__tests__/mc-integration.test.d.ts +12 -0
  35. package/dist/src/__tests__/mc-integration.test.js +817 -0
  36. package/dist/src/__tests__/mc-syntax.test.d.ts +1 -0
  37. package/dist/src/__tests__/mc-syntax.test.js +124 -0
  38. package/dist/src/__tests__/nbt.test.d.ts +1 -0
  39. package/dist/src/__tests__/nbt.test.js +82 -0
  40. package/dist/src/__tests__/optimizer-advanced.test.d.ts +1 -0
  41. package/dist/src/__tests__/optimizer-advanced.test.js +124 -0
  42. package/dist/src/__tests__/optimizer.test.d.ts +1 -0
  43. package/dist/src/__tests__/optimizer.test.js +149 -0
  44. package/dist/src/__tests__/parser.test.d.ts +1 -0
  45. package/dist/src/__tests__/parser.test.js +807 -0
  46. package/dist/src/__tests__/repl.test.d.ts +1 -0
  47. package/dist/src/__tests__/repl.test.js +27 -0
  48. package/dist/src/__tests__/runtime.test.d.ts +1 -0
  49. package/dist/src/__tests__/runtime.test.js +289 -0
  50. package/dist/src/__tests__/stdlib-advanced.test.d.ts +4 -0
  51. package/dist/src/__tests__/stdlib-advanced.test.js +374 -0
  52. package/dist/src/__tests__/stdlib-bigint.test.d.ts +7 -0
  53. package/dist/src/__tests__/stdlib-bigint.test.js +426 -0
  54. package/dist/src/__tests__/stdlib-math.test.d.ts +7 -0
  55. package/dist/src/__tests__/stdlib-math.test.js +351 -0
  56. package/dist/src/__tests__/stdlib-vec.test.d.ts +4 -0
  57. package/dist/src/__tests__/stdlib-vec.test.js +263 -0
  58. package/dist/src/__tests__/structure-optimizer.test.d.ts +1 -0
  59. package/dist/src/__tests__/structure-optimizer.test.js +33 -0
  60. package/dist/src/__tests__/typechecker.test.d.ts +1 -0
  61. package/dist/src/__tests__/typechecker.test.js +552 -0
  62. package/dist/src/__tests__/var-allocator.test.d.ts +1 -0
  63. package/dist/src/__tests__/var-allocator.test.js +69 -0
  64. package/dist/src/ast/types.d.ts +515 -0
  65. package/dist/src/ast/types.js +9 -0
  66. package/dist/src/builtins/metadata.d.ts +36 -0
  67. package/dist/src/builtins/metadata.js +1014 -0
  68. package/dist/src/cli.d.ts +11 -0
  69. package/dist/src/cli.js +443 -0
  70. package/dist/src/codegen/cmdblock/index.d.ts +26 -0
  71. package/dist/src/codegen/cmdblock/index.js +45 -0
  72. package/dist/src/codegen/mcfunction/index.d.ts +40 -0
  73. package/dist/src/codegen/mcfunction/index.js +606 -0
  74. package/dist/src/codegen/structure/index.d.ts +24 -0
  75. package/dist/src/codegen/structure/index.js +279 -0
  76. package/dist/src/codegen/var-allocator.d.ts +45 -0
  77. package/dist/src/codegen/var-allocator.js +104 -0
  78. package/dist/src/compile.d.ts +37 -0
  79. package/dist/src/compile.js +165 -0
  80. package/dist/src/diagnostics/index.d.ts +44 -0
  81. package/dist/src/diagnostics/index.js +140 -0
  82. package/dist/src/events/types.d.ts +35 -0
  83. package/dist/src/events/types.js +59 -0
  84. package/dist/src/formatter/index.d.ts +1 -0
  85. package/dist/src/formatter/index.js +26 -0
  86. package/dist/src/index.d.ts +22 -0
  87. package/dist/src/index.js +45 -0
  88. package/dist/src/ir/builder.d.ts +33 -0
  89. package/dist/src/ir/builder.js +99 -0
  90. package/dist/src/ir/types.d.ts +132 -0
  91. package/dist/src/ir/types.js +15 -0
  92. package/dist/src/lexer/index.d.ts +37 -0
  93. package/dist/src/lexer/index.js +569 -0
  94. package/dist/src/lowering/index.d.ts +188 -0
  95. package/dist/src/lowering/index.js +3405 -0
  96. package/dist/src/mc-test/client.d.ts +128 -0
  97. package/dist/src/mc-test/client.js +174 -0
  98. package/dist/src/mc-test/runner.d.ts +28 -0
  99. package/dist/src/mc-test/runner.js +151 -0
  100. package/dist/src/mc-test/setup.d.ts +11 -0
  101. package/dist/src/mc-test/setup.js +98 -0
  102. package/dist/src/mc-validator/index.d.ts +17 -0
  103. package/dist/src/mc-validator/index.js +322 -0
  104. package/dist/src/nbt/index.d.ts +86 -0
  105. package/dist/src/nbt/index.js +250 -0
  106. package/dist/src/optimizer/commands.d.ts +38 -0
  107. package/dist/src/optimizer/commands.js +451 -0
  108. package/dist/src/optimizer/dce.d.ts +34 -0
  109. package/dist/src/optimizer/dce.js +639 -0
  110. package/dist/src/optimizer/passes.d.ts +34 -0
  111. package/dist/src/optimizer/passes.js +243 -0
  112. package/dist/src/optimizer/structure.d.ts +9 -0
  113. package/dist/src/optimizer/structure.js +356 -0
  114. package/dist/src/parser/index.d.ts +93 -0
  115. package/dist/src/parser/index.js +1687 -0
  116. package/dist/src/repl.d.ts +16 -0
  117. package/dist/src/repl.js +165 -0
  118. package/dist/src/runtime/index.d.ts +107 -0
  119. package/dist/src/runtime/index.js +1409 -0
  120. package/dist/src/typechecker/index.d.ts +61 -0
  121. package/dist/src/typechecker/index.js +1034 -0
  122. package/dist/src/types/entity-hierarchy.d.ts +29 -0
  123. package/dist/src/types/entity-hierarchy.js +107 -0
  124. package/dist/src2/__tests__/e2e/basic.test.d.ts +8 -0
  125. package/dist/src2/__tests__/e2e/basic.test.js +140 -0
  126. package/dist/src2/__tests__/e2e/macros.test.d.ts +9 -0
  127. package/dist/src2/__tests__/e2e/macros.test.js +182 -0
  128. package/dist/src2/__tests__/e2e/migrate.test.d.ts +13 -0
  129. package/dist/src2/__tests__/e2e/migrate.test.js +2739 -0
  130. package/dist/src2/__tests__/hir/desugar.test.d.ts +1 -0
  131. package/dist/src2/__tests__/hir/desugar.test.js +234 -0
  132. package/dist/src2/__tests__/lir/lower.test.d.ts +1 -0
  133. package/dist/src2/__tests__/lir/lower.test.js +559 -0
  134. package/dist/src2/__tests__/lir/types.test.d.ts +1 -0
  135. package/dist/src2/__tests__/lir/types.test.js +185 -0
  136. package/dist/src2/__tests__/lir/verify.test.d.ts +1 -0
  137. package/dist/src2/__tests__/lir/verify.test.js +221 -0
  138. package/dist/src2/__tests__/mir/arithmetic.test.d.ts +1 -0
  139. package/dist/src2/__tests__/mir/arithmetic.test.js +130 -0
  140. package/dist/src2/__tests__/mir/control-flow.test.d.ts +1 -0
  141. package/dist/src2/__tests__/mir/control-flow.test.js +205 -0
  142. package/dist/src2/__tests__/mir/verify.test.d.ts +1 -0
  143. package/dist/src2/__tests__/mir/verify.test.js +223 -0
  144. package/dist/src2/__tests__/optimizer/block_merge.test.d.ts +1 -0
  145. package/dist/src2/__tests__/optimizer/block_merge.test.js +78 -0
  146. package/dist/src2/__tests__/optimizer/branch_simplify.test.d.ts +1 -0
  147. package/dist/src2/__tests__/optimizer/branch_simplify.test.js +58 -0
  148. package/dist/src2/__tests__/optimizer/constant_fold.test.d.ts +1 -0
  149. package/dist/src2/__tests__/optimizer/constant_fold.test.js +131 -0
  150. package/dist/src2/__tests__/optimizer/copy_prop.test.d.ts +1 -0
  151. package/dist/src2/__tests__/optimizer/copy_prop.test.js +91 -0
  152. package/dist/src2/__tests__/optimizer/dce.test.d.ts +1 -0
  153. package/dist/src2/__tests__/optimizer/dce.test.js +76 -0
  154. package/dist/src2/__tests__/optimizer/pipeline.test.d.ts +1 -0
  155. package/dist/src2/__tests__/optimizer/pipeline.test.js +102 -0
  156. package/dist/src2/emit/compile.d.ts +19 -0
  157. package/dist/src2/emit/compile.js +80 -0
  158. package/dist/src2/emit/index.d.ts +17 -0
  159. package/dist/src2/emit/index.js +172 -0
  160. package/dist/src2/hir/lower.d.ts +15 -0
  161. package/dist/src2/hir/lower.js +378 -0
  162. package/dist/src2/hir/types.d.ts +373 -0
  163. package/dist/src2/hir/types.js +16 -0
  164. package/dist/src2/lir/lower.d.ts +15 -0
  165. package/dist/src2/lir/lower.js +453 -0
  166. package/dist/src2/lir/types.d.ts +136 -0
  167. package/dist/src2/lir/types.js +11 -0
  168. package/dist/src2/lir/verify.d.ts +14 -0
  169. package/dist/src2/lir/verify.js +113 -0
  170. package/dist/src2/mir/lower.d.ts +9 -0
  171. package/dist/src2/mir/lower.js +1030 -0
  172. package/dist/src2/mir/macro.d.ts +22 -0
  173. package/dist/src2/mir/macro.js +168 -0
  174. package/dist/src2/mir/types.d.ts +183 -0
  175. package/dist/src2/mir/types.js +11 -0
  176. package/dist/src2/mir/verify.d.ts +16 -0
  177. package/dist/src2/mir/verify.js +216 -0
  178. package/dist/src2/optimizer/block_merge.d.ts +12 -0
  179. package/dist/src2/optimizer/block_merge.js +84 -0
  180. package/dist/src2/optimizer/branch_simplify.d.ts +9 -0
  181. package/dist/src2/optimizer/branch_simplify.js +28 -0
  182. package/dist/src2/optimizer/constant_fold.d.ts +10 -0
  183. package/dist/src2/optimizer/constant_fold.js +85 -0
  184. package/dist/src2/optimizer/copy_prop.d.ts +9 -0
  185. package/dist/src2/optimizer/copy_prop.js +113 -0
  186. package/dist/src2/optimizer/dce.d.ts +8 -0
  187. package/dist/src2/optimizer/dce.js +155 -0
  188. package/dist/src2/optimizer/pipeline.d.ts +10 -0
  189. package/dist/src2/optimizer/pipeline.js +42 -0
  190. package/dist/tsconfig.tsbuildinfo +1 -0
  191. package/docs/compiler-pipeline-redesign.md +2243 -0
  192. package/docs/optimization-ideas.md +1076 -0
  193. package/editors/vscode/package-lock.json +3 -3
  194. package/editors/vscode/package.json +1 -1
  195. package/jest.config.js +1 -1
  196. package/package.json +6 -5
  197. package/scripts/postbuild.js +15 -0
  198. package/src/__tests__/cli.test.ts +8 -220
  199. package/src/__tests__/dce.test.ts +11 -56
  200. package/src/__tests__/diagnostics.test.ts +59 -38
  201. package/src/__tests__/mc-integration.test.ts +1 -2
  202. package/src/ast/types.ts +6 -1
  203. package/src/cli.ts +29 -156
  204. package/src/compile.ts +6 -162
  205. package/src/index.ts +14 -178
  206. package/src/mc-test/runner.ts +4 -3
  207. package/src/parser/index.ts +1 -1
  208. package/src/repl.ts +1 -1
  209. package/src/runtime/index.ts +1 -1
  210. package/src2/__tests__/e2e/basic.test.ts +154 -0
  211. package/src2/__tests__/e2e/macros.test.ts +199 -0
  212. package/src2/__tests__/e2e/migrate.test.ts +3008 -0
  213. package/src2/__tests__/hir/desugar.test.ts +263 -0
  214. package/src2/__tests__/lir/lower.test.ts +619 -0
  215. package/src2/__tests__/lir/types.test.ts +207 -0
  216. package/src2/__tests__/lir/verify.test.ts +249 -0
  217. package/src2/__tests__/mir/arithmetic.test.ts +156 -0
  218. package/src2/__tests__/mir/control-flow.test.ts +242 -0
  219. package/src2/__tests__/mir/verify.test.ts +254 -0
  220. package/src2/__tests__/optimizer/block_merge.test.ts +84 -0
  221. package/src2/__tests__/optimizer/branch_simplify.test.ts +64 -0
  222. package/src2/__tests__/optimizer/constant_fold.test.ts +145 -0
  223. package/src2/__tests__/optimizer/copy_prop.test.ts +99 -0
  224. package/src2/__tests__/optimizer/dce.test.ts +83 -0
  225. package/src2/__tests__/optimizer/pipeline.test.ts +116 -0
  226. package/src2/emit/compile.ts +99 -0
  227. package/src2/emit/index.ts +222 -0
  228. package/src2/hir/lower.ts +428 -0
  229. package/src2/hir/types.ts +216 -0
  230. package/src2/lir/lower.ts +556 -0
  231. package/src2/lir/types.ts +109 -0
  232. package/src2/lir/verify.ts +129 -0
  233. package/src2/mir/lower.ts +1160 -0
  234. package/src2/mir/macro.ts +167 -0
  235. package/src2/mir/types.ts +106 -0
  236. package/src2/mir/verify.ts +218 -0
  237. package/src2/optimizer/block_merge.ts +93 -0
  238. package/src2/optimizer/branch_simplify.ts +27 -0
  239. package/src2/optimizer/constant_fold.ts +88 -0
  240. package/src2/optimizer/copy_prop.ts +106 -0
  241. package/src2/optimizer/dce.ts +133 -0
  242. package/src2/optimizer/pipeline.ts +44 -0
  243. package/tsconfig.json +2 -2
  244. package/src/__tests__/codegen.test.ts +0 -161
  245. package/src/__tests__/e2e.test.ts +0 -2039
  246. package/src/__tests__/entity-types.test.ts +0 -236
  247. package/src/__tests__/lowering.test.ts +0 -1185
  248. package/src/__tests__/macro.test.ts +0 -343
  249. package/src/__tests__/nbt.test.ts +0 -58
  250. package/src/__tests__/optimizer-advanced.test.ts +0 -144
  251. package/src/__tests__/optimizer.test.ts +0 -162
  252. package/src/__tests__/runtime.test.ts +0 -305
  253. package/src/__tests__/stdlib-advanced.test.ts +0 -379
  254. package/src/__tests__/stdlib-bigint.test.ts +0 -427
  255. package/src/__tests__/stdlib-math.test.ts +0 -374
  256. package/src/__tests__/stdlib-vec.test.ts +0 -259
  257. package/src/__tests__/structure-optimizer.test.ts +0 -38
  258. package/src/__tests__/var-allocator.test.ts +0 -75
  259. package/src/codegen/cmdblock/index.ts +0 -63
  260. package/src/codegen/mcfunction/index.ts +0 -662
  261. package/src/codegen/structure/index.ts +0 -346
  262. package/src/codegen/var-allocator.ts +0 -104
  263. package/src/ir/builder.ts +0 -116
  264. package/src/ir/types.ts +0 -134
  265. package/src/lowering/index.ts +0 -3876
  266. package/src/optimizer/commands.ts +0 -534
  267. package/src/optimizer/dce.ts +0 -679
  268. package/src/optimizer/passes.ts +0 -250
  269. package/src/optimizer/structure.ts +0 -450
@@ -1,379 +0,0 @@
1
- /**
2
- * stdlib/advanced.mcrs — runtime behavioural tests
3
- */
4
-
5
- import * as fs from 'fs'
6
- import * as path from 'path'
7
- import { compile } from '../compile'
8
- import { MCRuntime } from '../runtime'
9
-
10
- const MATH_SRC = fs.readFileSync(path.join(__dirname, '../../src/stdlib/math.mcrs'), 'utf-8')
11
- const ADV_SRC = fs.readFileSync(path.join(__dirname, '../../src/stdlib/advanced.mcrs'), 'utf-8')
12
-
13
- function run(driver: string): MCRuntime {
14
- const result = compile(driver, {
15
- namespace: 'advtest',
16
- librarySources: [MATH_SRC, ADV_SRC],
17
- })
18
- if (!result.success) throw new Error(result.error?.message ?? 'compile failed')
19
- const rt = new MCRuntime('advtest')
20
- for (const file of result.files ?? []) {
21
- if (!file.path.endsWith('.mcfunction')) continue
22
- const match = file.path.match(/data\/([^/]+)\/function\/(.+)\.mcfunction$/)
23
- if (!match) continue
24
- rt.loadFunction(`${match[1]}:${match[2]}`, file.content.split('\n'))
25
- }
26
- rt.load()
27
- return rt
28
- }
29
-
30
- function scoreOf(rt: MCRuntime, key: string): number {
31
- return rt.getScore('out', `advtest.${key}`)
32
- }
33
-
34
- // ─── fib ─────────────────────────────────────────────────────────────────────
35
-
36
- describe('fib', () => {
37
- it.each([
38
- [0, 0],
39
- [1, 1],
40
- [2, 1],
41
- [5, 5],
42
- [10, 55],
43
- [20, 6765],
44
- ])('fib(%d) == %d', (n, expected) => {
45
- const rt = run(`fn test() { scoreboard_set("out", "r", fib(${n})); }`)
46
- rt.execFunction('test')
47
- expect(scoreOf(rt, 'r')).toBe(expected)
48
- })
49
- })
50
-
51
- // ─── is_prime ─────────────────────────────────────────────────────────────────
52
-
53
- describe('is_prime', () => {
54
- it.each([
55
- [0, 0], [1, 0], [2, 1], [3, 1], [4, 0],
56
- [7, 1], [9, 0], [11, 1], [97, 1], [100, 0],
57
- ])('is_prime(%d) == %d', (n, expected) => {
58
- const rt = run(`fn test() { scoreboard_set("out", "r", is_prime(${n})); }`)
59
- rt.execFunction('test')
60
- expect(scoreOf(rt, 'r')).toBe(expected)
61
- })
62
- })
63
-
64
- // ─── collatz_steps ───────────────────────────────────────────────────────────
65
-
66
- describe('collatz_steps', () => {
67
- it.each([
68
- [1, 0],
69
- [2, 1],
70
- [4, 2],
71
- [6, 8],
72
- [27, 111],
73
- ])('collatz_steps(%d) == %d', (n, expected) => {
74
- const rt = run(`fn test() { scoreboard_set("out", "r", collatz_steps(${n})); }`)
75
- rt.execFunction('test')
76
- expect(scoreOf(rt, 'r')).toBe(expected)
77
- })
78
- })
79
-
80
- // ─── digit helpers ───────────────────────────────────────────────────────────
81
-
82
- describe('digit_sum', () => {
83
- it.each([
84
- [0, 0], [1, 1], [9, 9], [123, 6], [999, 27], [-42, 6],
85
- ])('digit_sum(%d) == %d', (n, expected) => {
86
- const rt = run(`fn test() { scoreboard_set("out", "r", digit_sum(${n})); }`)
87
- rt.execFunction('test')
88
- expect(scoreOf(rt, 'r')).toBe(expected)
89
- })
90
- })
91
-
92
- describe('count_digits', () => {
93
- it.each([
94
- [0, 1], [9, 1], [10, 2], [100, 3], [9999, 4],
95
- ])('count_digits(%d) == %d', (n, expected) => {
96
- const rt = run(`fn test() { scoreboard_set("out", "r", count_digits(${n})); }`)
97
- rt.execFunction('test')
98
- expect(scoreOf(rt, 'r')).toBe(expected)
99
- })
100
- })
101
-
102
- describe('reverse_int', () => {
103
- it.each([
104
- [12345, 54321],
105
- [100, 1],
106
- [7, 7],
107
- ])('reverse_int(%d) == %d', (n, expected) => {
108
- const rt = run(`fn test() { scoreboard_set("out", "r", reverse_int(${n})); }`)
109
- rt.execFunction('test')
110
- expect(scoreOf(rt, 'r')).toBe(expected)
111
- })
112
- })
113
-
114
- // ─── mod_pow ─────────────────────────────────────────────────────────────────
115
-
116
- describe('mod_pow', () => {
117
- it.each([
118
- [2, 10, 1000, 24], // 2^10 = 1024, 1024 mod 1000 = 24
119
- [3, 4, 100, 81], // 3^4 = 81
120
- [2, 0, 10, 1], // any^0 = 1
121
- [5, 1, 100, 5],
122
- [7, 3, 13, 343 % 13], // 343 mod 13 = 5
123
- ])('mod_pow(%d,%d,%d) == %d', (b, e, m, expected) => {
124
- const rt = run(`fn test() { scoreboard_set("out", "r", mod_pow(${b},${e},${m})); }`)
125
- rt.execFunction('test')
126
- expect(scoreOf(rt, 'r')).toBe(expected)
127
- })
128
- })
129
-
130
- // ─── hash_int ────────────────────────────────────────────────────────────────
131
-
132
- describe('hash_int', () => {
133
- it('is deterministic', () => {
134
- const rt1 = run(`fn test() { scoreboard_set("out", "r", hash_int(42)); }`)
135
- rt1.execFunction('test')
136
- const rt2 = run(`fn test() { scoreboard_set("out", "r", hash_int(42)); }`)
137
- rt2.execFunction('test')
138
- expect(scoreOf(rt1, 'r')).toBe(scoreOf(rt2, 'r'))
139
- })
140
-
141
- it('different inputs → different outputs', () => {
142
- const rt = run(`fn test() {
143
- scoreboard_set("out", "a", hash_int(0));
144
- scoreboard_set("out", "b", hash_int(1));
145
- scoreboard_set("out", "c", hash_int(1000));
146
- }`)
147
- rt.execFunction('test')
148
- const a = scoreOf(rt, 'a')
149
- const b = scoreOf(rt, 'b')
150
- const c = scoreOf(rt, 'c')
151
- expect(a).not.toBe(b)
152
- expect(b).not.toBe(c)
153
- })
154
-
155
- it('output is non-negative', () => {
156
- for (const n of [-1000, -1, 0, 1, 999, 46340]) {
157
- const rt = run(`fn test() { scoreboard_set("out", "r", hash_int(${n})); }`)
158
- rt.execFunction('test')
159
- expect(scoreOf(rt, 'r')).toBeGreaterThanOrEqual(0)
160
- }
161
- })
162
- })
163
-
164
- // ─── noise1d ─────────────────────────────────────────────────────────────────
165
-
166
- describe('noise1d', () => {
167
- it('output in [0, 999]', () => {
168
- for (const x of [0, 100, 500, 999, 1000, 2000]) {
169
- const rt = run(`fn test() { scoreboard_set("out", "r", noise1d(${x})); }`)
170
- rt.execFunction('test')
171
- const v = scoreOf(rt, 'r')
172
- expect(v).toBeGreaterThanOrEqual(0)
173
- expect(v).toBeLessThan(1000)
174
- }
175
- })
176
-
177
- it('is deterministic', () => {
178
- const rt1 = run(`fn test() { scoreboard_set("out", "r", noise1d(1234)); }`)
179
- rt1.execFunction('test')
180
- const rt2 = run(`fn test() { scoreboard_set("out", "r", noise1d(1234)); }`)
181
- rt2.execFunction('test')
182
- expect(scoreOf(rt1, 'r')).toBe(scoreOf(rt2, 'r'))
183
- })
184
- })
185
-
186
- // ─── bezier ──────────────────────────────────────────────────────────────────
187
-
188
- describe('bezier_quad', () => {
189
- it.each([
190
- [0, 500, 1000, 0, 0], // t=0: start
191
- [0, 500, 1000, 1000, 1000], // t=1000: end
192
- [0, 1000, 0, 500, 500], // arch midpoint
193
- ])('bezier_quad(%d,%d,%d,t=%d) == %d', (p0, p1, p2, t, expected) => {
194
- const rt = run(`fn test() { scoreboard_set("out", "r", bezier_quad(${p0},${p1},${p2},${t})); }`)
195
- rt.execFunction('test')
196
- expect(scoreOf(rt, 'r')).toBe(expected)
197
- })
198
- })
199
-
200
- describe('bezier_cubic', () => {
201
- it('t=0: start', () => {
202
- const rt = run(`fn test() { scoreboard_set("out", "r", bezier_cubic(0,333,667,1000,0)); }`)
203
- rt.execFunction('test')
204
- expect(scoreOf(rt, 'r')).toBe(0)
205
- })
206
- it('t=1000: end', () => {
207
- const rt = run(`fn test() { scoreboard_set("out", "r", bezier_cubic(0,333,667,1000,1000)); }`)
208
- rt.execFunction('test')
209
- expect(scoreOf(rt, 'r')).toBe(1000)
210
- })
211
- })
212
-
213
- // ─── mandelbrot_iter ─────────────────────────────────────────────────────────
214
-
215
- describe('mandelbrot_iter', () => {
216
- // c = 0 + 0i → always in set (z always 0)
217
- it('origin (0,0) stays bounded for max_iter=20', () => {
218
- const rt = run(`fn test() { scoreboard_set("out", "r", mandelbrot_iter(0,0,20)); }`)
219
- rt.execFunction('test')
220
- expect(scoreOf(rt, 'r')).toBe(20)
221
- })
222
-
223
- // c = 2 + 0i → escapes immediately (|z1| = 2, |z2| = 6 > 2)
224
- it('c=(2000,0) escapes quickly', () => {
225
- const rt = run(`fn test() { scoreboard_set("out", "r", mandelbrot_iter(2000,0,50)); }`)
226
- rt.execFunction('test')
227
- expect(scoreOf(rt, 'r')).toBeLessThan(5)
228
- })
229
-
230
- // c = -1 + 0i → stays bounded (period-2 cycle: 0 → -1 → 0 → ...)
231
- it('c=(-1000,0) is in the set', () => {
232
- const rt = run(`fn test() { scoreboard_set("out", "r", mandelbrot_iter(-1000,0,50)); }`)
233
- rt.execFunction('test')
234
- expect(scoreOf(rt, 'r')).toBe(50)
235
- })
236
-
237
- // c = 0.5 + 0.5i → escapes
238
- it('c=(500,500) escapes before max_iter=100', () => {
239
- const rt = run(`fn test() { scoreboard_set("out", "r", mandelbrot_iter(500,500,100)); }`)
240
- rt.execFunction('test')
241
- expect(scoreOf(rt, 'r')).toBeLessThan(100)
242
- })
243
- })
244
-
245
- // ─── julia_iter ──────────────────────────────────────────────────────────────
246
-
247
- describe('julia_iter', () => {
248
- it('z0=(0,0) with c=(0,0) stays bounded', () => {
249
- const rt = run(`fn test() { scoreboard_set("out", "r", julia_iter(0,0,0,0,20)); }`)
250
- rt.execFunction('test')
251
- expect(scoreOf(rt, 'r')).toBe(20)
252
- })
253
-
254
- it('z0=(3000,0) escapes immediately', () => {
255
- const rt = run(`fn test() { scoreboard_set("out", "r", julia_iter(3000,0,0,0,20)); }`)
256
- rt.execFunction('test')
257
- expect(scoreOf(rt, 'r')).toBe(0)
258
- })
259
- })
260
-
261
- // ─── Experiment: cross-stdlib (vec + math + advanced) ────────────────────────
262
-
263
- const VEC_SRC = fs.readFileSync(path.join(__dirname, '../../src/stdlib/vec.mcrs'), 'utf-8')
264
-
265
- function runAll(driver: string): MCRuntime {
266
- const result = compile(driver, {
267
- namespace: 'exptest',
268
- librarySources: [MATH_SRC, VEC_SRC, ADV_SRC],
269
- })
270
- if (!result.success) throw new Error(result.error?.message ?? 'compile failed: ' + result.error?.message)
271
- const rt = new MCRuntime('exptest')
272
- for (const file of result.files ?? []) {
273
- if (!file.path.endsWith('.mcfunction')) continue
274
- const match = file.path.match(/data\/([^/]+)\/function\/(.+)\.mcfunction$/)
275
- if (!match) continue
276
- rt.loadFunction(`${match[1]}:${match[2]}`, file.content.split('\n'))
277
- }
278
- rt.load()
279
- return rt
280
- }
281
-
282
- function exp(rt: MCRuntime, key: string): number {
283
- return rt.getScore('out', `exptest.${key}`) ?? 0
284
- }
285
-
286
- describe('newton_sqrt', () => {
287
- it('newton_sqrt(25) == 5', () => {
288
- const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(25)); }`)
289
- rt.execFunction('test')
290
- expect(exp(rt, 'r')).toBe(5)
291
- })
292
- it('newton_sqrt(100) == 10', () => {
293
- const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(100)); }`)
294
- rt.execFunction('test')
295
- expect(exp(rt, 'r')).toBe(10)
296
- })
297
- it('newton_sqrt(2) == 1', () => {
298
- const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(2)); }`)
299
- rt.execFunction('test')
300
- expect(exp(rt, 'r')).toBe(1)
301
- })
302
- it('newton_sqrt(0) == 0', () => {
303
- const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(0)); }`)
304
- rt.execFunction('test')
305
- expect(exp(rt, 'r')).toBe(0)
306
- })
307
- })
308
-
309
- describe('digital_root', () => {
310
- it('digital_root(493) == 7', () => {
311
- const rt = runAll(`fn test() { scoreboard_set("out", "r", digital_root(493)); }`)
312
- rt.execFunction('test')
313
- expect(exp(rt, 'r')).toBe(7)
314
- })
315
- it('digital_root(9) == 9', () => {
316
- const rt = runAll(`fn test() { scoreboard_set("out", "r", digital_root(9)); }`)
317
- rt.execFunction('test')
318
- expect(exp(rt, 'r')).toBe(9)
319
- })
320
- it('digital_root(0) == 0', () => {
321
- const rt = runAll(`fn test() { scoreboard_set("out", "r", digital_root(0)); }`)
322
- rt.execFunction('test')
323
- expect(exp(rt, 'r')).toBe(0)
324
- })
325
- })
326
-
327
- describe('spiral_ring', () => {
328
- it('spiral_ring(1) == 0', () => {
329
- const rt = runAll(`fn test() { scoreboard_set("out", "r", spiral_ring(1)); }`)
330
- rt.execFunction('test')
331
- expect(exp(rt, 'r')).toBe(0)
332
- })
333
- it('spiral_ring(9) == 1', () => {
334
- const rt = runAll(`fn test() { scoreboard_set("out", "r", spiral_ring(9)); }`)
335
- rt.execFunction('test')
336
- expect(exp(rt, 'r')).toBe(1)
337
- })
338
- it('spiral_ring(25) == 2', () => {
339
- const rt = runAll(`fn test() { scoreboard_set("out", "r", spiral_ring(25)); }`)
340
- rt.execFunction('test')
341
- expect(exp(rt, 'r')).toBe(2)
342
- })
343
- })
344
-
345
- describe('clamp_circle', () => {
346
- it('point inside: clamp_circle_x(3,4,10) == 3', () => {
347
- const rt = runAll(`fn test() { scoreboard_set("out", "r", clamp_circle_x(3, 4, 10)); }`)
348
- rt.execFunction('test')
349
- expect(exp(rt, 'r')).toBe(3)
350
- })
351
- it('point outside: clamp_circle_x(600,0,500) == 500', () => {
352
- const rt = runAll(`fn test() { scoreboard_set("out", "r", clamp_circle_x(600, 0, 500)); }`)
353
- rt.execFunction('test')
354
- expect(exp(rt, 'r')).toBe(500)
355
- })
356
- it('clamp_circle_y(0,600,500) == 500', () => {
357
- const rt = runAll(`fn test() { scoreboard_set("out", "r", clamp_circle_y(0, 600, 500)); }`)
358
- rt.execFunction('test')
359
- expect(exp(rt, 'r')).toBe(500)
360
- })
361
- })
362
-
363
- describe('angle_between', () => {
364
- it('perpendicular vectors: angle_between(1000,0,0,1000) == 90', () => {
365
- const rt = runAll(`fn test() { scoreboard_set("out", "r", angle_between(1000, 0, 0, 1000)); }`)
366
- rt.execFunction('test')
367
- expect(exp(rt, 'r')).toBe(90)
368
- })
369
- it('parallel vectors: angle_between(1000,0,1000,0) == 0', () => {
370
- const rt = runAll(`fn test() { scoreboard_set("out", "r", angle_between(1000, 0, 1000, 0)); }`)
371
- rt.execFunction('test')
372
- expect(exp(rt, 'r')).toBe(0)
373
- })
374
- it('opposite vectors: angle_between(1000,0,-1000,0) == 180', () => {
375
- const rt = runAll(`fn test() { scoreboard_set("out", "r", angle_between(1000, 0, -1000, 0)); }`)
376
- rt.execFunction('test')
377
- expect(exp(rt, 'r')).toBe(180)
378
- })
379
- })