redscript-mc 1.2.25 → 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__/cli.test.js

@@ -176,7 +176,7 @@ describe('CLI API', () => {
             const mainFn = result.files.find(file => file.path.endsWith('/main.mcfunction'));
             expect(doneFn?.content).toContain('scoreboard players get timer_ticks rs');
             expect(doneFn?.content).toContain('return run scoreboard players get');
-            expect(mainFn?.content).toContain('execute if score $finished rs matches 1..');
+            expect(mainFn?.content).toContain('execute if score $main_finished rs matches 1..');
         });
         it('Timer.tick increments', () => {
             const tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'redscript-timer-tick-'));

package/dist/__tests__/codegen.test.js

@@ -17,26 +17,32 @@ describe('generateDatapack', () => {
         expect(load?.content).toContain('scoreboard players set $counter rs 0');
     });
     it('generates function file for simple add(a, b)', () => {
+        // IR now uses { kind: 'param', index: i } for param-copy instructions,
+        // matching what the lowering emits.  Pass mangle:false so we can check
+        // readable names without worrying about sequential mangled names.
         const mod = {
             namespace: 'mypack',
             globals: [],
             functions: [{
                     name: 'add',
-                    params: ['a', 'b'],
-                    locals: ['a', 'b', 'result'],
+                    params: ['$a', '$b'],
+                    locals: ['$a', '$b', '$result'],
                     blocks: [{
                             label: 'entry',
                             instrs: [
-                                { op: 'binop', dst: 'result', lhs: { kind: 'var', name: 'a' }, bop: '+', rhs: { kind: 'var', name: 'b' } },
+                                // param-copy instructions (what the lowering now emits)
+                                { op: 'assign', dst: '$a', src: { kind: 'param', index: 0 } },
+                                { op: 'assign', dst: '$b', src: { kind: 'param', index: 1 } },
+                                { op: 'binop', dst: '$result', lhs: { kind: 'var', name: '$a' }, bop: '+', rhs: { kind: 'var', name: '$b' } },
                             ],
-                            term: { op: 'return', value: { kind: 'var', name: 'result' } },
+                            term: { op: 'return', value: { kind: 'var', name: '$result' } },
                         }],
                 }],
         };
-        const files = (0, mcfunction_1.generateDatapack)(mod);
+        const files = (0, mcfunction_1.generateDatapackWithStats)(mod, { mangle: false }).files;
         const fn = files.find(f => f.path.includes('add.mcfunction'));
         expect(fn).toBeDefined();
-        // Should have param setup
+        // param setup emitted from the IR
         expect(fn.content).toContain('scoreboard players operation $a rs = $p0 rs');
         expect(fn.content).toContain('scoreboard players operation $b rs = $p1 rs');
         // Should have add operation

package/dist/__tests__/e2e.test.js

@@ -104,7 +104,7 @@ fn main() {
 `);
             const mainFn = getFunction(files, 'main');
             expect(mainFn).toBeDefined();
-            expect(mainFn).toContain('scoreboard players set $hp rs 105');
+            expect(mainFn).toContain('scoreboard players set $main_hp rs 105');
             expect(mainFn).toContain('Arena Battle');
         });
     });
@@ -1683,7 +1683,7 @@ describe('for-range loop', () => {
         const src = `fn test() { for i in 0..5 { say("hi"); } }`;
         const files = compile(src, 'forloop');
         const fn = getFunction(files, 'test');
-        expect(fn).toContain('scoreboard players set $i rs 0');
+        expect(fn).toContain('scoreboard players set $test_i rs 0');
     });
     it('generates loop sub-function with increment and condition', () => {
         const src = `fn test() { for i in 0..5 { say("hi"); } }`;
@@ -1691,16 +1691,16 @@ describe('for-range loop', () => {
         const subFn = files.find(f => f.path.includes('__for_0'));
         expect(subFn).toBeDefined();
         expect(subFn?.content).toContain('say hi');
-        expect(subFn?.content).toContain('scoreboard players add $i rs 1');
-        expect(subFn?.content).toContain('execute if score $i rs matches ..4 run function forloop:test/__for_0');
+        expect(subFn?.content).toContain('scoreboard players add $test_i rs 1');
+        expect(subFn?.content).toContain('execute if score $test_i rs matches ..4 run function forloop:test/__for_0');
     });
     it('supports non-zero start', () => {
         const src = `fn test() { for x in 3..8 { say("loop"); } }`;
         const files = compile(src, 'forloop2');
         const fn = getFunction(files, 'test');
-        expect(fn).toContain('scoreboard players set $x rs 3');
+        expect(fn).toContain('scoreboard players set $test_x rs 3');
         const subFn = files.find(f => f.path.includes('__for_0'));
-        expect(subFn?.content).toContain('execute if score $x rs matches ..7 run function forloop2:test/__for_0');
+        expect(subFn?.content).toContain('execute if score $test_x rs matches ..7 run function forloop2:test/__for_0');
     });
 });
 // ---------------------------------------------------------------------------

package/dist/__tests__/lowering.test.js

@@ -42,7 +42,7 @@ describe('Lowering', () => {
             const ir = compile('fn foo(x: int) {}');
             const fn = getFunction(ir, 'foo');
             const instrs = getInstructions(fn);
-            expect(instrs.some(i => i.op === 'assign' && i.dst === '$x' && i.src.name === '$p0')).toBe(true);
+            expect(instrs.some(i => i.op === 'assign' && i.dst === '$foo_x' && i.src.kind === 'param' && i.src.index === 0)).toBe(true);
         });
         it('fills in missing default arguments at call sites', () => {
             const ir = compile(`
@@ -124,14 +124,14 @@ fn foo() {
 `);
             const fn = getFunction(ir, 'foo');
             const instrs = getInstructions(fn);
-            expect(instrs.some(i => i.op === 'assign' && i.dst === '$x' && i.src.kind === 'const' && i.src.value === 100)).toBe(true);
+            expect(instrs.some(i => i.op === 'assign' && i.dst === '$foo_x' && i.src.kind === 'const' && i.src.value === 100)).toBe(true);
             expect(ir.globals).not.toContain('$MAX_HP');
         });
         it('lowers let with literal', () => {
             const ir = compile('fn foo() { let x: int = 42; }');
             const fn = getFunction(ir, 'foo');
             const instrs = getInstructions(fn);
-            expect(instrs.some(i => i.op === 'assign' && i.dst === '$x' && i.src.value === 42)).toBe(true);
+            expect(instrs.some(i => i.op === 'assign' && i.dst === '$foo_x' && i.src.value === 42)).toBe(true);
         });
         it('lowers let with expression', () => {
             const ir = compile('fn foo(a: int) { let x: int = a + 1; }');
@@ -496,15 +496,15 @@ fn choose(dir: Direction) {
             const ir = compile('fn test() { let score: int = 7; say("You have ${score} points"); }');
             const fn = getFunction(ir, 'test');
             const rawCmds = getRawCommands(fn);
-            expect(rawCmds).toContain('tellraw @a ["",{"text":"You have "},{"score":{"name":"$score","objective":"rs"}},{"text":" points"}]');
+            expect(rawCmds).toContain('tellraw @a ["",{"text":"You have "},{"score":{"name":"$test_score","objective":"rs"}},{"text":" points"}]');
         });
         it('lowers f-string output builtins to tellraw/title JSON components', () => {
             const ir = compile('fn test() { let score: int = 7; say(f"Score: {score}"); tellraw(@a, f"Score: {score}"); actionbar(@s, f"Score: {score}"); title(@s, f"Score: {score}"); }');
             const fn = getFunction(ir, 'test');
             const rawCmds = getRawCommands(fn);
-            expect(rawCmds).toContain('tellraw @a ["",{"text":"Score: "},{"score":{"name":"$score","objective":"rs"}}]');
-            expect(rawCmds).toContain('title @s actionbar ["",{"text":"Score: "},{"score":{"name":"$score","objective":"rs"}}]');
-            expect(rawCmds).toContain('title @s title ["",{"text":"Score: "},{"score":{"name":"$score","objective":"rs"}}]');
+            expect(rawCmds).toContain('tellraw @a ["",{"text":"Score: "},{"score":{"name":"$test_score","objective":"rs"}}]');
+            expect(rawCmds).toContain('title @s actionbar ["",{"text":"Score: "},{"score":{"name":"$test_score","objective":"rs"}}]');
+            expect(rawCmds).toContain('title @s title ["",{"text":"Score: "},{"score":{"name":"$test_score","objective":"rs"}}]');
         });
         it('lowers summon()', () => {
             const ir = compile('fn test() { summon("zombie"); }');
@@ -987,7 +987,7 @@ fn count_down() {
             const ir = compile('let count: int = 0;\nfn test() { let y: int = count; }');
             const fn = getFunction(ir, 'test');
             const instrs = getInstructions(fn);
-            expect(instrs.some(i => i.op === 'assign' && i.dst === '$y' && i.src.kind === 'var' && i.src.name === '$count')).toBe(true);
+            expect(instrs.some(i => i.op === 'assign' && i.dst === '$test_y' && i.src.kind === 'var' && i.src.name === '$count')).toBe(true);
         });
         it('writes global variable in function body', () => {
             const ir = compile('let count: int = 0;\nfn inc() { count = 5; }');

package/dist/__tests__/optimizer.test.js

@@ -95,6 +95,37 @@ describe('deadCodeElimination', () => {
         expect(opt.blocks[0].instrs[0].dst).toBe('$used_by_raw');
     });
 });
+describe('copyPropagation – stale alias invalidation', () => {
+    it('does not propagate $tmp = $y after $y is overwritten (swap pattern)', () => {
+        // Simulates: let tmp = y; y = x % y; x = tmp
+        // The copy $tmp = $y must be invalidated when $y is reassigned.
+        // Before fix: x = tmp was propagated to x = y (new y, wrong value).
+        const fn = makeFn([
+            { op: 'assign', dst: '$tmp', src: { kind: 'var', name: '$y' } }, // tmp = y
+            { op: 'binop', dst: '$r', lhs: { kind: 'var', name: '$x' }, bop: '%', rhs: { kind: 'var', name: '$y' } }, // r = x%y
+            { op: 'assign', dst: '$y', src: { kind: 'var', name: '$r' } }, // y = r  ← stale: tmp still points to OLD y
+            { op: 'assign', dst: '$x', src: { kind: 'var', name: '$tmp' } }, // x = tmp (should NOT be x = y)
+        ]);
+        const opt = (0, passes_1.copyPropagation)(fn);
+        const instrs = opt.blocks[0].instrs;
+        const xAssign = instrs.find((i) => i.dst === '$x');
+        // x = tmp must NOT be optimised to x = $y (stale) or x = $r (new y).
+        // It should stay as x = $tmp (the original copy).
+        expect(xAssign.src).toEqual({ kind: 'var', name: '$tmp' });
+    });
+    it('still propagates simple non-conflicting copies', () => {
+        // a = 5; b = a; c = b → after propagation b and c should both be const 5
+        const fn = makeFn([
+            { op: 'assign', dst: '$a', src: { kind: 'const', value: 5 } },
+            { op: 'assign', dst: '$b', src: { kind: 'var', name: '$a' } },
+            { op: 'assign', dst: '$c', src: { kind: 'var', name: '$b' } },
+        ]);
+        const opt = (0, passes_1.copyPropagation)(fn);
+        const instrs = opt.blocks[0].instrs;
+        const cAssign = instrs.find((i) => i.dst === '$c');
+        expect(cAssign.src).toEqual({ kind: 'const', value: 5 });
+    });
+});
 describe('optimize pipeline', () => {
     it('combines all passes', () => {
         // t0 = 2 + 3  (→ constant fold → t0 = 5)

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

@@ -0,0 +1,4 @@
+/**
+ * stdlib/advanced.mcrs — runtime behavioural tests
+ */
+export {};