test: 新增对象图留存计数数值锚；基线口径注明 retained 至多一份引擎内部副本

BENCHMARK_BASELINE.md

@@ -89,4 +89,5 @@ unary_ops                                25.55      0.000     25.555      200002
   mem_string_rope         拼接 rope 链留存：重复二元拼接形成深 Cons 链（账目按逻辑长度计，数值高于实际足迹）
 口径：Peak B/Ret B 为 session 堆账目（对象头 + 堆数据 + 存活串/BigInt）；epoch arena
 的临时驻留无字节账目（既有口径，数量见 JSON 的 epoch_objects）。Ret B 为 workload 后
-晋升 + 完整 GC 的真存活集。
+晋升 + 完整 GC 的真存活集，至多含一份引擎内部副本：逃逸屏障留 epoch 原件且顶层
+寄存器根不回写时，测量时晋升会把原件再克隆一份（object_graph 见留存锚测试）。

crates/oxide_vm/tests/object_graph_retention_tests.rs

@@ -0,0 +1,56 @@
+//! mem_object_graph 留存计数回归锚：克隆式晋升双计的数值基线。
+//!
+//! 15 层满二叉树（32767 节点）在「逃逸写屏障克隆 + 测量点 promote」晋升语义下
+//! 的三个确定性计数。晋升语义或陈旧顶层寄存器根处理改动后，若以下任一数值
+//! 变化，说明双计机制已变——须对照 tests/stress/mem_object_graph.js 的基线
+//! （benchmark_baseline.json）复核后再更新本锚。
+
+use oxide_compiler::compiler::Compiler;
+use oxide_parser::Allocator;
+use oxide_vm::vm::Vm;
+
+/// 与 tests/stress/mem_object_graph.js 同源的 15 层满二叉树。
+const OBJECT_GRAPH: &str = r#"
+function makeNode(depth, base) {
+  if (depth === 0) {
+    return { id: base, leaf: 1 };
+  }
+  return {
+    id: base,
+    depth: depth,
+    left: makeNode(depth - 1, base * 2),
+    right: makeNode(depth - 1, base * 2 + 1),
+  };
+}
+
+var root = makeNode(14, 1);
+root.left.id + root.right.right.id
+"#;
+
+fn run_module(source: &str) -> Vm {
+    let allocator = Allocator::default();
+    let program = oxide_parser::parse(&allocator, source).expect("parse");
+    let module = Compiler::new().compile(&program).expect("compile");
+    let mut vm = Vm::new();
+    let result = vm.run(&module).expect("run");
+    assert_eq!(result.to_string(), "9", "root.left.id(2) + root.right.right.id(7)");
+    vm
+}
+
+/// 留存锚：run 末屏障已把整树克隆进 session（全局镜像，32769 = 整树 + 2），
+/// 顶层 var 寄存器槽仍持有 epoch 原件（SET 路径不回写寄存器）；测量点
+/// promote_rooted 再克隆寄存器原件一份——两份互异副本在 full GC 后均根可达。
+/// epoch 侧 65534 的 2× 与节点无关：其中 32767 是每次 JS 调用无条件创建的
+/// arguments 对象（CREATE_ARGUMENTS），另 32767 才是节点字面量。
+#[test]
+fn object_graph_retention_anchor() {
+    let mut vm = run_module(OBJECT_GRAPH);
+
+    assert_eq!(vm.epoch_object_count(), 65534, "run 末 epoch 计数");
+    assert_eq!(vm.session_object_count(), 32769, "run 末 session 屏障克隆计数");
+
+    vm.promote_rooted_epoch_objects();
+    vm.promote_session_epoch_refs();
+    vm.collect_session_gc();
+    assert_eq!(vm.session_object_count(), 65536, "留存锚：克隆式晋升双计 = 2 × 32769（逻辑存活集 32769）");
+}