@furongjun1999/dsh-memory 0.4.11 → 0.5.1

package/skills/skills/lingshu-compiler/units/compiler-cda9c262/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-cda9c262
-description: >-
-  边界检查消除 / 编译-边界检查消除 / 编译优化——边界检查消除 / prove 证。用户提到这些词时使用本技能。
-  场景：对照：编译优化——边界检查消除（可证范围免检）。
-  【不适用】Not for 以下场景：op 非 {eliminate, prove} 时
-license: MIT
-compatibility: >-
-  op ∈ {eliminate, prove}
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["边界检查消除", "编译-边界检查消除", "编译优化——边界检查消除", "prove 证"]
-    when: "op ∈ {eliminate, prove}"
-    sub: ["① op 分支处理"]
-    execute: "按 op 分派"
-    not_applicable: ["op 非 {eliminate, prove} 时"]
-  calibration: "对照：编译优化——边界检查消除（可证范围免检）"
----
-
-# 编译-边界检查消除（compiler-cda9c262）
-
-## When to use
-
-任务「边界检查消除」；对照：编译优化——边界检查消除（可证范围免检）。
-
-## 克制条款（不适用条件）
-
-op 非 {eliminate, prove} 时
-
-## How to execute
-
-按 op 分派
-
-## Verification
-
-- 单元样例 4 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「编译-边界检查消除」
+---
+name: compiler-cda9c262
+description: >-
+  边界检查消除 / 编译-边界检查消除 / 编译优化——边界检查消除 / prove 证。用户提到这些词时使用本技能。
+  场景：对照：编译优化——边界检查消除（可证范围免检）。
+  【不适用】Not for 以下场景：op 非 {eliminate, prove} 时
+license: MIT
+compatibility: >-
+  op ∈ {eliminate, prove}
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["边界检查消除", "编译-边界检查消除", "编译优化——边界检查消除", "prove 证"]
+    when: "op ∈ {eliminate, prove}"
+    sub: ["① op 分支处理"]
+    execute: "按 op 分派"
+    not_applicable: ["op 非 {eliminate, prove} 时"]
+  calibration: "对照：编译优化——边界检查消除（可证范围免检）"
+---
+
+# 编译-边界检查消除（compiler-cda9c262）
+
+## When to use
+
+任务「边界检查消除」；对照：编译优化——边界检查消除（可证范围免检）。
+
+## 克制条款（不适用条件）
+
+op 非 {eliminate, prove} 时
+
+## How to execute
+
+按 op 分派
+
+## Verification
+
+- 单元样例 4 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「编译-边界检查消除」

package/skills/skills/lingshu-compiler/units/compiler-ce648068/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-ce648068
-description: >-
-  控制流图 / 分析-控制流图 / CFG——基 / 基本块间跳转关系。用户提到这些词时使用本技能。
-  场景：对照：CFG——基本块跳转边构建（控制流图）。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  参数 blocks/jumps 合法
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["控制流图", "分析-控制流图", "CFG——基", "基本块间跳转关系"]
-    when: "参数 blocks/jumps 合法"
-    sub: []
-    execute: "循环迭代"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：CFG——基本块跳转边构建（控制流图）"
----
-
-# 分析-控制流图（compiler-ce648068）
-
-## When to use
-
-任务「控制流图」；对照：CFG——基本块跳转边构建（控制流图）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-循环迭代
-
-## Verification
-
-- 单元样例 3 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「分析-控制流图」
+---
+name: compiler-ce648068
+description: >-
+  控制流图 / 分析-控制流图 / CFG——基 / 基本块间跳转关系。用户提到这些词时使用本技能。
+  场景：对照：CFG——基本块跳转边构建（控制流图）。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  参数 blocks/jumps 合法
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["控制流图", "分析-控制流图", "CFG——基", "基本块间跳转关系"]
+    when: "参数 blocks/jumps 合法"
+    sub: []
+    execute: "循环迭代"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：CFG——基本块跳转边构建（控制流图）"
+---
+
+# 分析-控制流图（compiler-ce648068）
+
+## When to use
+
+任务「控制流图」；对照：CFG——基本块跳转边构建（控制流图）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+循环迭代
+
+## Verification
+
+- 单元样例 3 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「分析-控制流图」

