perf: 字符串 +/+= 二元拼接改 Cons rope 惰性扁平化消除 O(n²)

JsString 拆 Flat/Cons 变体：Cons 经独立 ConsNode 保存左右子节点 + O(1)
字节长 + 惰性扁平化产物缓存（OnceLock 原子发布，产物挂节点生命周期）。
concat_strings 接线：总长 ≤ 128B 的小链急切扁平（与 rope 前同款，拼接即
消费场景零开销），大链 O(1) 链接——大段重复拼接从 O(n²) 拷贝降为 O(n)
链接，文本在消费点（.length/==/string_ref/方法族）首次扁平化后缓存。

GC 兼容：mark 收口 mark_string_live 传播 Cons 子节点与产物闭包（显式栈
防深链爆栈）；sweep/full_reset 共用 drop 辅助连带释放产物；节点字节记账
用 O(1) byte_len。rope 节点登记 session 字符串表，与执行期字符串 GC
（指令边界触发）天然兼容。JsString 结构 32B 与 rope 前同 bin，小串路径
零结构回退；unsafe impl Send/Sync 论证同 StringPtr（perm 恒 Flat）。

crates/oxide_runtime_api/src/lib.rs

@@ -186,7 +186,9 @@ pub(crate) unsafe fn string_data(val: JsValue) -> &'static str {
 
 /// 按内容比较两个字符串 `JsValue` 是否相等。
 ///
-/// 先做指针级短路（同一 interned 字符串必等），否则逐字节比较 `JsString` 内容。
+/// 先做指针级短路（同一 interned 字符串必等），否则比较 `JsString` 的整块文本
+/// （rope 未扁平化时经 `as_str` 惰性扁平化；内容比较对"rope vs 同内容不同指针"
+/// 也正确）。
 #[inline]
 pub fn string_value_eq(a: JsValue, b: JsValue) -> bool {
     if a.as_string_ptr() == b.as_string_ptr() {
@@ -194,7 +196,7 @@ pub fn string_value_eq(a: JsValue, b: JsValue) -> bool {
     }
     let sa = unsafe { &*a.as_string_ptr() };
     let sb = unsafe { &*b.as_string_ptr() };
-    sa.data == sb.data
+    sa.as_str() == sb.as_str()
 }
 
 /// BigInt 转 f64 的近似转换（连续整数用 to_u64，大数用 Display 解析）。