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
@@ -0,0 +1,374 @@
1
+ "use strict";
2
+ /**
3
+ * stdlib/advanced.mcrs — runtime behavioural tests
4
+ */
5
+ var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
6
+ if (k2 === undefined) k2 = k;
7
+ var desc = Object.getOwnPropertyDescriptor(m, k);
8
+ if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
9
+ desc = { enumerable: true, get: function() { return m[k]; } };
10
+ }
11
+ Object.defineProperty(o, k2, desc);
12
+ }) : (function(o, m, k, k2) {
13
+ if (k2 === undefined) k2 = k;
14
+ o[k2] = m[k];
15
+ }));
16
+ var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
17
+ Object.defineProperty(o, "default", { enumerable: true, value: v });
18
+ }) : function(o, v) {
19
+ o["default"] = v;
20
+ });
21
+ var __importStar = (this && this.__importStar) || (function () {
22
+ var ownKeys = function(o) {
23
+ ownKeys = Object.getOwnPropertyNames || function (o) {
24
+ var ar = [];
25
+ for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
26
+ return ar;
27
+ };
28
+ return ownKeys(o);
29
+ };
30
+ return function (mod) {
31
+ if (mod && mod.__esModule) return mod;
32
+ var result = {};
33
+ if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
34
+ __setModuleDefault(result, mod);
35
+ return result;
36
+ };
37
+ })();
38
+ Object.defineProperty(exports, "__esModule", { value: true });
39
+ const fs = __importStar(require("fs"));
40
+ const path = __importStar(require("path"));
41
+ const compile_1 = require("../compile");
42
+ const runtime_1 = require("../runtime");
43
+ const MATH_SRC = fs.readFileSync(path.join(__dirname, '../../src/stdlib/math.mcrs'), 'utf-8');
44
+ const ADV_SRC = fs.readFileSync(path.join(__dirname, '../../src/stdlib/advanced.mcrs'), 'utf-8');
45
+ function run(driver) {
46
+ const result = (0, compile_1.compile)(driver, {
47
+ namespace: 'advtest',
48
+ librarySources: [MATH_SRC, ADV_SRC],
49
+ });
50
+ const rt = new runtime_1.MCRuntime('advtest');
51
+ for (const file of result.files) {
52
+ if (!file.path.endsWith('.mcfunction'))
53
+ continue;
54
+ const match = file.path.match(/data\/([^/]+)\/function\/(.+)\.mcfunction$/);
55
+ if (!match)
56
+ continue;
57
+ rt.loadFunction(`${match[1]}:${match[2]}`, file.content.split('\n'));
58
+ }
59
+ rt.load();
60
+ return rt;
61
+ }
62
+ function scoreOf(rt, key) {
63
+ return rt.getScore('out', `advtest.${key}`);
64
+ }
65
+ // ─── fib ─────────────────────────────────────────────────────────────────────
66
+ describe('fib', () => {
67
+ it.each([
68
+ [0, 0],
69
+ [1, 1],
70
+ [2, 1],
71
+ [5, 5],
72
+ [10, 55],
73
+ [20, 6765],
74
+ ])('fib(%d) == %d', (n, expected) => {
75
+ const rt = run(`fn test() { scoreboard_set("out", "r", fib(${n})); }`);
76
+ rt.execFunction('test');
77
+ expect(scoreOf(rt, 'r')).toBe(expected);
78
+ });
79
+ });
80
+ // ─── is_prime ─────────────────────────────────────────────────────────────────
81
+ describe('is_prime', () => {
82
+ it.each([
83
+ [0, 0], [1, 0], [2, 1], [3, 1], [4, 0],
84
+ [7, 1], [9, 0], [11, 1], [97, 1], [100, 0],
85
+ ])('is_prime(%d) == %d', (n, expected) => {
86
+ const rt = run(`fn test() { scoreboard_set("out", "r", is_prime(${n})); }`);
87
+ rt.execFunction('test');
88
+ expect(scoreOf(rt, 'r')).toBe(expected);
89
+ });
90
+ });
91
+ // ─── collatz_steps ───────────────────────────────────────────────────────────
92
+ describe('collatz_steps', () => {
93
+ it.each([
94
+ [1, 0],
95
+ [2, 1],
96
+ [4, 2],
97
+ [6, 8],
98
+ [27, 111],
99
+ ])('collatz_steps(%d) == %d', (n, expected) => {
100
+ const rt = run(`fn test() { scoreboard_set("out", "r", collatz_steps(${n})); }`);
101
+ rt.execFunction('test');
102
+ expect(scoreOf(rt, 'r')).toBe(expected);
103
+ });
104
+ });
105
+ // ─── digit helpers ───────────────────────────────────────────────────────────
106
+ describe('digit_sum', () => {
107
+ it.each([
108
+ [0, 0], [1, 1], [9, 9], [123, 6], [999, 27], [-42, 6],
109
+ ])('digit_sum(%d) == %d', (n, expected) => {
110
+ const rt = run(`fn test() { scoreboard_set("out", "r", digit_sum(${n})); }`);
111
+ rt.execFunction('test');
112
+ expect(scoreOf(rt, 'r')).toBe(expected);
113
+ });
114
+ });
115
+ describe('count_digits', () => {
116
+ it.each([
117
+ [0, 1], [9, 1], [10, 2], [100, 3], [9999, 4],
118
+ ])('count_digits(%d) == %d', (n, expected) => {
119
+ const rt = run(`fn test() { scoreboard_set("out", "r", count_digits(${n})); }`);
120
+ rt.execFunction('test');
121
+ expect(scoreOf(rt, 'r')).toBe(expected);
122
+ });
123
+ });
124
+ describe('reverse_int', () => {
125
+ it.each([
126
+ [12345, 54321],
127
+ [100, 1],
128
+ [7, 7],
129
+ ])('reverse_int(%d) == %d', (n, expected) => {
130
+ const rt = run(`fn test() { scoreboard_set("out", "r", reverse_int(${n})); }`);
131
+ rt.execFunction('test');
132
+ expect(scoreOf(rt, 'r')).toBe(expected);
133
+ });
134
+ });
135
+ // ─── mod_pow ─────────────────────────────────────────────────────────────────
136
+ describe('mod_pow', () => {
137
+ it.each([
138
+ [2, 10, 1000, 24], // 2^10 = 1024, 1024 mod 1000 = 24
139
+ [3, 4, 100, 81], // 3^4 = 81
140
+ [2, 0, 10, 1], // any^0 = 1
141
+ [5, 1, 100, 5],
142
+ [7, 3, 13, 343 % 13], // 343 mod 13 = 5
143
+ ])('mod_pow(%d,%d,%d) == %d', (b, e, m, expected) => {
144
+ const rt = run(`fn test() { scoreboard_set("out", "r", mod_pow(${b},${e},${m})); }`);
145
+ rt.execFunction('test');
146
+ expect(scoreOf(rt, 'r')).toBe(expected);
147
+ });
148
+ });
149
+ // ─── hash_int ────────────────────────────────────────────────────────────────
150
+ describe('hash_int', () => {
151
+ it('is deterministic', () => {
152
+ const rt1 = run(`fn test() { scoreboard_set("out", "r", hash_int(42)); }`);
153
+ rt1.execFunction('test');
154
+ const rt2 = run(`fn test() { scoreboard_set("out", "r", hash_int(42)); }`);
155
+ rt2.execFunction('test');
156
+ expect(scoreOf(rt1, 'r')).toBe(scoreOf(rt2, 'r'));
157
+ });
158
+ it('different inputs → different outputs', () => {
159
+ const rt = run(`fn test() {
160
+ scoreboard_set("out", "a", hash_int(0));
161
+ scoreboard_set("out", "b", hash_int(1));
162
+ scoreboard_set("out", "c", hash_int(1000));
163
+ }`);
164
+ rt.execFunction('test');
165
+ const a = scoreOf(rt, 'a');
166
+ const b = scoreOf(rt, 'b');
167
+ const c = scoreOf(rt, 'c');
168
+ expect(a).not.toBe(b);
169
+ expect(b).not.toBe(c);
170
+ });
171
+ it('output is non-negative', () => {
172
+ for (const n of [-1000, -1, 0, 1, 999, 46340]) {
173
+ const rt = run(`fn test() { scoreboard_set("out", "r", hash_int(${n})); }`);
174
+ rt.execFunction('test');
175
+ expect(scoreOf(rt, 'r')).toBeGreaterThanOrEqual(0);
176
+ }
177
+ });
178
+ });
179
+ // ─── noise1d ─────────────────────────────────────────────────────────────────
180
+ describe('noise1d', () => {
181
+ it('output in [0, 999]', () => {
182
+ for (const x of [0, 100, 500, 999, 1000, 2000]) {
183
+ const rt = run(`fn test() { scoreboard_set("out", "r", noise1d(${x})); }`);
184
+ rt.execFunction('test');
185
+ const v = scoreOf(rt, 'r');
186
+ expect(v).toBeGreaterThanOrEqual(0);
187
+ expect(v).toBeLessThan(1000);
188
+ }
189
+ });
190
+ it('is deterministic', () => {
191
+ const rt1 = run(`fn test() { scoreboard_set("out", "r", noise1d(1234)); }`);
192
+ rt1.execFunction('test');
193
+ const rt2 = run(`fn test() { scoreboard_set("out", "r", noise1d(1234)); }`);
194
+ rt2.execFunction('test');
195
+ expect(scoreOf(rt1, 'r')).toBe(scoreOf(rt2, 'r'));
196
+ });
197
+ });
198
+ // ─── bezier ──────────────────────────────────────────────────────────────────
199
+ describe('bezier_quad', () => {
200
+ it.each([
201
+ [0, 500, 1000, 0, 0], // t=0: start
202
+ [0, 500, 1000, 1000, 1000], // t=1000: end
203
+ [0, 1000, 0, 500, 500], // arch midpoint
204
+ ])('bezier_quad(%d,%d,%d,t=%d) == %d', (p0, p1, p2, t, expected) => {
205
+ const rt = run(`fn test() { scoreboard_set("out", "r", bezier_quad(${p0},${p1},${p2},${t})); }`);
206
+ rt.execFunction('test');
207
+ expect(scoreOf(rt, 'r')).toBe(expected);
208
+ });
209
+ });
210
+ describe('bezier_cubic', () => {
211
+ it('t=0: start', () => {
212
+ const rt = run(`fn test() { scoreboard_set("out", "r", bezier_cubic(0,333,667,1000,0)); }`);
213
+ rt.execFunction('test');
214
+ expect(scoreOf(rt, 'r')).toBe(0);
215
+ });
216
+ it('t=1000: end', () => {
217
+ const rt = run(`fn test() { scoreboard_set("out", "r", bezier_cubic(0,333,667,1000,1000)); }`);
218
+ rt.execFunction('test');
219
+ expect(scoreOf(rt, 'r')).toBe(1000);
220
+ });
221
+ });
222
+ // ─── mandelbrot_iter ─────────────────────────────────────────────────────────
223
+ describe('mandelbrot_iter', () => {
224
+ // c = 0 + 0i → always in set (z always 0)
225
+ it('origin (0,0) stays bounded for max_iter=20', () => {
226
+ const rt = run(`fn test() { scoreboard_set("out", "r", mandelbrot_iter(0,0,20)); }`);
227
+ rt.execFunction('test');
228
+ expect(scoreOf(rt, 'r')).toBe(20);
229
+ });
230
+ // c = 2 + 0i → escapes immediately (|z1| = 2, |z2| = 6 > 2)
231
+ it('c=(2000,0) escapes quickly', () => {
232
+ const rt = run(`fn test() { scoreboard_set("out", "r", mandelbrot_iter(2000,0,50)); }`);
233
+ rt.execFunction('test');
234
+ expect(scoreOf(rt, 'r')).toBeLessThan(5);
235
+ });
236
+ // c = -1 + 0i → stays bounded (period-2 cycle: 0 → -1 → 0 → ...)
237
+ it('c=(-1000,0) is in the set', () => {
238
+ const rt = run(`fn test() { scoreboard_set("out", "r", mandelbrot_iter(-1000,0,50)); }`);
239
+ rt.execFunction('test');
240
+ expect(scoreOf(rt, 'r')).toBe(50);
241
+ });
242
+ // c = 0.5 + 0.5i → escapes
243
+ it('c=(500,500) escapes before max_iter=100', () => {
244
+ const rt = run(`fn test() { scoreboard_set("out", "r", mandelbrot_iter(500,500,100)); }`);
245
+ rt.execFunction('test');
246
+ expect(scoreOf(rt, 'r')).toBeLessThan(100);
247
+ });
248
+ });
249
+ // ─── julia_iter ──────────────────────────────────────────────────────────────
250
+ describe('julia_iter', () => {
251
+ it('z0=(0,0) with c=(0,0) stays bounded', () => {
252
+ const rt = run(`fn test() { scoreboard_set("out", "r", julia_iter(0,0,0,0,20)); }`);
253
+ rt.execFunction('test');
254
+ expect(scoreOf(rt, 'r')).toBe(20);
255
+ });
256
+ it('z0=(3000,0) escapes immediately', () => {
257
+ const rt = run(`fn test() { scoreboard_set("out", "r", julia_iter(3000,0,0,0,20)); }`);
258
+ rt.execFunction('test');
259
+ expect(scoreOf(rt, 'r')).toBe(0);
260
+ });
261
+ });
262
+ // ─── Experiment: cross-stdlib (vec + math + advanced) ────────────────────────
263
+ const VEC_SRC = fs.readFileSync(path.join(__dirname, '../../src/stdlib/vec.mcrs'), 'utf-8');
264
+ function runAll(driver) {
265
+ const result = (0, compile_1.compile)(driver, {
266
+ namespace: 'exptest',
267
+ librarySources: [MATH_SRC, VEC_SRC, ADV_SRC],
268
+ });
269
+ const rt = new runtime_1.MCRuntime('exptest');
270
+ for (const file of result.files) {
271
+ if (!file.path.endsWith('.mcfunction'))
272
+ continue;
273
+ const match = file.path.match(/data\/([^/]+)\/function\/(.+)\.mcfunction$/);
274
+ if (!match)
275
+ continue;
276
+ rt.loadFunction(`${match[1]}:${match[2]}`, file.content.split('\n'));
277
+ }
278
+ rt.load();
279
+ return rt;
280
+ }
281
+ function exp(rt, key) {
282
+ return rt.getScore('out', `exptest.${key}`) ?? 0;
283
+ }
284
+ describe('newton_sqrt', () => {
285
+ it('newton_sqrt(25) == 5', () => {
286
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(25)); }`);
287
+ rt.execFunction('test');
288
+ expect(exp(rt, 'r')).toBe(5);
289
+ });
290
+ it('newton_sqrt(100) == 10', () => {
291
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(100)); }`);
292
+ rt.execFunction('test');
293
+ expect(exp(rt, 'r')).toBe(10);
294
+ });
295
+ it('newton_sqrt(2) == 1', () => {
296
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(2)); }`);
297
+ rt.execFunction('test');
298
+ expect(exp(rt, 'r')).toBe(1);
299
+ });
300
+ it('newton_sqrt(0) == 0', () => {
301
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(0)); }`);
302
+ rt.execFunction('test');
303
+ expect(exp(rt, 'r')).toBe(0);
304
+ });
305
+ });
306
+ describe('digital_root', () => {
307
+ it('digital_root(493) == 7', () => {
308
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", digital_root(493)); }`);
309
+ rt.execFunction('test');
310
+ expect(exp(rt, 'r')).toBe(7);
311
+ });
312
+ it('digital_root(9) == 9', () => {
313
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", digital_root(9)); }`);
314
+ rt.execFunction('test');
315
+ expect(exp(rt, 'r')).toBe(9);
316
+ });
317
+ it('digital_root(0) == 0', () => {
318
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", digital_root(0)); }`);
319
+ rt.execFunction('test');
320
+ expect(exp(rt, 'r')).toBe(0);
321
+ });
322
+ });
323
+ describe('spiral_ring', () => {
324
+ it('spiral_ring(1) == 0', () => {
325
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", spiral_ring(1)); }`);
326
+ rt.execFunction('test');
327
+ expect(exp(rt, 'r')).toBe(0);
328
+ });
329
+ it('spiral_ring(9) == 1', () => {
330
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", spiral_ring(9)); }`);
331
+ rt.execFunction('test');
332
+ expect(exp(rt, 'r')).toBe(1);
333
+ });
334
+ it('spiral_ring(25) == 2', () => {
335
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", spiral_ring(25)); }`);
336
+ rt.execFunction('test');
337
+ expect(exp(rt, 'r')).toBe(2);
338
+ });
339
+ });
340
+ describe('clamp_circle', () => {
341
+ it('point inside: clamp_circle_x(3,4,10) == 3', () => {
342
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", clamp_circle_x(3, 4, 10)); }`);
343
+ rt.execFunction('test');
344
+ expect(exp(rt, 'r')).toBe(3);
345
+ });
346
+ it('point outside: clamp_circle_x(600,0,500) == 500', () => {
347
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", clamp_circle_x(600, 0, 500)); }`);
348
+ rt.execFunction('test');
349
+ expect(exp(rt, 'r')).toBe(500);
350
+ });
351
+ it('clamp_circle_y(0,600,500) == 500', () => {
352
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", clamp_circle_y(0, 600, 500)); }`);
353
+ rt.execFunction('test');
354
+ expect(exp(rt, 'r')).toBe(500);
355
+ });
356
+ });
357
+ describe('angle_between', () => {
358
+ it('perpendicular vectors: angle_between(1000,0,0,1000) == 90', () => {
359
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", angle_between(1000, 0, 0, 1000)); }`);
360
+ rt.execFunction('test');
361
+ expect(exp(rt, 'r')).toBe(90);
362
+ });
363
+ it('parallel vectors: angle_between(1000,0,1000,0) == 0', () => {
364
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", angle_between(1000, 0, 1000, 0)); }`);
365
+ rt.execFunction('test');
366
+ expect(exp(rt, 'r')).toBe(0);
367
+ });
368
+ it('opposite vectors: angle_between(1000,0,-1000,0) == 180', () => {
369
+ const rt = runAll(`fn test() { scoreboard_set("out", "r", angle_between(1000, 0, -1000, 0)); }`);
370
+ rt.execFunction('test');
371
+ expect(exp(rt, 'r')).toBe(180);
372
+ });
373
+ });
374
+ //# sourceMappingURL=stdlib-advanced.test.js.map
@@ -0,0 +1,7 @@
1
+ /**
2
+ * stdlib/bigint.mcrs — runtime behavioural tests
3
+ *
4
+ * Tests basic BigInt operations (base 10000, 8 limbs = 32 decimal digits).
5
+ * All arithmetic validated against known values.
6
+ */
7
+ export {};