@furongjun1999/dsh-memory 0.4.11 → 0.5.0

package/skills/skills/lingshu-compiler/units/compiler-94b8d72d/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-94b8d72d
-description: >-
-  闭包捕获分析 / 编译-闭包捕获分析 / 闭包自由变量分析——引用 / 函数体引用 且 非参数  / （词法作用域。用户提到这些词时使用本技能。
-  场景：对照：闭包自由变量分析——引用∩外层-参数（CPython cell 捕获语义·词法作用域）。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  参数 func_refs/params/outer_vars 合法
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["闭包捕获分析", "编译-闭包捕获分析", "闭包自由变量分析——引用", "函数体引用 且 非参数 ", "（词法作用域"]
-    when: "参数 func_refs/params/outer_vars 合法"
-    sub: []
-    execute: "闭包捕获分析：函数体引用 且 非参数 且 外层可见 = 自由变量；（词法作用域：内层函数用到的外层名字 → 需捕获为 cell；保持源码引用顺序）"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：闭包自由变量分析——引用∩外层-参数（CPython cell 捕获语义·词法作用域）"
----
-
-# 编译-闭包捕获分析（compiler-94b8d72d）
-
-## When to use
-
-任务「闭包捕获分析」；对照：闭包自由变量分析——引用∩外层-参数（CPython cell 捕获语义·词法作用域）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-闭包捕获分析：函数体引用 且 非参数 且 外层可见 = 自由变量；（词法作用域：内层函数用到的外层名字 → 需捕获为 cell；保持源码引用顺序）
-
-## Verification
-
-- 单元样例 3 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「编译-闭包捕获分析」
+---
+name: compiler-94b8d72d
+description: >-
+  闭包捕获分析 / 编译-闭包捕获分析 / 闭包自由变量分析——引用 / 函数体引用 且 非参数  / （词法作用域。用户提到这些词时使用本技能。
+  场景：对照：闭包自由变量分析——引用∩外层-参数（CPython cell 捕获语义·词法作用域）。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  参数 func_refs/params/outer_vars 合法
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["闭包捕获分析", "编译-闭包捕获分析", "闭包自由变量分析——引用", "函数体引用 且 非参数 ", "（词法作用域"]
+    when: "参数 func_refs/params/outer_vars 合法"
+    sub: []
+    execute: "闭包捕获分析：函数体引用 且 非参数 且 外层可见 = 自由变量；（词法作用域：内层函数用到的外层名字 → 需捕获为 cell；保持源码引用顺序）"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：闭包自由变量分析——引用∩外层-参数（CPython cell 捕获语义·词法作用域）"
+---
+
+# 编译-闭包捕获分析（compiler-94b8d72d）
+
+## When to use
+
+任务「闭包捕获分析」；对照：闭包自由变量分析——引用∩外层-参数（CPython cell 捕获语义·词法作用域）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+闭包捕获分析：函数体引用 且 非参数 且 外层可见 = 自由变量；（词法作用域：内层函数用到的外层名字 → 需捕获为 cell；保持源码引用顺序）
+
+## Verification
+
+- 单元样例 3 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「编译-闭包捕获分析」

package/skills/skills/lingshu-compiler/units/compiler-94f12231/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-94f12231
-description: >-
-  标识符解析 / 词法-标识符解析 / 词法——标识符 / CJK/字。用户提到这些词时使用本技能。
-  场景：对照：词法——标识符（CJK/字母数字下划线连续串）。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  参数 src/i 合法
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["标识符解析", "词法-标识符解析", "词法——标识符", "CJK/字"]
-    when: "参数 src/i 合法"
-    sub: ["① 调用 len"]
-    execute: "循环迭代；顺序调用"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：词法——标识符（CJK/字母数字下划线连续串）"
----
-
-# 词法-标识符解析（compiler-94f12231）
-
-## When to use
-
-任务「标识符解析」；对照：词法——标识符（CJK/字母数字下划线连续串）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-循环迭代；顺序调用
-
-## Verification
-
-- 单元样例 3 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「词法-标识符解析」
+---
+name: compiler-94f12231
+description: >-
+  标识符解析 / 词法-标识符解析 / 词法——标识符 / CJK/字。用户提到这些词时使用本技能。
+  场景：对照：词法——标识符（CJK/字母数字下划线连续串）。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  参数 src/i 合法
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["标识符解析", "词法-标识符解析", "词法——标识符", "CJK/字"]
+    when: "参数 src/i 合法"
+    sub: ["① 调用 len"]
+    execute: "循环迭代；顺序调用"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：词法——标识符（CJK/字母数字下划线连续串）"
+---
+
+# 词法-标识符解析（compiler-94f12231）
+
+## When to use
+
+任务「标识符解析」；对照：词法——标识符（CJK/字母数字下划线连续串）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+循环迭代；顺序调用
+
+## Verification
+
+- 单元样例 3 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「词法-标识符解析」