package/skills/skills/lingshu-compiler/units/compiler-cf5776a4/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-cf5776a4
-description: >-
-  字节码序列化 / 字节码-序列化 / C3 原。用户提到这些词时使用本技能。
-  场景：对照：C3 原生编译——字节码文件格式（op字符串+arg类型标记编码）。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  code 为 (op, arg) 指令列表；arg 为 int/str/None
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["字节码序列化", "字节码-序列化", "C3 原"]
-    when: "code 为 (op, arg) 指令列表；arg 为 int/str/None"
-    sub: ["① op 定长前缀编码 ② arg 类型分派编码 ③ 拼装字节串"]
-    execute: "struct.pack 前缀长度 + utf-8 op + arg 按类型编码"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：C3 原生编译——字节码文件格式（op字符串+arg类型标记编码）"
----
-
-# 字节码-序列化（compiler-cf5776a4）
-
-## When to use
-
-任务「字节码序列化」；对照：C3 原生编译——字节码文件格式（op字符串+arg类型标记编码）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-struct.pack 前缀长度 + utf-8 op + arg 按类型编码
-
-## Verification
-
-- 单元样例 1 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「字节码-序列化」
+---
+name: compiler-cf5776a4
+description: >-
+  字节码序列化 / 字节码-序列化 / C3 原。用户提到这些词时使用本技能。
+  场景：对照：C3 原生编译——字节码文件格式（op字符串+arg类型标记编码）。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  code 为 (op, arg) 指令列表；arg 为 int/str/None
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["字节码序列化", "字节码-序列化", "C3 原"]
+    when: "code 为 (op, arg) 指令列表；arg 为 int/str/None"
+    sub: ["① op 定长前缀编码 ② arg 类型分派编码 ③ 拼装字节串"]
+    execute: "struct.pack 前缀长度 + utf-8 op + arg 按类型编码"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：C3 原生编译——字节码文件格式（op字符串+arg类型标记编码）"
+---
+
+# 字节码-序列化（compiler-cf5776a4）
+
+## When to use
+
+任务「字节码序列化」；对照：C3 原生编译——字节码文件格式（op字符串+arg类型标记编码）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+struct.pack 前缀长度 + utf-8 op + arg 按类型编码
+
+## Verification
+
+- 单元样例 1 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「字节码-序列化」

package/skills/skills/lingshu-compiler/units/compiler-d974e5d3/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-d974e5d3
-description: >-
-  函数签名 / 语法-函数签名 / 语法——函数签名参数列表 / 函数签名解析 / 参数列表（逗号分隔。用户提到这些词时使用本技能。
-  场景：对照：语法——函数签名参数列表（默认值剥离）。
-  【不适用】Not for 以下场景：params_str 为空/非法时
-license: MIT
-compatibility: >-
-  params_str.strip 可用
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["函数签名", "语法-函数签名", "语法——函数签名参数列表", "函数签名解析", "参数列表（逗号分隔"]
-    when: "params_str.strip 可用"
-    sub: ["① 条件判定 ② 结果处理"]
-    execute: "函数签名解析：参数列表（逗号分隔，默认值剥离）→ 参数名列表"
-    not_applicable: ["params_str 为空/非法时"]
-  calibration: "对照：语法——函数签名参数列表（默认值剥离）"
----
-
-# 语法-函数签名（compiler-d974e5d3）
-
-## When to use
-
-任务「函数签名」；对照：语法——函数签名参数列表（默认值剥离）。
-
-## 克制条款（不适用条件）
-
-params_str 为空/非法时
-
-## How to execute
-
-函数签名解析：参数列表（逗号分隔，默认值剥离）→ 参数名列表
-
-## Verification
-
-- 单元样例 3 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「语法-函数签名」
+---
+name: compiler-d974e5d3
+description: >-
+  函数签名 / 语法-函数签名 / 语法——函数签名参数列表 / 函数签名解析 / 参数列表（逗号分隔。用户提到这些词时使用本技能。
+  场景：对照：语法——函数签名参数列表（默认值剥离）。
+  【不适用】Not for 以下场景：params_str 为空/非法时
+license: MIT
+compatibility: >-
+  params_str.strip 可用
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["函数签名", "语法-函数签名", "语法——函数签名参数列表", "函数签名解析", "参数列表（逗号分隔"]
+    when: "params_str.strip 可用"
+    sub: ["① 条件判定 ② 结果处理"]
+    execute: "函数签名解析：参数列表（逗号分隔，默认值剥离）→ 参数名列表"
+    not_applicable: ["params_str 为空/非法时"]
+  calibration: "对照：语法——函数签名参数列表（默认值剥离）"
+---
+
+# 语法-函数签名（compiler-d974e5d3）
+
+## When to use
+
+任务「函数签名」；对照：语法——函数签名参数列表（默认值剥离）。
+
+## 克制条款（不适用条件）
+
+params_str 为空/非法时
+
+## How to execute
+
+函数签名解析：参数列表（逗号分隔，默认值剥离）→ 参数名列表
+
+## Verification
+
+- 单元样例 3 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「语法-函数签名」

