% SCP Semantic Layer Formal Specification % Version 2.3 (Refactored Classification Model) % 2026-02-27

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

状态：Mainnet Formal Specification
类别：语义层结构重构优化版本

本版本在 v2.2 基础上进行结构重构：

• 移除"UNCLASSIFIED Domain"伪 Domain 设计
• 引入 classification_status 状态模型
• 保持 Domain 语义空间纯净性
• 保持数学上界证明与一致性不变量

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

第一部分：核心设计重构

1.1 设计原则

Domain 必须始终表示真实语义空间。

未完成归属判定的 Attribute 不属于任何 Domain。

因此引入：

classification_status(a) ∈

---

第二部分：形式化定义

设：

A = 全体 Attribute 集合
D = Active Domain 集合

定义函数：

Scope : A → {LOCAL, DOMAIN, GLOBAL} Domain : A → D (仅当 classification_status = RESOLVED 时定义) classification_status : A →

约束：

若 classification_status(a) = UNRESOLVED
则 Domain(a) 未定义。

若 classification_status(a) = RESOLVED
则 Domain(a) ∈ D。

---

第三部分：Attribute 状态机（重构版）

stateDiagram-v2
    [*] --> LOCAL_UNRESOLVED

    LOCAL_UNRESOLVED --> LOCAL_RESOLVED : Domain Routing 成功
    LOCAL_RESOLVED --> DOMAIN : Score_local >= θ_domain
    DOMAIN --> GLOBAL : Score_domain >= θ_global

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

说明：

LOCAL_UNRESOLVED 不属于任何 Domain。

---

第四部分：Root 计算规则（修正）

Root = H(sorted( embedding_hash(a) for a in A_active if classification_status(a) = RESOLVED ))

UNRESOLVED Attribute 不参与 Root。

---

第五部分：Domain 创建触发机制

仅当满足：

Cluster_size >= K
Cross_Vault >= V_threshold
Stake >= S_threshold

且所有 a 属于该 Cluster 满足：

classification_status(a) = UNRESOLVED

则触发：

New Domain Proposal

并将该 Cluster 内 Attribute：

classification_status → RESOLVED

---

第六部分：数学不变量扩展

Invariant 1：Domain 纯净性

对于任意 a：

classification_status(a) = UNRESOLVED
⇒ Domain(a) 未定义

Invariant 2：Root 不污染

Root 不包含 UNRESOLVED Attribute

Invariant 3：Scope 单调

LOCAL → DOMAIN → GLOBAL

Invariant 4：Domain 数量上界

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

---

第七部分：Domain 爆炸上界证明（保持）

设：

N = Attribute 总数
K = 创建 Domain 的最小聚类规模

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

因此：

Domain_max ≤ N / K

若考虑跨 Vault 约束：

Domain_max ≤ |V| / V_threshold

因此：

Domain 数量存在严格上界。

---

第八部分：语义一致性保证

若所有节点满足：

• 相同 semantic_version
• 相同 θ_min
• 相同聚类规则
• 相同 K 与 V_threshold

则：

classification_status 转换为确定性函数。

因此：

Root_i = Root_j

---

第九部分：架构优势

v2.3 相比 v2.2 优势：

1. Domain 始终代表真实语义空间
2. 无"假 Domain"概念
3. 状态模型更清晰
4. Root 计算更纯净
5. 数学模型更优雅

---

结论

SCP Semantic Layer v2.3 提供：

• 更干净的分类模型
• 更严谨的形式化定义
• 保持上界证明
• 保持一致性安全

本版本为语义层结构优化后的正式规范。

结束。