package/skills/skills/lingshu-compiler/units/compiler-95937c16/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-95937c16
-description: >-
-  字符串字面量 / 词法-字符串字面量 / 词法——字符串字面量 / 引号内解析→ 。用户提到这些词时使用本技能。
-  场景：对照：词法——字符串字面量（引号+转义解析，未闭合标记）。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  参数 src/i 合法
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["字符串字面量", "词法-字符串字面量", "词法——字符串字面量", "引号内解析→ "]
-    when: "参数 src/i 合法"
-    sub: ["① 调用 len"]
-    execute: "循环迭代；顺序调用"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：词法——字符串字面量（引号+转义解析，未闭合标记）"
----
-
-# 词法-字符串字面量（compiler-95937c16）
-
-## When to use
-
-任务「字符串字面量」；对照：词法——字符串字面量（引号+转义解析，未闭合标记）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-循环迭代；顺序调用
-
-## Verification
-
-- 单元样例 3 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「词法-字符串字面量」
+---
+name: compiler-95937c16
+description: >-
+  字符串字面量 / 词法-字符串字面量 / 词法——字符串字面量 / 引号内解析→ 。用户提到这些词时使用本技能。
+  场景：对照：词法——字符串字面量（引号+转义解析，未闭合标记）。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  参数 src/i 合法
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["字符串字面量", "词法-字符串字面量", "词法——字符串字面量", "引号内解析→ "]
+    when: "参数 src/i 合法"
+    sub: ["① 调用 len"]
+    execute: "循环迭代；顺序调用"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：词法——字符串字面量（引号+转义解析，未闭合标记）"
+---
+
+# 词法-字符串字面量（compiler-95937c16）
+
+## When to use
+
+任务「字符串字面量」；对照：词法——字符串字面量（引号+转义解析，未闭合标记）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+循环迭代；顺序调用
+
+## Verification
+
+- 单元样例 3 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「词法-字符串字面量」

package/skills/skills/lingshu-compiler/units/compiler-98a5625b/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-98a5625b
-description: >-
-  条件断点 / 调试-条件断点 / C4 调 / set 设。用户提到这些词时使用本技能。
-  场景：对照：C4 调试器——条件断点（条件满足才暂停）。
-  【不适用】Not for 以下场景：op 非 {hit, set} 时
-license: MIT
-compatibility: >-
-  op ∈ {hit, set}
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["条件断点", "调试-条件断点", "C4 调", "set 设"]
-    when: "op ∈ {hit, set}"
-    sub: ["① op 分支处理"]
-    execute: "按 op 分派；顺序调用"
-    not_applicable: ["op 非 {hit, set} 时"]
-  calibration: "对照：C4 调试器——条件断点（条件满足才暂停）"
----
-
-# 调试-条件断点（compiler-98a5625b）
-
-## When to use
-
-任务「条件断点」；对照：C4 调试器——条件断点（条件满足才暂停）。
-
-## 克制条款（不适用条件）
-
-op 非 {hit, set} 时
-
-## How to execute
-
-按 op 分派；顺序调用
-
-## Verification
-
-- 单元样例 4 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「调试-条件断点」
+---
+name: compiler-98a5625b
+description: >-
+  条件断点 / 调试-条件断点 / C4 调 / set 设。用户提到这些词时使用本技能。
+  场景：对照：C4 调试器——条件断点（条件满足才暂停）。
+  【不适用】Not for 以下场景：op 非 {hit, set} 时
+license: MIT
+compatibility: >-
+  op ∈ {hit, set}
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["条件断点", "调试-条件断点", "C4 调", "set 设"]
+    when: "op ∈ {hit, set}"
+    sub: ["① op 分支处理"]
+    execute: "按 op 分派；顺序调用"
+    not_applicable: ["op 非 {hit, set} 时"]
+  calibration: "对照：C4 调试器——条件断点（条件满足才暂停）"
+---
+
+# 调试-条件断点（compiler-98a5625b）
+
+## When to use
+
+任务「条件断点」；对照：C4 调试器——条件断点（条件满足才暂停）。
+
+## 克制条款（不适用条件）
+
+op 非 {hit, set} 时
+
+## How to execute
+
+按 op 分派；顺序调用
+
+## Verification
+
+- 单元样例 4 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「调试-条件断点」

