MSG 公链业务模块详解

资格审计与违约处罚机制 (Slashing & Audit)

知识网络定位

当前页面已进入跨页知识网络层：不仅展示本页拓扑，还明确它在整站里的分类、被哪些页面引用、又继续指向哪些专题与证据页。

状态：已实现分组：经济与资金出链：11 回链：10 相邻推荐：8

金库多签阈值治理时间锁提案铸造奖励

这页继续通向

DAO 治理与时间锁执行全站证明链总图共识调度机制 (Round-Robin + DAR) 业务流转可信性证明链可信结论专章基金会金库被动入账与审批白皮书导出版总拓扑白皮书总拓扑母图证据索引总表铸造与结算引擎 (Emission & Settlement)链状态管理 (Blockchain)

这些页面会回到本页

AI Validator 自治闭环原始证据样本画廊可信度总览与证据矩阵安全总览拓扑时间预算任务流入口白皮书总拓扑母图经济模型总览证据索引总表证据覆盖率矩阵铸造与结算引擎 (Emission & Settlement)

Slashing 交叉校验

可证：四级处罚、challenge / recover、80% burn + 20% challenger 规则均已明示边界：本页证明处罚制度与资金去向，不单独代替 emission 统计页和 foundation 金库页证明链：DAR / 异常检测 -> slash / jail -> challenger 分配 -> emission 统计 -> evidence

判定上游：DAR 持续评分 / 连续出块保护恢复下游：challenge / recover / 治理审核统计下游：burned / slashed / challenger 字段回母图：看 slashing 在安全面 / 资金面的交点回证据索引：处罚规则 / 原文 / 边界样本可信判据：为什么处罚资金不能串义到金库

本页能证明什么

本页当前能把“处罚分级、执行闭环、资金去向、恢复路径”讲成一条完整制度链，而不是只有 `slash` 一个动作。

可证处罚不止 `slash`，还包含 `jail / challenge / recover`。
可证有合格挑战者时为 `80% burn + 20% challenger`。
可证无合格挑战者时，该 `20%` 也一并销毁，不默认流入金库。

回可信结论专章

本页为何可信

可信性来自规则原文、负面边界和下游统计页同时存在，避免把处罚制度画成单页口号。

`20260403` 原文直接写明无合格挑战者时 `20%` 也销毁。
页面显式阻断“罚没资金进入 foundation_treasury_v2”的错误理解。
处罚结果还要求回 `emission` 页核对统计字段，不把制度页伪装成数据页。

回全站证明总图

推荐阅读路径

用户如果只想确认“处罚资金到底流向哪里”，建议按“判定 -> 分配 -> 统计 -> 边界”四步核对。

先看 `Check -> Light / Medium / Heavy`，确认处罚分级。
再看 `Dist -> HasChallenger / NoChallenger`，确认 80/20 与 100% burn 分支。
最后回 `emission / foundation / evidence_index`，确认统计承接和边界未串义。

回导出版总图

闭环	拓扑锚点	原始证据	上游 / 下游	当前结论
判定闭环	Consensus / Blockchain -> Audit -> Check	DAR / 双签 / 异常块规则说明	上游 `consensus` / `blockchain`	可证明处罚不是无源之水，而是来自持续评分与异常检测
资金闭环	Heavy -> Dist -> HasChallenger / NoChallenger	`modal-slash-rule` + `modal-slash-raw`	下游 `emission` / 边界 `foundation`	可证明罚没资金不会默认进入基金会金库，且无挑战者时走 100% burn 分支
恢复闭环	Light / Medium -> Appeal -> DAO -> Restore	规则说明 + `dao.html` 治理审核入口	下游 `dao` / `proof_chain`	可证明处罚后仍有挑战与恢复制度，不是只罚不复核


flowchart TD
    Consensus["consensus.html
DAR 审计 / 连续出块保护"] --> Audit["DAR持续评分引擎 / 独立网络审计节点"]
    Blockchain["blockchain.html
双签 / 异常块 / 缺口日志"] --> Audit
    Audit --> Check{"检测到链上或网络异常违约行为"}
    Check -->|"轻微违约"| Light["轻度惩罚: 扣 DAR 积分"]
    Check -->|"中度违约"| Medium["Jail / 暂停出块资格"]
    Check -->|"重度违约 / 恶意作恶"| Heavy["Slash + 永久关入监狱"]
    Heavy --> Dist{"罚没资金分配闭环"}
    Dist -->|"有合格挑战者 / 审计者"| HasChallenger["80% 销毁 + 20% 发给挑战者/审计者"]
    Dist -->|"无合格挑战者 / 审计者"| NoChallenger["100% 全部销毁"]
    HasChallenger --> EmissionState["emission.html
total_burned_from_slash / total_to_challenger"]
    NoChallenger --> EmissionState
    Light --> Appeal["Challenge / Recover 请求"]
    Medium --> Appeal
    Appeal --> DAO["dao.html / 治理审核"]
    DAO -->|"通过"| Restore["恢复候选 / 核心资格"]
    Dist -.-> TreasuryBlock["foundation.html
不得默认流入金库"]

📄 现行规范: 处罚闭环与资金去向

// 1. 处罚采用四级模型：轻违约 / 中违约 / 重违约 / 恶意作恶
// 2. 处罚闭环必须覆盖 slash + jail + challenge + 恢复
// 3. 罚没资金去向必须链上写明并可 query：
//    当前口径为 80% 销毁 + 20% 发给举证成功的挑战者/审计者。
// 4. 严禁流向金库：若无合格挑战者/审计者，则该 20% 也一并销毁，禁止默认流入基金会钱包。
// 这样设计的目的是：最大程度降低系统增发通胀，同时重赏主动维护网络安全的审计者。

📄 docs/logs/20260403_新经济模型与当前实现对比评估_发ClaudeCodeCLI.md

#### 5.4 现行罚没资金去向

80% 直接销毁
20% 发给举证成功的挑战者/审计者

若该次处罚不存在合格挑战者/审计者，则上述 20% 也一并销毁。

页面表达要求：
1. 可以写“100% 全部销毁”，但仅限“无合格挑战者/审计者”的特定分支。
2. 不能把这 20% 写成默认流向 foundation_treasury_v2。
3. 不能把处罚页简化成只有 slash，没有 jail / challenge / 恢复闭环。

📄 可信边界: 处罚闭环、金库闭环、发行统计三者分层

// slashing 页必须同时讲清 3 个层次：
// 1. 处罚判定层：DAR 审计、双签、掉线、恶意作恶
// 2. 处罚执行层：slash / jail / Challenge / Recover
// 3. 处罚资金去向层：80% burn + 20% challenger；无合格挑战者则 100% burn
//
// 但它不能越界成：
// - “处罚资金进入 foundation_treasury_v2”
// - “slashing 页替代 emission 页解释统计字段”
// - “slashing 页替代 dao 页解释治理审核过程”
//
// 可信导航的关键不是把所有逻辑塞一页，而是把跨页关系画清，但边界不混。