redscript-mc 1.2.26 → 1.2.27

package/README.md

@@ -2,14 +2,14 @@
 
 <img src="./logo.png" alt="RedScript Logo" width="64" />
 
-<img src="https://img.shields.io/badge/RedScript-1.2-red?style=for-the-badge&logo=minecraft&logoColor=white" alt="RedScript" />
+<img src="https://img.shields.io/badge/RedScript-1.2.26-red?style=for-the-badge&logo=minecraft&logoColor=white" alt="RedScript" />
 
 **A typed scripting language that compiles to Minecraft datapacks.**
 
 Write clean game logic. RedScript handles the scoreboard spaghetti.
 
 [![CI](https://github.com/bkmashiro/redscript/actions/workflows/ci.yml/badge.svg?branch=main)](https://github.com/bkmashiro/redscript/actions/workflows/ci.yml)
-[![Tests](https://img.shields.io/badge/tests-573%2B%20passing-brightgreen)](https://github.com/bkmashiro/redscript)
+[![Tests](https://img.shields.io/badge/tests-917%20passing-brightgreen)](https://github.com/bkmashiro/redscript)
 [![npm](https://img.shields.io/npm/v/redscript-mc?color=cb3837)](https://www.npmjs.com/package/redscript-mc)
 [![npm downloads](https://img.shields.io/npm/dm/redscript-mc?color=cb3837)](https://www.npmjs.com/package/redscript-mc)
 [![VSCode](https://img.shields.io/badge/VSCode-Extension-007ACC?logo=visualstudiocode)](https://marketplace.visualstudio.com/items?itemName=bkmashiro.redscript-vscode)
@@ -76,7 +76,18 @@ fn stop() {
 
 ---
 
-### What's New in v1.2
+### What's New in v1.2.26
+
+- **Math stdlib** (`math.mcrs`): 18 fixed-point functions — `abs`, `sign`, `min`, `max`, `clamp`, `lerp`, `isqrt`, `sqrt_fixed`, `pow_int`, `gcd`, `lcm`, `sin_fixed`, `cos_fixed`, `map`, `ceil_div`, `log2_int`, `mulfix`, `divfix`, `smoothstep`, `smootherstep`
+- **Vector stdlib** (`vec.mcrs`): 2D and 3D geometry — dot/cross products, `length2d_fixed`, `atan2_fixed` (binary search, O(log 46)), `normalize2d`, `rotate2d`, `lerp2d`, full 3D cross product
+- **Advanced stdlib** (`advanced.mcrs`): number theory (`fib`, `is_prime`, `collatz_steps`, `gcd`, `mod_pow`), hash/noise (`hash_int` splitmix32, `noise1d`), curves (`bezier_quad`), fractals (`mandelbrot_iter`, `julia_iter`), geometry experiments
+- **BigInt** (`bigint.mcrs`): arbitrary precision integers — base 10,000 × 8 limbs = up to 32 decimal digits; `bigint_add/sub/compare/mul/fib` running on MC scoreboard + NBT storage
+- **`module library;` pragma**: declare a file as a library; functions are tree-shaken out unless called — stdlib never bloats your pack
+- **`storage_get_int` / `storage_set_int` builtins**: dynamic NBT int array read/write with runtime indices via MC 1.20.2 macro sub-functions
+- **`@require_on_load(fn)` decorator**: declarative load-time dependency tracking for stdlib initializers (sin/cos table setup etc.)
+- **Compiler fixes**: `isqrt` large-number convergence, optimizer copy propagation alias invalidation, cross-function variable collision, MCRuntime array-index regex
+
+### What's New in v1.2.25
 
 - `impl` blocks and methods for object-style APIs on structs
 - `is` type narrowing for safer entity checks
@@ -275,14 +286,48 @@ redscript validate <file>      Validate MC commands
 
 ### Standard Library
 
+All stdlib files use `module library;` — only the functions you actually call are compiled in.
+
 ```rs
-import "stdlib/math.mcrs"       // abs, min, max, clamp
+import "stdlib/math.mcrs"       // abs, sign, min, max, clamp, lerp, isqrt, sqrt_fixed,
+                                // pow_int, gcd, lcm, sin_fixed, cos_fixed, map, ceil_div,
+                                // log2_int, mulfix, divfix, smoothstep, smootherstep
+
+import "stdlib/vec.mcrs"        // dot2d, cross2d, length2d_fixed, distance2d_fixed,
+                                // manhattan, chebyshev, atan2_fixed, normalize2d_x/y,
+                                // rotate2d_x/y, lerp2d_x/y, dot3d, cross3d_x/y/z,
+                                // length3d_fixed
+
+import "stdlib/advanced.mcrs"   // fib, is_prime, collatz_steps, digit_sum, reverse_int,
+                                // mod_pow, hash_int, noise1d, bezier_quad,
+                                // mandelbrot_iter, julia_iter, angle_between,
+                                // clamp_circle_x/y, newton_sqrt, digital_root
+
+import "stdlib/bigint.mcrs"     // bigint_init, bigint_from_int_a/b, bigint_add/sub/mul,
+                                // bigint_compare, bigint_mul_small, bigint_fib
+                                // — up to 32 decimal digits, runs on MC scoreboard
+
 import "stdlib/player.mcrs"     // is_alive, in_range, get_health
 import "stdlib/timer.mcrs"      // start_timer, tick_timer, has_elapsed
 import "stdlib/cooldown.mcrs"   // set_cooldown, check_cooldown
 import "stdlib/mobs.mcrs"       // ZOMBIE, SKELETON, CREEPER, ... (60+ constants)
 ```
 
+**Example — computing Fibonacci(50) in-game:**
+
+```rs
+import "stdlib/bigint.mcrs"
+
+fn show_fib() {
+    bigint_fib(50);
+    // F(50) = 12,586,269,025 — too big for int32, stored across 3 limbs:
+    let l0: int = bigint_get_a(0);  // 9025
+    let l1: int = bigint_get_a(1);  // 8626
+    let l2: int = bigint_get_a(2);  // 125
+    say(f"F(50) limbs: {l2} {l1} {l0}");
+}
+```
+
 ---
 
 ### Further Reading
@@ -300,14 +345,27 @@ import "stdlib/mobs.mcrs"       // ZOMBIE, SKELETON, CREEPER, ... (60+ constants
 
 ### Changelog Highlights
 
+#### v1.2.26 (2026-03-14)
+
+- Full math/vector/advanced/bigint standard library (see above)
+- `module library;` pragma for zero-cost tree-shaking
+- `storage_get_int` / `storage_set_int` dynamic NBT array builtins
+- Compiler bug fixes: `isqrt` convergence, copy propagation, variable scoping
+
+#### v1.2.25 (2026-03-13)
+
+- Entity type hierarchy with `W_IMPOSSIBLE_AS` warnings
+- Variable name mangling (`$a`, `$b`, `$c`, ...) for minimal scoreboard footprint
+- Automated CI/CD: npm publish + VSCode extension on every push
+
 #### v1.2.0
 
-- Added `impl` blocks, methods, and static constructors
-- Added `is` type narrowing for entity-safe control flow
-- Added `@on(Event)` static events and callback scheduling builtins
-- Added runtime f-strings for output functions
+- `impl` blocks, methods, and static constructors
+- `is` type narrowing for entity-safe control flow
+- `@on(Event)` static events and callback scheduling builtins
+- Runtime f-strings for output functions
 - Expanded stdlib with Timer OOP APIs and 313 MC tag constants
-- Improved optimization with dead code elimination
+- Dead code elimination
 
 See [CHANGELOG.md](./CHANGELOG.md) for the full release notes.
 

package/README.zh.md

@@ -2,14 +2,14 @@
 
 <img src="./logo.png" alt="RedScript Logo" width="64" />
 
-<img src="https://img.shields.io/badge/RedScript-1.2-red?style=for-the-badge&logo=minecraft&logoColor=white" alt="RedScript" />
+<img src="https://img.shields.io/badge/RedScript-1.2.26-red?style=for-the-badge&logo=minecraft&logoColor=white" alt="RedScript" />
 
 **一个编译到 Minecraft Datapack 的类型化脚本语言。**
 
 写干净的游戏逻辑，把记分板的面条代码交给 RedScript 处理。
 
 [![CI](https://github.com/bkmashiro/redscript/actions/workflows/ci.yml/badge.svg?branch=main)](https://github.com/bkmashiro/redscript/actions/workflows/ci.yml)
-[![Tests](https://img.shields.io/badge/tests-573%2B%20passing-brightgreen)](https://github.com/bkmashiro/redscript)
+[![Tests](https://img.shields.io/badge/tests-917%20passing-brightgreen)](https://github.com/bkmashiro/redscript)
 [![npm](https://img.shields.io/npm/v/redscript-mc?color=cb3837)](https://www.npmjs.com/package/redscript-mc)
 [![npm downloads](https://img.shields.io/npm/dm/redscript-mc?color=cb3837)](https://www.npmjs.com/package/redscript-mc)
 [![VSCode](https://img.shields.io/badge/VSCode-插件-007ACC?logo=visualstudiocode)](https://marketplace.visualstudio.com/items?itemName=bkmashiro.redscript-vscode)
@@ -73,7 +73,17 @@ let running: bool = false;
 
 ---
 
-### v1.2 新增内容
+### v1.2.26 新增内容
+
+- **数学标准库** (`math.mcrs`)：18 个定点数函数 — `abs`、`sign`、`min`、`max`、`clamp`、`lerp`、`isqrt`、`sqrt_fixed`、`pow_int`、`gcd`、`lcm`、`sin_fixed`、`cos_fixed`、`map`、`ceil_div`、`log2_int`、`mulfix`、`divfix`、`smoothstep`、`smootherstep`
+- **向量标准库** (`vec.mcrs`)：2D / 3D 几何 — 点积/叉积、`length2d_fixed`、`atan2_fixed`（二分搜索正切表，O(log 46)）、`normalize2d`、`rotate2d`、`lerp2d`、完整 3D 叉积
+- **高级标准库** (`advanced.mcrs`)：数论（`fib`、`is_prime`、`collatz_steps`、`mod_pow`）、哈希/噪声（splitmix32 `hash_int`、`noise1d`）、曲线（`bezier_quad`）、分形（`mandelbrot_iter`、`julia_iter`）、几何实验
+- **BigInt** (`bigint.mcrs`)：任意精度整数 — base 10000 × 8 limbs = 最多 32 位十进制数；`bigint_add/sub/compare/mul/fib` 全部运行在 MC 记分板 + NBT storage 上
+- **`module library;` pragma**：将文件声明为库，未被调用的函数会被树摇消除 — 标准库永远不会撑大你的数据包
+- **`storage_get_int` / `storage_set_int` 内置函数**：通过 MC 1.20.2 宏子函数实现动态 NBT int 数组读写
+- **编译器修复**：`isqrt` 大数收敛、优化器拷贝传播别名失效、跨函数变量命名冲突、MCRuntime 数组索引正则
+
+### v1.2.25 新增内容
 
 - `impl` 块与方法，支持围绕结构体构建面向对象风格 API
 - `is` 类型收窄，实体判断更安全
@@ -268,14 +278,48 @@ redscript validate <file>      验证 MC 命令语法
 
 ### 标准库
 
+所有标准库文件都使用 `module library;` —— 只有你实际调用的函数才会编译进去。
+
 ```rs
-import "stdlib/math.mcrs"       // abs, min, max, clamp
+import "stdlib/math.mcrs"       // abs, sign, min, max, clamp, lerp, isqrt, sqrt_fixed,
+                                // pow_int, gcd, lcm, sin_fixed, cos_fixed, map, ceil_div,
+                                // log2_int, mulfix, divfix, smoothstep, smootherstep
+
+import "stdlib/vec.mcrs"        // dot2d, cross2d, length2d_fixed, distance2d_fixed,
+                                // manhattan, chebyshev, atan2_fixed, normalize2d_x/y,
+                                // rotate2d_x/y, lerp2d_x/y, dot3d, cross3d_x/y/z,
+                                // length3d_fixed
+
+import "stdlib/advanced.mcrs"   // fib, is_prime, collatz_steps, digit_sum, reverse_int,
+                                // mod_pow, hash_int, noise1d, bezier_quad,
+                                // mandelbrot_iter, julia_iter, angle_between,
+                                // clamp_circle_x/y, newton_sqrt, digital_root
+
+import "stdlib/bigint.mcrs"     // bigint_init, bigint_from_int_a/b, bigint_add/sub/mul,
+                                // bigint_compare, bigint_mul_small, bigint_fib
+                                // — 最多 32 位十进制数，纯记分板运行
+
 import "stdlib/player.mcrs"     // is_alive, in_range, get_health
 import "stdlib/timer.mcrs"      // start_timer, tick_timer, has_elapsed
 import "stdlib/cooldown.mcrs"   // set_cooldown, check_cooldown
 import "stdlib/mobs.mcrs"       // ZOMBIE, SKELETON, CREEPER ... (60+ 实体常量)
 ```
 
+**示例 — 游戏内计算斐波那契数列第 50 项：**
+
+```rs
+import "stdlib/bigint.mcrs"
+
+fn show_fib() {
+    bigint_fib(50);
+    // F(50) = 12,586,269,025 — 超过 int32，分 3 个 limb 存储：
+    let l0: int = bigint_get_a(0);  // 9025
+    let l1: int = bigint_get_a(1);  // 8626
+    let l2: int = bigint_get_a(2);  // 125
+    say(f"F(50) limbs: {l2} {l1} {l0}");
+}
+```
+
 ---
 
 ### 更多文档
@@ -293,6 +337,19 @@ import "stdlib/mobs.mcrs"       // ZOMBIE, SKELETON, CREEPER ... (60+ 实体常
 
 ### 更新日志亮点
 
+#### v1.2.26（2026-03-14）
+
+- 完整的数学/向量/高级/BigInt 标准库（详见上方）
+- `module library;` pragma，实现零成本树摇
+- `storage_get_int` / `storage_set_int` 动态 NBT 数组内置函数
+- 编译器修复：`isqrt` 收敛、拷贝传播、变量作用域命名
+
+#### v1.2.25（2026-03-13）
+
+- 实体类型层级与 `W_IMPOSSIBLE_AS` 警告
+- 变量名混淆（`$a`、`$b`、`$c` ...），最小化记分板占用
+- CI/CD 自动化：每次推送自动发布 npm + VSCode 插件
+
 #### v1.2.0
 
 - 新增 `impl` 块、实例方法与静态构造函数

package/dist/__tests__/stdlib-advanced.test.js

@@ -261,4 +261,118 @@ describe('julia_iter', () => {
         expect(scoreOf(rt, 'r')).toBe(0);
     });
 });
+// ─── Experiment: cross-stdlib (vec + math + advanced) ────────────────────────
+const VEC_SRC = fs.readFileSync(path.join(__dirname, '../../src/stdlib/vec.mcrs'), 'utf-8');
+function runAll(driver) {
+    const result = (0, compile_1.compile)(driver, {
+        namespace: 'exptest',
+        librarySources: [MATH_SRC, VEC_SRC, ADV_SRC],
+    });
+    if (!result.success)
+        throw new Error(result.error?.message ?? 'compile failed: ' + result.error?.message);
+    const rt = new runtime_1.MCRuntime('exptest');
+    for (const file of result.files ?? []) {
+        if (!file.path.endsWith('.mcfunction'))
+            continue;
+        const match = file.path.match(/data\/([^/]+)\/function\/(.+)\.mcfunction$/);
+        if (!match)
+            continue;
+        rt.loadFunction(`${match[1]}:${match[2]}`, file.content.split('\n'));
+    }
+    rt.load();
+    return rt;
+}
+function exp(rt, key) {
+    return rt.getScore('out', `exptest.${key}`) ?? 0;
+}
+describe('newton_sqrt', () => {
+    it('newton_sqrt(25) == 5', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(25)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(5);
+    });
+    it('newton_sqrt(100) == 10', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(100)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(10);
+    });
+    it('newton_sqrt(2) == 1', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(2)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(1);
+    });
+    it('newton_sqrt(0) == 0', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", newton_sqrt(0)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(0);
+    });
+});
+describe('digital_root', () => {
+    it('digital_root(493) == 7', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", digital_root(493)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(7);
+    });
+    it('digital_root(9) == 9', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", digital_root(9)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(9);
+    });
+    it('digital_root(0) == 0', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", digital_root(0)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(0);
+    });
+});
+describe('spiral_ring', () => {
+    it('spiral_ring(1) == 0', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", spiral_ring(1)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(0);
+    });
+    it('spiral_ring(9) == 1', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", spiral_ring(9)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(1);
+    });
+    it('spiral_ring(25) == 2', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", spiral_ring(25)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(2);
+    });
+});
+describe('clamp_circle', () => {
+    it('point inside: clamp_circle_x(3,4,10) == 3', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", clamp_circle_x(3, 4, 10)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(3);
+    });
+    it('point outside: clamp_circle_x(600,0,500) == 500', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", clamp_circle_x(600, 0, 500)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(500);
+    });
+    it('clamp_circle_y(0,600,500) == 500', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", clamp_circle_y(0, 600, 500)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(500);
+    });
+});
+describe('angle_between', () => {
+    it('perpendicular vectors: angle_between(1000,0,0,1000) == 90', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", angle_between(1000, 0, 0, 1000)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(90);
+    });
+    it('parallel vectors: angle_between(1000,0,1000,0) == 0', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", angle_between(1000, 0, 1000, 0)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(0);
+    });
+    it('opposite vectors: angle_between(1000,0,-1000,0) == 180', () => {
+        const rt = runAll(`fn test() { scoreboard_set("out", "r", angle_between(1000, 0, -1000, 0)); }`);
+        rt.execFunction('test');
+        expect(exp(rt, 'r')).toBe(180);
+    });
+});
 //# sourceMappingURL=stdlib-advanced.test.js.map

package/dist/__tests__/stdlib-bigint.test.d.ts

@@ -0,0 +1,7 @@
+/**
+ * stdlib/bigint.mcrs — runtime behavioural tests
+ *
+ * Tests basic BigInt operations (base 10000, 8 limbs = 32 decimal digits).
+ * All arithmetic validated against known values.
+ */
+export {};