//! 发布页面标签的数据结构。保留稳定页面身份、标题、选中状态和开发工具类别；页面的托管所有权由模型层管理。
//!
//! Immutable page registry projections. Host navigation is rendered in sidebar.
//! IDs are session-local data and never own managed VM objects.
use serde::{Deserialize, Serialize};

#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
/// 托管页面注册表的不可变投影，原生工具只使用稳定 ID 与显示元数据。
pub struct Tab {
    // 会话内稳定 ID，供原生侧发起切页/关闭操作；不能直接当作 VM 对象地址。
    pub id: u64,
    // 本次发布的标题文本副本，原生界面显示时无需读取 VM。
    pub title: String,
    // 该标签是否是此窗口当前活动页；页面注册表顺序与选中状态分别表示。
    pub active: bool,
    // 开发工具页的类别标识；普通页省略此字段，反序列化缺失字段时默认为 None。
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub developer_tool: Option<String>,
}