package/skills/skills/lingshu-compiler/units/compiler-e3979fd3/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-e3979fd3
-description: >-
-  栈深度分析 / 分析-栈深度分析 / 编译期分析——指令流最大 / 模拟指令流求最大栈深。用户提到这些词时使用本技能。
-  场景：对照：编译期分析——指令流最大栈深度（VM 栈帧大小）。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  参数 instrs 合法
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["栈深度分析", "分析-栈深度分析", "编译期分析——指令流最大", "模拟指令流求最大栈深"]
-    when: "参数 instrs 合法"
-    sub: ["① 调用 max"]
-    execute: "循环迭代；顺序调用"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：编译期分析——指令流最大栈深度（VM 栈帧大小）"
----
-
-# 分析-栈深度分析（compiler-e3979fd3）
-
-## When to use
-
-任务「栈深度分析」；对照：编译期分析——指令流最大栈深度（VM 栈帧大小）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-循环迭代；顺序调用
-
-## Verification
-
-- 单元样例 3 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「分析-栈深度分析」
+---
+name: compiler-e3979fd3
+description: >-
+  栈深度分析 / 分析-栈深度分析 / 编译期分析——指令流最大 / 模拟指令流求最大栈深。用户提到这些词时使用本技能。
+  场景：对照：编译期分析——指令流最大栈深度（VM 栈帧大小）。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  参数 instrs 合法
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["栈深度分析", "分析-栈深度分析", "编译期分析——指令流最大", "模拟指令流求最大栈深"]
+    when: "参数 instrs 合法"
+    sub: ["① 调用 max"]
+    execute: "循环迭代；顺序调用"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：编译期分析——指令流最大栈深度（VM 栈帧大小）"
+---
+
+# 分析-栈深度分析（compiler-e3979fd3）
+
+## When to use
+
+任务「栈深度分析」；对照：编译期分析——指令流最大栈深度（VM 栈帧大小）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+循环迭代；顺序调用
+
+## Verification
+
+- 单元样例 3 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「分析-栈深度分析」

