@furongjun1999/dsh-memory 0.4.11 → 0.5.1

package/skills/skills/lingshu-compiler/units/compiler-7b229a7d/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-7b229a7d
-description: >-
-  紧凑编码 / 字节码-紧凑编码 / C3 .pbc 体 / encode 变。用户提到这些词时使用本技能。
-  场景：对照：C3 .pbc 体积优化——varint 变长整数（小整数 1 字节）。
-  【不适用】Not for 以下场景：b 越界（Lt）时；mode 非 {decode, encode} 时
-license: MIT
-compatibility: >-
-  mode ∈ {decode, encode}
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["紧凑编码", "字节码-紧凑编码", "C3 .pbc 体", "encode 变"]
-    when: "mode ∈ {decode, encode}"
-    sub: ["1 mode 分支处理"]
-    execute: "按 op 分派；循环迭代；顺序调用"
-    not_applicable: ["b 越界（Lt）时；mode 非 {decode, encode} 时"]
-  calibration: "对照：C3 .pbc 体积优化——varint 变长整数（小整数 1 字节）"
----
-
-# 字节码-紧凑编码（compiler-7b229a7d）
-
-## When to use
-
-任务「紧凑编码」；对照：C3 .pbc 体积优化——varint 变长整数（小整数 1 字节）。
-
-## 克制条款（不适用条件）
-
-b 越界（Lt）时；mode 非 {decode, encode} 时
-
-## How to execute
-
-按 op 分派；循环迭代；顺序调用
-
-## Verification
-
-- 单元样例 4 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「字节码-紧凑编码」
+---
+name: compiler-7b229a7d
+description: >-
+  紧凑编码 / 字节码-紧凑编码 / C3 .pbc 体 / encode 变。用户提到这些词时使用本技能。
+  场景：对照：C3 .pbc 体积优化——varint 变长整数（小整数 1 字节）。
+  【不适用】Not for 以下场景：b 越界（Lt）时；mode 非 {decode, encode} 时
+license: MIT
+compatibility: >-
+  mode ∈ {decode, encode}
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["紧凑编码", "字节码-紧凑编码", "C3 .pbc 体", "encode 变"]
+    when: "mode ∈ {decode, encode}"
+    sub: ["1 mode 分支处理"]
+    execute: "按 op 分派；循环迭代；顺序调用"
+    not_applicable: ["b 越界（Lt）时；mode 非 {decode, encode} 时"]
+  calibration: "对照：C3 .pbc 体积优化——varint 变长整数（小整数 1 字节）"
+---
+
+# 字节码-紧凑编码（compiler-7b229a7d）
+
+## When to use
+
+任务「紧凑编码」；对照：C3 .pbc 体积优化——varint 变长整数（小整数 1 字节）。
+
+## 克制条款（不适用条件）
+
+b 越界（Lt）时；mode 非 {decode, encode} 时
+
+## How to execute
+
+按 op 分派；循环迭代；顺序调用
+
+## Verification
+
+- 单元样例 4 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「字节码-紧凑编码」

package/skills/skills/lingshu-compiler/units/compiler-7f471b3a/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-7f471b3a
-description: >-
-  基本块 / 分析-基本块 / CFG 分 / 按跳转目标/跳转指令切分。用户提到这些词时使用本技能。
-  场景：对照：CFG 分析——基本块划分（跳转为界）。
-  【不适用】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: ["基本块", "分析-基本块", "CFG 分", "按跳转目标/跳转指令切分"]
-    when: "参数 instrs 合法"
-    sub: ["① 条件判定 ② 结果处理"]
-    execute: "循环迭代"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：CFG 分析——基本块划分（跳转为界）"
----
-
-# 分析-基本块（compiler-7f471b3a）
-
-## When to use
-
-任务「基本块」；对照：CFG 分析——基本块划分（跳转为界）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-循环迭代
-
-## Verification
-
-- 单元样例 3 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「分析-基本块」
+---
+name: compiler-7f471b3a
+description: >-
+  基本块 / 分析-基本块 / CFG 分 / 按跳转目标/跳转指令切分。用户提到这些词时使用本技能。
+  场景：对照：CFG 分析——基本块划分（跳转为界）。
+  【不适用】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: ["基本块", "分析-基本块", "CFG 分", "按跳转目标/跳转指令切分"]
+    when: "参数 instrs 合法"
+    sub: ["① 条件判定 ② 结果处理"]
+    execute: "循环迭代"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：CFG 分析——基本块划分（跳转为界）"
+---
+
+# 分析-基本块（compiler-7f471b3a）
+
+## When to use
+
+任务「基本块」；对照：CFG 分析——基本块划分（跳转为界）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+循环迭代
+
+## Verification
+
+- 单元样例 3 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「分析-基本块」

