% SCP Semantic Layer Formal Specification (Unified Edition) % Version 2.1 (State Machine + Mermaid Diagrams) % 2026-02-27

SCP 语义层统一形式化规范 v2.1

状态：Mainnet Formal Unified Specification
类别：核心语义层协议（含完整状态机图版本）

本版本在 v2.0 基础上新增：

• 完整 Attribute 状态转移图
• 完整 Domain 状态转移图
• Registry 生命周期图
• 语义版本迁移状态图
• 升级流程图

============================================================

一、总体架构

三层结构：

LOCAL → DOMAIN → GLOBAL

Scope 单调升级，不可回退。

============================================================

二、Attribute 状态机

stateDiagram-v2
    [*] --> LOCAL
    LOCAL --> DOMAIN : 达到升级阈值
    DOMAIN --> GLOBAL : 满足跨域升级条件

    DOMAIN --> DOMAIN : 保持
    GLOBAL --> GLOBAL : 保持

    note right of LOCAL
        仅单 Vault 有效
    end note

    note right of DOMAIN
        Domain 内共识
    end note

    note right of GLOBAL
        全网共识属性
    end note

---

三、Domain 状态机

stateDiagram-v2
    [*] --> PROPOSED
    PROPOSED --> ACTIVE : 治理批准
    ACTIVE --> MERGING : 触发合并
    MERGING --> ACTIVE : 合并完成
    ACTIVE --> SPLIT_PENDING : 触发拆分
    SPLIT_PENDING --> ACTIVE : 拆分完成
    ACTIVE --> ARCHIVED : 长期低活跃

    ARCHIVED --> [*]

    note right of ARCHIVED
        不可逆
    end note

---

四、Registry 生命周期图

flowchart TD

    A[Local Attribute] --> B[Domain Registry]
    B --> C[Global Registry]
    C --> D[Registry Root Builder]
    D --> E[Settlement Layer]

    E --> F[Snapshot Stored]

---

五、Attribute 升级流程图

flowchart TD

    A[New Attribute] --> B[计算相似度]
    B --> C{S_total >= 0.92?}

    C -->|Yes| D[Merge Existing]
    C -->|No| E{0.8 <= S < 0.92?}

    E -->|Yes| F[Reject Upgrade]
    E -->|No| G[Create Local]

    G --> H[统计 U,V,S,T,E]
    H --> I{Score_local >= θ_domain?}
    I -->|Yes| J[Upgrade to DOMAIN]
    I -->|No| K[Remain LOCAL]

    J --> L{Score_domain >= θ_global?}
    L -->|Yes| M[Upgrade to GLOBAL]
    L -->|No| N[Remain DOMAIN]

---

六、Domain 升级为 Global Domain

flowchart TD

    A[Active Domain] --> B{>= X% GLOBAL Attributes?}
    B -->|No| C[Remain Domain]
    B -->|Yes| D{Stake >= S3 AND Conflict <= ε?}
    D -->|No| C
    D -->|Yes| E[Mark as GLOBAL_DOMAIN]
    E --> F[Enter Global Root Calculation]

---

七、语义版本迁移状态图

stateDiagram-v2
    [*] --> Version_v1
    Version_v1 --> Dual_Run : 发布新版本
    Dual_Run --> Version_v2 : >=90% 节点升级

    note right of Dual_Run
        双版本并行
        Root 分离
        禁止跨版本相似度
    end note

---

八、Root 一致性定理（保留）

若所有节点：

1. 相同 semantic_version\
2. 相同排序规则\
3. 相同 embedding_hash 算法

则：

Root_i = Root_j

---

九、不变量（保持）

1. attribute_id 唯一
2. Scope 单调
3. semantic_hash 不可变
4. 排序 deterministic
5. Root 可重现
6. Domain ID 不复用
7. ARCHIVED 不可激活

---

十、实现强制要求

• 全部状态转换必须 deterministic
• 所有 Root 必须可验证
• 所有升级必须可回溯
• 所有版本迁移必须可审计

============================================================

结论

v2.1 在 v2.0 数学化规范基础上，

补充完整状态机与执行流程图，

形成：

• 可实现
• 可审计
• 可验证
• 可证明一致

的主网级语义层最终形态。

结束。