package/skills/skills/lingshu-compiler/units/compiler-98b4c42f/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-98b4c42f
-description: >-
-  循环展开 / 编译-循环展开 / 编译优化——循环展开。用户提到这些词时使用本技能。
-  场景：对照：编译优化——循环展开（固定次数体复制，上限防膨胀）。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  参数 body/times/max_unroll 合法
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["循环展开", "编译-循环展开", "编译优化——循环展开"]
-    when: "参数 body/times/max_unroll 合法"
-    sub: ["① 调用 list"]
-    execute: "顺序调用"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：编译优化——循环展开（固定次数体复制，上限防膨胀）"
----
-
-# 编译-循环展开（compiler-98b4c42f）
-
-## When to use
-
-任务「循环展开」；对照：编译优化——循环展开（固定次数体复制，上限防膨胀）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-顺序调用
-
-## Verification
-
-- 单元样例 4 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「编译-循环展开」
+---
+name: compiler-98b4c42f
+description: >-
+  循环展开 / 编译-循环展开 / 编译优化——循环展开。用户提到这些词时使用本技能。
+  场景：对照：编译优化——循环展开（固定次数体复制，上限防膨胀）。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  参数 body/times/max_unroll 合法
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["循环展开", "编译-循环展开", "编译优化——循环展开"]
+    when: "参数 body/times/max_unroll 合法"
+    sub: ["① 调用 list"]
+    execute: "顺序调用"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：编译优化——循环展开（固定次数体复制，上限防膨胀）"
+---
+
+# 编译-循环展开（compiler-98b4c42f）
+
+## When to use
+
+任务「循环展开」；对照：编译优化——循环展开（固定次数体复制，上限防膨胀）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+顺序调用
+
+## Verification
+
+- 单元样例 4 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「编译-循环展开」

package/skills/skills/lingshu-compiler/units/compiler-98e3894a/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-98e3894a
-description: >-
-  去虚拟化 / 编译-去虚拟化 / 已知单实现调用替换为直接。用户提到这些词时使用本技能。
-  场景：对照：去虚拟化——单实现类调用改直接调用。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  参数 dispatch/known 合法
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["去虚拟化", "编译-去虚拟化", "已知单实现调用替换为直接"]
-    when: "参数 dispatch/known 合法"
-    sub: ["① 调用 len"]
-    execute: "循环迭代；顺序调用"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：去虚拟化——单实现类调用改直接调用"
----
-
-# 编译-去虚拟化（compiler-98e3894a）
-
-## When to use
-
-任务「去虚拟化」；对照：去虚拟化——单实现类调用改直接调用。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-循环迭代；顺序调用
-
-## Verification
-
-- 单元样例 3 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「编译-去虚拟化」
+---
+name: compiler-98e3894a
+description: >-
+  去虚拟化 / 编译-去虚拟化 / 已知单实现调用替换为直接。用户提到这些词时使用本技能。
+  场景：对照：去虚拟化——单实现类调用改直接调用。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  参数 dispatch/known 合法
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["去虚拟化", "编译-去虚拟化", "已知单实现调用替换为直接"]
+    when: "参数 dispatch/known 合法"
+    sub: ["① 调用 len"]
+    execute: "循环迭代；顺序调用"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：去虚拟化——单实现类调用改直接调用"
+---
+
+# 编译-去虚拟化（compiler-98e3894a）
+
+## When to use
+
+任务「去虚拟化」；对照：去虚拟化——单实现类调用改直接调用。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+循环迭代；顺序调用
+
+## Verification
+
+- 单元样例 3 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「编译-去虚拟化」

package/skills/skills/lingshu-compiler/units/compiler-9bdfe4b8/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-9bdfe4b8
-description: >-
-  循环不变式 / 编译-循环不变式 / 编译优化——循环不变式外 / 不变指令外提。用户提到这些词时使用本技能。
-  场景：对照：编译优化——循环不变式外提（循环外计算）。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  参数 body/invariant_ops 合法
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["循环不变式", "编译-循环不变式", "编译优化——循环不变式外", "不变指令外提"]
-    when: "参数 body/invariant_ops 合法"
-    sub: ["① 条件判定 ② 结果处理"]
-    execute: "循环迭代"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：编译优化——循环不变式外提（循环外计算）"
----
-
-# 编译-循环不变式（compiler-9bdfe4b8）
-
-## When to use
-
-任务「循环不变式」；对照：编译优化——循环不变式外提（循环外计算）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-循环迭代
-
-## Verification
-
-- 单元样例 3 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「编译-循环不变式」
+---
+name: compiler-9bdfe4b8
+description: >-
+  循环不变式 / 编译-循环不变式 / 编译优化——循环不变式外 / 不变指令外提。用户提到这些词时使用本技能。
+  场景：对照：编译优化——循环不变式外提（循环外计算）。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  参数 body/invariant_ops 合法
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["循环不变式", "编译-循环不变式", "编译优化——循环不变式外", "不变指令外提"]
+    when: "参数 body/invariant_ops 合法"
+    sub: ["① 条件判定 ② 结果处理"]
+    execute: "循环迭代"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：编译优化——循环不变式外提（循环外计算）"
+---
+
+# 编译-循环不变式（compiler-9bdfe4b8）
+
+## When to use
+
+任务「循环不变式」；对照：编译优化——循环不变式外提（循环外计算）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+循环迭代
+
+## Verification
+
+- 单元样例 3 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「编译-循环不变式」