package/skills/skills/lingshu-compiler/units/compiler-815cad08/SKILL.md

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

package/skills/skills/lingshu-compiler/units/compiler-83c61634/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-83c61634
-description: >-
-  编译管线 / 编译-管线静态检查 / C2 语 / 条件空间=类型系统 / 静态检查→字节码）——名。用户提到这些词时使用本技能。
-  场景：对照：C2 语义——名实=静态检查、条件空间=类型系统（编译期拦截类型错误/未声明空间）。
-  【不适用】Not for 以下场景：kind 非 {COND} 时
-license: MIT
-compatibility: >-
-  kind ∈ {COND}；_re.search 可用；m.group 可用
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["编译管线", "编译-管线静态检查", "C2 语", "条件空间=类型系统", "静态检查→字节码）——名"]
-    when: "kind ∈ {COND}；_re.search 可用；m.group 可用"
-    sub: ["1 kind 分支处理"]
-    execute: "按 op 分派；循环迭代；顺序调用"
-    not_applicable: ["kind 非 {COND} 时"]
-  calibration: "对照：C2 语义——名实=静态检查、条件空间=类型系统（编译期拦截类型错误/未声明空间）"
----
-
-# 编译-管线静态检查（compiler-83c61634）
-
-## When to use
-
-任务「编译管线」；对照：C2 语义——名实=静态检查、条件空间=类型系统（编译期拦截类型错误/未声明空间）。
-
-## 克制条款（不适用条件）
-
-kind 非 {COND} 时
-
-## How to execute
-
-按 op 分派；循环迭代；顺序调用
-
-## Verification
-
-- 单元样例 4 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「编译-管线静态检查」
+---
+name: compiler-83c61634
+description: >-
+  编译管线 / 编译-管线静态检查 / C2 语 / 条件空间=类型系统 / 静态检查→字节码）——名。用户提到这些词时使用本技能。
+  场景：对照：C2 语义——名实=静态检查、条件空间=类型系统（编译期拦截类型错误/未声明空间）。
+  【不适用】Not for 以下场景：kind 非 {COND} 时
+license: MIT
+compatibility: >-
+  kind ∈ {COND}；_re.search 可用；m.group 可用
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["编译管线", "编译-管线静态检查", "C2 语", "条件空间=类型系统", "静态检查→字节码）——名"]
+    when: "kind ∈ {COND}；_re.search 可用；m.group 可用"
+    sub: ["1 kind 分支处理"]
+    execute: "按 op 分派；循环迭代；顺序调用"
+    not_applicable: ["kind 非 {COND} 时"]
+  calibration: "对照：C2 语义——名实=静态检查、条件空间=类型系统（编译期拦截类型错误/未声明空间）"
+---
+
+# 编译-管线静态检查（compiler-83c61634）
+
+## When to use
+
+任务「编译管线」；对照：C2 语义——名实=静态检查、条件空间=类型系统（编译期拦截类型错误/未声明空间）。
+
+## 克制条款（不适用条件）
+
+kind 非 {COND} 时
+
+## How to execute
+
+按 op 分派；循环迭代；顺序调用
+
+## Verification
+
+- 单元样例 4 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「编译-管线静态检查」

