| name | mojia-explanation-constrain |
| description | 墨学双链推理架构 - 说层：架构护栏核心。三锁结构（词义锁、边界锁、规则锁）+ 智能松紧适配 + 约束自校验 + 双源对照杜绝失真。v2.1 — 新增否定结构强制锁定表（自动锁定三层否定/范围/量词/指代）+ 题型自适应松紧触发（按 NLI/词汇歧义自动放松边界锁）。触发场景：经文自检通过后执行；需生成专属动态语义契约；需锁定歧义词义、明确推演边界、设定推理规则。 |
| agent_created | true |
03 - 【说】约束锁真 Skill v2.1
墨学经说双链推理架构 说层模块，架构护栏核心。说者，锁定词义、边界、规则。
核心定位
《墨经》之"说"：对"经"的极简命题进行定向锁义，消除歧义、锁定边界。本模块将其标准化为固定三锁结构 + 智能松紧适配的约束生成流程。
降温 ≠ 死板：降温是锁定语义边界，但在发散模式下应保留合理创意空间。
一、输入
双源对照（杜绝失真）：
{
"source_1": "用户原始清洗文本",
"source_2": "自检通过的经文（或降级标记）",
"preserved_conditions": ["条件1", "条件2"],
"preserved_prohibitions": ["禁止项1"],
"conflicts_carried": [],
"degradation_triggered": false
}
双源对照原则：以用户原文和经文双重对照生成约束，任一源的信息都不可忽略。
二、固定三锁结构（强制必填）
2.1 词义锁
对高频歧义字强制逐条唯一释义，排除所有引申义。
内置高频歧义词黑名单（命中必锁）：
歧义词表：
道、势、权、治、损益、自治、机、变、可爱、杀伐、
自然、根本、适当、合理、相关、基本、主要、一般、
正常、特殊、简单、复杂、重要、紧急、优先、高级、
智能、安全、高效、稳定、灵活、兼容、统一、标准
否定结构强制锁定表（v2.1 新增，命中必锁）：
否定/范围/指代是中文语用陷阱最高发的来源。原黑名单只覆盖"道/势/可爱"这类词义歧义词，漏掉了否定结构，导致三层否定等题此前靠执行人手动锁定。v2.1 起改为自动强制锁定。
- 否定词库（前缀/副词/动词式/隐性）：
不、没、没有、无、非、未、莫、勿、毋、弗、休、别、不要、不用、不必、无需、无须、禁止、严禁、避免、防止、杜绝、切勿、切莫、不可、不能、不该、不准、不许
- 隐性否定标记： "只用…就行""查询就好""不需要""不用管""无所谓"中的弱化否定
- 否定结构识别规则（逐层还原，不得跳步）：
- 双重否定回正：「不是没 / 不无 / 非不 / 没不」→ 回到肯定且语义加重
- 三重及以上嵌套：自内向外逐层标注正负，每层独立判定后叠加（如「你不是没说过你不想来」= 不是 ∘ 没 ∘ 不想，三层嵌套）
- 隐性否定作用域：被否定词后的名词/动词短语整体纳入"被否定"域，直到下一个标点或连词
- 范围副词强制锁定： 都、全、全部、所有、任何、每个、皆、均、仅、只、单单、唯独、至少、至多、几乎、基本、大体
- 量词/指代强制锁定： 其、此、该、这/那（+名词）、前者、后者、二者、各、分别、彼此
输出要求： 命中上述任一类，词义锁必须显式写出"逐层唯一释义还原链"，例如三层否定须列出 ①→②→③ 的还原步骤，禁止在释义中保留任何未拆的否定嵌套。
词义锁格式：
【说-词义锁】
- [歧义词]：[本条唯一释义]，排除[引申义1]、[引申义2]
- [歧义词]：[本条唯一释义]，排除[引申义1]
示例：
【说-词义锁】
- 可爱：柔和配色、圆润组件、轻量卡通元素，非酷炫、商务、暗黑风格
- 青少年：适配低龄审美，简洁清爽、无复杂视觉压迫，非成人化、非低幼化
2.2 边界锁
明确允许维度和严格禁止维度。
边界锁格式：
【说-边界锁】
- 允许推演维度：[维度1]、[维度2]、[维度3]
- 禁止推演维度：[维度1]、[维度2]
示例：
【说-边界锁】
- 允许推演维度：网页UI、布局、配色、组件风格
- 禁止推演维度：后端架构、运维部署、备案流程、营销内容
2.3 规则锁
设定推理底线、防编造、输出规范、推演规模上限。
规则锁格式：
【说-规则锁】
- 推理底线：[底线规则]
- 防编造：[防编造规则]
- 输出规范：[输出格式要求]
- 推演规模上限：[最大方案数/最大维度数]
示例：
【说-规则锁】
- 推理底线：所有样式需可前端落地，不虚构不存在组件
- 防编造：引用技术框架须为真实存在的框架
- 输出规范：每方案含配色方案、组件列表、布局描述
- 推演规模上限：最多3套方案，每方案不超过5个核心组件
三、智能松紧适配
根据前置意图预判（由路由模块提供，或本模块预判），自动调整约束强度：
| 预判模式 | 词义锁 | 边界锁 | 规则锁 |
|---|
| 发散优先 | 严锁歧义 | 适度宽松，保留创意空间 | 仅底线护栏，不卡死可能性 |
| 收敛优先 | 全维度严锁 | 全维度严锁 | 全维度严锁，零脑补 |
| 混合审慎 | 严锁歧义 | 中等收紧 | 底线 + 关键约束 |
3.1 题型自适应触发（v2.1 新增）
在路由预判（发散/收敛/混合）之外，新增细粒度题型识别，自动决定"放松哪一把锁"——这把"自适应"从设计变为部分实现（呼应论文第 7.2 节）：
| 检测到的题型 | 自动松锁动作 | 理由 |
|---|
| 自然语言推理（NLI）/ 形式逻辑 | 放松边界锁（允许形式推演展开），词义锁仍严 | 约束过死压垮形式推理（实测 NLI −0.40） |
| 词汇歧义 | 放松边界锁，词义锁仅锁目标词 | 实测词汇歧义 −0.17 |
| 否定范围 / 角色推测 | 全维度严锁 + 否定结构强制锁定 | 实测领先最多（+0.80 / +1.20） |
| 创意 / 设计 | 边界锁适度宽松，保留创意 | 发散需求 |
触发来源： 优先读取路由模块 diagnostics 的 task_type_hint 字段；若路由未提供，本模块按关键词启发式自判（含"推理/逻辑/蕴含/矛盾/前提"→ NLI；含"意思/含义/指/代/哪个"→ 词汇歧义；含"不是没/没说过/不想"等嵌套否定 → 否定范围）。
发散模式适配示例：
词义锁：严锁（可爱≠商务，必须明确）
边界锁：适度宽松（允许探索网页风格的多种可爱变体：萌系、治愈系、活力系）
规则锁：仅底线（所有方案需可落地，不虚构组件），不限制创意方向
收敛模式适配示例：
词义锁：全维度严锁（每个关键词唯一释义）
边界锁：全维度严锁（仅允许查询指定数据，禁止延伸分析）
规则锁：零脑补（数据不足如实留白，禁止任何推断填补）
四、约束自校验
生成约束后，自动检测约束内部冲突：
| 检查项 | 判定标准 |
|---|
| 边界自相矛盾 | 允许维度与禁止维度有重叠 → 冲突 |
| 词义与边界矛盾 | 词义锁限定的范围与边界锁矛盾 → 冲突 |
| 规则与边界矛盾 | 规则锁要求超出边界锁允许范围 → 冲突 |
| 松紧适配矛盾 | 松紧度与预判模式不一致 → 冲突 |
冲突处理：检测到冲突则重构重生成约束，最多重试 2 次。
五、冲突透传处理
当预处理模块标记了语义冲突时，在词义锁中专项处理：
冲突标记：[[CONFLICT:STYLE]] 可爱 vs 商务
词义锁处理：
- 可爱：[释义]，与商务严谨风格存在冲突，本条按用户优先顺序处理
- 商务严谨：[释义]，与可爱风格存在冲突，需在方案中分别呈现或融合处理
六、输出规范
{
"gloss_lock": "词义锁全文",
"boundary_lock": "边界锁全文",
"rule_lock": "规则锁全文",
"tightness_mode": "loose | medium | strict",
"self_check": {
"passed": true,
"conflicts_found": []
},
"full_constraint_text": "【说-词义锁】...\n【说-边界锁】...\n【说-规则锁】..."
}
七、执行流程
双源输入（用户原文 + 经文）+ 预判模式
│
▼
[1] 歧义词扫描：匹配高频歧义词黑名单 + 识别上下文歧义词
│
▼
[2] 生成词义锁：逐条唯一释义，排除引申义
│── 有冲突标记 ──▶ 在词义锁中专项处理冲突
│
▼
[3] 生成边界锁：基于双源提取允许/禁止维度
│
▼
[4] 生成规则锁：设定底线、防编造、输出规范、规模上限
│
▼
[5] 松紧适配：根据预判模式调整约束强度
│
▼
[6] 约束自校验：检测内部冲突
│── 有冲突 ──▶ 重构重生成（最多2次）
│
▼
[7] 输出三锁全文 + 松紧模式 + 自检结果
│
▼
交付【动态意图路由】模块（如未预判）或直接进入推理执行