package/skills/skills/lingshu-compiler/units/compiler-eb1cf2b5/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-eb1cf2b5
-description: >-
-  信任流分析 / 编译-信任流分析 / 德=信任累积。用户提到这些词时使用本技能。
-  场景：对照：德=信任累积（v0.2 信任语义）的编译期数据流——与取min、或取max、非取补；字面量完全可信、未收录名不可信。
-  【不适用】Not for 以下场景：env 中未收录的名称按不可信（0.0）处理；不修改 env 内容
-license: MIT
-compatibility: >-
-  expr 为表达式树（tuple 操作节点/字符串名/字面量）；env 为名→信任值映射
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["信任流分析", "编译-信任流分析", "德=信任累积"]
-    when: "expr 为表达式树（tuple 操作节点/字符串名/字面量）；env 为名→信任值映射"
-    sub: ["① 操作节点递归传播 ② 名称查 env ③ 字面量视为完全可信"]
-    execute: "AND=min / OR=max / NOT=1-t 递归归约"
-    not_applicable: ["env 中未收录的名称按不可信（0.0）处理；不修改 env 内容"]
-  calibration: "对照：德=信任累积（v0.2 信任语义）的编译期数据流——与取min、或取max、非取补；字面量完全可信、未收录名不可信"
----
-
-# 编译-信任流分析（compiler-eb1cf2b5）
-
-## When to use
-
-任务「信任流分析」；对照：德=信任累积（v0.2 信任语义）的编译期数据流——与取min、或取max、非取补；字面量完全可信、未收录名不可信。
-
-## 克制条款（不适用条件）
-
-env 中未收录的名称按不可信（0.0）处理；不修改 env 内容
-
-## How to execute
-
-AND=min / OR=max / NOT=1-t 递归归约
-
-## Verification
-
-- 单元样例 7 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「编译-信任流分析」
+---
+name: compiler-eb1cf2b5
+description: >-
+  信任流分析 / 编译-信任流分析 / 德=信任累积。用户提到这些词时使用本技能。
+  场景：对照：德=信任累积（v0.2 信任语义）的编译期数据流——与取min、或取max、非取补；字面量完全可信、未收录名不可信。
+  【不适用】Not for 以下场景：env 中未收录的名称按不可信（0.0）处理；不修改 env 内容
+license: MIT
+compatibility: >-
+  expr 为表达式树（tuple 操作节点/字符串名/字面量）；env 为名→信任值映射
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["信任流分析", "编译-信任流分析", "德=信任累积"]
+    when: "expr 为表达式树（tuple 操作节点/字符串名/字面量）；env 为名→信任值映射"
+    sub: ["① 操作节点递归传播 ② 名称查 env ③ 字面量视为完全可信"]
+    execute: "AND=min / OR=max / NOT=1-t 递归归约"
+    not_applicable: ["env 中未收录的名称按不可信（0.0）处理；不修改 env 内容"]
+  calibration: "对照：德=信任累积（v0.2 信任语义）的编译期数据流——与取min、或取max、非取补；字面量完全可信、未收录名不可信"
+---
+
+# 编译-信任流分析（compiler-eb1cf2b5）
+
+## When to use
+
+任务「信任流分析」；对照：德=信任累积（v0.2 信任语义）的编译期数据流——与取min、或取max、非取补；字面量完全可信、未收录名不可信。
+
+## 克制条款（不适用条件）
+
+env 中未收录的名称按不可信（0.0）处理；不修改 env 内容
+
+## How to execute
+
+AND=min / OR=max / NOT=1-t 递归归约
+
+## Verification
+
+- 单元样例 7 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「编译-信任流分析」

package/skills/skills/lingshu-compiler/units/compiler-ecb30d5b/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-ecb30d5b
-description: >-
-  链式比较 / 编译-链式比较 / a < b < c → 。用户提到这些词时使用本技能。
-  场景：对照：编译链式比较——a<b<c = (a<b) 且 (b<c)（短路组合，Python 链式语义）。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  参数 cmp1/cmp2 合法
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["链式比较", "编译-链式比较", "a < b < c → "]
-    when: "参数 cmp1/cmp2 合法"
-    sub: ["① 调用 list"]
-    execute: "顺序调用"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：编译链式比较——a<b<c = (a<b) 且 (b<c)（短路组合，Python 链式语义）"
----
-
-# 编译-链式比较（compiler-ecb30d5b）
-
-## When to use
-
-任务「链式比较」；对照：编译链式比较——a<b<c = (a<b) 且 (b<c)（短路组合，Python 链式语义）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-顺序调用
-
-## Verification
-
-- 单元样例 1 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「编译-链式比较」
+---
+name: compiler-ecb30d5b
+description: >-
+  链式比较 / 编译-链式比较 / a < b < c → 。用户提到这些词时使用本技能。
+  场景：对照：编译链式比较——a<b<c = (a<b) 且 (b<c)（短路组合，Python 链式语义）。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  参数 cmp1/cmp2 合法
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["链式比较", "编译-链式比较", "a < b < c → "]
+    when: "参数 cmp1/cmp2 合法"
+    sub: ["① 调用 list"]
+    execute: "顺序调用"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：编译链式比较——a<b<c = (a<b) 且 (b<c)（短路组合，Python 链式语义）"
+---
+
+# 编译-链式比较（compiler-ecb30d5b）
+
+## When to use
+
+任务「链式比较」；对照：编译链式比较——a<b<c = (a<b) 且 (b<c)（短路组合，Python 链式语义）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+顺序调用
+
+## Verification
+
+- 单元样例 1 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「编译-链式比较」