package/skills/skills/lingshu-compiler/units/compiler-8c798c81/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-8c798c81
-description: >-
-  转义序列 / 词法-转义序列 / 词法——转义序列。用户提到这些词时使用本技能。
-  场景：对照：词法——转义序列（反斜杠n反斜杠t反斜杠引号 解码）。
-  【不适用】Not for 以下场景：nxt 非 {n, t} 时
-license: MIT
-compatibility: >-
-  nxt ∈ {n, t}
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["转义序列", "词法-转义序列", "词法——转义序列"]
-    when: "nxt ∈ {n, t}"
-    sub: ["1 nxt 分支处理"]
-    execute: "按 op 分派；循环迭代；顺序调用"
-    not_applicable: ["nxt 非 {n, t} 时"]
-  calibration: "对照：词法——转义序列（反斜杠n反斜杠t反斜杠引号 解码）"
----
-
-# 词法-转义序列（compiler-8c798c81）
-
-## When to use
-
-任务「转义序列」；对照：词法——转义序列（反斜杠n反斜杠t反斜杠引号 解码）。
-
-## 克制条款（不适用条件）
-
-nxt 非 {n, t} 时
-
-## How to execute
-
-按 op 分派；循环迭代；顺序调用
-
-## Verification
-
-- 单元样例 3 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「词法-转义序列」
+---
+name: compiler-8c798c81
+description: >-
+  转义序列 / 词法-转义序列 / 词法——转义序列。用户提到这些词时使用本技能。
+  场景：对照：词法——转义序列（反斜杠n反斜杠t反斜杠引号 解码）。
+  【不适用】Not for 以下场景：nxt 非 {n, t} 时
+license: MIT
+compatibility: >-
+  nxt ∈ {n, t}
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["转义序列", "词法-转义序列", "词法——转义序列"]
+    when: "nxt ∈ {n, t}"
+    sub: ["1 nxt 分支处理"]
+    execute: "按 op 分派；循环迭代；顺序调用"
+    not_applicable: ["nxt 非 {n, t} 时"]
+  calibration: "对照：词法——转义序列（反斜杠n反斜杠t反斜杠引号 解码）"
+---
+
+# 词法-转义序列（compiler-8c798c81）
+
+## When to use
+
+任务「转义序列」；对照：词法——转义序列（反斜杠n反斜杠t反斜杠引号 解码）。
+
+## 克制条款（不适用条件）
+
+nxt 非 {n, t} 时
+
+## How to execute
+
+按 op 分派；循环迭代；顺序调用
+
+## Verification
+
+- 单元样例 3 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「词法-转义序列」

package/skills/skills/lingshu-compiler/units/compiler-8dd747ac/SKILL.md

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

package/skills/skills/lingshu-compiler/units/compiler-90324d0a/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compiler-90324d0a
-description: >-
-  条件空间存在 / 校验-条件空间存在性 / C2 语 / 条件空间=类型系统 / 使用的条件空间必须已声明。用户提到这些词时使用本技能。
-  场景：对照：C2 语义——条件空间=类型系统（使用前必须声明，编译期拦截）。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  参数 used_spaces/declared_spaces 合法
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["条件空间存在", "校验-条件空间存在性", "C2 语", "条件空间=类型系统", "使用的条件空间必须已声明"]
-    when: "参数 used_spaces/declared_spaces 合法"
-    sub: []
-    execute: "条件空间=类型系统：使用的条件空间必须已声明（编译期拦截未声明空间）"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：C2 语义——条件空间=类型系统（使用前必须声明，编译期拦截）"
----
-
-# 校验-条件空间存在性（compiler-90324d0a）
-
-## When to use
-
-任务「条件空间存在」；对照：C2 语义——条件空间=类型系统（使用前必须声明，编译期拦截）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-条件空间=类型系统：使用的条件空间必须已声明（编译期拦截未声明空间）
-
-## Verification
-
-- 单元样例 4 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「校验-条件空间存在性」
+---
+name: compiler-90324d0a
+description: >-
+  条件空间存在 / 校验-条件空间存在性 / C2 语 / 条件空间=类型系统 / 使用的条件空间必须已声明。用户提到这些词时使用本技能。
+  场景：对照：C2 语义——条件空间=类型系统（使用前必须声明，编译期拦截）。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  参数 used_spaces/declared_spaces 合法
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["条件空间存在", "校验-条件空间存在性", "C2 语", "条件空间=类型系统", "使用的条件空间必须已声明"]
+    when: "参数 used_spaces/declared_spaces 合法"
+    sub: []
+    execute: "条件空间=类型系统：使用的条件空间必须已声明（编译期拦截未声明空间）"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：C2 语义——条件空间=类型系统（使用前必须声明，编译期拦截）"
+---
+
+# 校验-条件空间存在性（compiler-90324d0a）
+
+## When to use
+
+任务「条件空间存在」；对照：C2 语义——条件空间=类型系统（使用前必须声明，编译期拦截）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+条件空间=类型系统：使用的条件空间必须已声明（编译期拦截未声明空间）
+
+## Verification
+
+- 单元样例 4 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「校验-条件空间存在性」