From de3a9af0e116f70069ef9cab959e4d236087838d Mon Sep 17 00:00:00 2001
From: pjh456 <147148383@qq.com>
Date: Sun, 20 Sep 2026 10:07:17 +0000
Subject: [PATCH] =?UTF-8?q?fix:=20=E5=86=85=E7=BD=AE=E5=85=A8=E5=B1=80?=
 =?UTF-8?q?=E7=BA=AF=E8=AF=BB=E5=BD=A2=E4=B8=8D=E5=8D=A0=E9=95=9C=E5=83=8F?=
 =?UTF-8?q?=E6=A7=BD=E7=9A=84=E9=94=9A=E6=9C=9F=E6=9C=9B=E8=AE=A2=E6=AD=A3?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 crates/oxide_compiler/tests/compile_expr_tests.rs | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/crates/oxide_compiler/tests/compile_expr_tests.rs b/crates/oxide_compiler/tests/compile_expr_tests.rs
index 35a70a84..2c7ced53 100644
--- a/crates/oxide_compiler/tests/compile_expr_tests.rs
+++ b/crates/oxide_compiler/tests/compile_expr_tests.rs
@@ -594,10 +594,19 @@ fn compile_large_pure_expression_reuses_temp_registers() {
 
 #[test]
 fn compile_builtin_globals_are_registered_lazily() {
-    // 数组字面量内全部 4 个引用均为活代码（结果即脚本值），DCE 不可删；
-    // 未被引用的其它内置全局不得占用槽位。
+    // 纯读形经 A 侧全局对象属性（LOAD_GLOBAL）取值，不消费镜像槽：4 个引用虽
+    // 均为活代码（结果即脚本值）不可 DCE，但读侧不占槽；未被引用的其它内置
+    // 全局同样不占槽——编译产物镜像槽表为空。
     let module = compile_source("[Object, Array, Math, JSON]");
-    assert_eq!(module.builtin_reg_map.len(), 4, "only referenced builtins should allocate registers");
+    assert_eq!(module.builtin_reg_map.len(), 0, "pure read references should not occupy mirror slots");
+    // 写形守卫：可写内置名标识符写须双写（镜像槽 + 全局对象属性），写面镜像槽
+    // 保留在产物中（入口预载与 delete 侧分类依赖在册槽）。
+    let write_module = compile_source("Object = 1; Array = 2;");
+    assert_eq!(
+        write_module.builtin_reg_map.len(),
+        2,
+        "write references should retain writable builtin mirror slots"
+    );
 }
 
 #[test]