% SCP Semantic Layer Formal Specification % Version 2.2 (Unclassified + Formal Bound Edition) % 2026-02-27

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

状态：Mainnet Formal Specification
类别：语义层长期稳定性增强版本

本版本新增：

1. UNCLASSIFIED 机制（Domain 未匹配处理）
2. 完整状态转移图
3. 数学化定义扩展
4. Domain 爆炸上界证明

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

第一部分：UNCLASSIFIED 机制定义

1.1 定义

定义特殊 Domain：

UNCLASSIFIED_DOMAIN_ID = 0

当 Domain Routing 得分低于阈值 θ_min 时：

Domain(a) = 0
Scope(a) = LOCAL

UNCLASSIFIED 不属于 Active Domain 集合。

---

1.2 数学化定义

设：

DomainRouting(a) = (d*, score*)

若：

score* < θ_min

则：

Domain(a) = 0

且：

a ∉ D_active

---

1.3 约束

UNCLASSIFIED Attribute：

• 不参与 Domain Root 计算
• 不参与升级
• 不参与跨 Vault 查询
• 仅用于统计观察

Root 定义修改为：

Root = H(sorted(embedding_hash(a) for a in A_active if Domain(a) != 0))

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

第二部分：Attribute 扩展状态机

stateDiagram-v2
    [*] --> LOCAL_UNCLASSIFIED
    LOCAL_UNCLASSIFIED --> LOCAL_CLASSIFIED : 重新路由成功
    LOCAL_UNCLASSIFIED --> DOMAIN_PROPOSAL : 满足聚类阈值

    LOCAL_CLASSIFIED --> DOMAIN : Score_local >= θ_domain
    DOMAIN --> GLOBAL : Score_domain >= θ_global

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

说明：

LOCAL_UNCLASSIFIED 为隔离状态。

---

第三部分：Domain 创建状态机

stateDiagram-v2
    [*] --> PROPOSED
    PROPOSED --> ACTIVE : 治理批准
    ACTIVE --> ARCHIVED : 长期低活跃
    ACTIVE --> MERGING
    MERGING --> ACTIVE

---

第四部分：UNCLASSIFIED 聚类触发机制

flowchart TD
    A[UNCLASSIFIED Attributes] --> B[Embedding Clustering]
    B --> C{Cluster Size >= K?}
    C -->|No| D[继续观察]
    C -->|Yes| E{Cross-Vault >= V_threshold?}
    E -->|No| D
    E -->|Yes| F[Trigger Domain Proposal]

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

第五部分：数学化不变量扩展

新增不变量：

Invariant 8：UNCLASSIFIED 不参与 Root

对于任意 a：

若 Domain(a) = 0
则 embedding_hash(a) 不计入 Root。

Invariant 9：Domain 创建为群体性事件

新 Domain 创建条件：

|Cluster| ≥ K
CrossVault ≥ V_threshold
Stake ≥ S_threshold

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

第六部分：Domain 爆炸上界证明

目标：证明 Domain 数量不会指数增长。

设：

N = 总 Attribute 数量
K = 创建新 Domain 的最小聚类规模
V_threshold = 最小跨 Vault 数

则：

每个新 Domain 至少消耗 K 个 UNCLASSIFIED Attribute。

因此：

最大 Domain 数 ≤ N / K

进一步考虑跨 Vault 约束：

若每个 Domain 至少需要 V_threshold 个独立 Vault，

且总 Vault 数为 |V|，

则：

Domain_max ≤ min(N / K, |V| / V_threshold)

结论：

Domain 数量存在严格上界。

因此不存在无限 Domain 爆炸。

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

第七部分：一致性安全性增强

若所有节点满足：

1. 相同 θ_min
2. 相同聚类算法
3. 相同 K 与 V_threshold
4. 相同 semantic_version

则：

UNCLASSIFIED 处理不会引入分叉。

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

第八部分：长期稳定性结论

v2.2 引入：

• 隔离区机制
• 群体性 Domain 触发
• 严格数学上界
• 可证明非爆炸模型

保证语义层：

• 不失控增长
• 不污染现有 Domain
• 不破坏 Root 一致性

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

结论

SCP Semantic Layer v2.2 为：

• 工程级
• 数学级
• 安全级
• 可长期运行

的完整语义层协议定义。

结束。