@furongjun1999/dsh-memory 0.4.11 → 0.5.1

package/skills/skills/lingshu-compiler/units/check-name-real/SKILL.md

@@ -1,45 +1,45 @@
----
-name: check-name-real
-description: >-
-  名实校验 / 校验-名实 / name_checker / 以名举实 / 要求的符号必须已声明。用户提到这些词时使用本技能。
-  场景：对照：name_checker 以名举实（符号表→协议实体）。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  参数 required/declared 合法
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["名实校验", "校验-名实", "name_checker", "以名举实", "要求的符号必须已声明"]
-    when: "参数 required/declared 合法"
-    sub: []
-    execute: "以名举实：要求的符号必须已声明（墨辩静态检查）"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：name_checker 以名举实（符号表→协议实体）"
----
-
-# 校验-名实（check-name-real）
-
-## When to use
-
-任务「名实校验」；对照：name_checker 以名举实（符号表→协议实体）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-以名举实：要求的符号必须已声明（墨辩静态检查）
-
-## Verification
-
-- 单元样例 3 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「校验-名实」
+---
+name: check-name-real
+description: >-
+  名实校验 / 校验-名实 / name_checker / 以名举实 / 要求的符号必须已声明。用户提到这些词时使用本技能。
+  场景：对照：name_checker 以名举实（符号表→协议实体）。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  参数 required/declared 合法
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["名实校验", "校验-名实", "name_checker", "以名举实", "要求的符号必须已声明"]
+    when: "参数 required/declared 合法"
+    sub: []
+    execute: "以名举实：要求的符号必须已声明（墨辩静态检查）"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：name_checker 以名举实（符号表→协议实体）"
+---
+
+# 校验-名实（check-name-real）
+
+## When to use
+
+任务「名实校验」；对照：name_checker 以名举实（符号表→协议实体）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+以名举实：要求的符号必须已声明（墨辩静态检查）
+
+## Verification
+
+- 单元样例 3 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「校验-名实」

package/skills/skills/lingshu-compiler/units/compile-assign/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compile-assign
-description: >-
-  编译赋值 / 编译-赋值 / 赋值编译。用户提到这些词时使用本技能。
-  场景：对照：赋值 = target = expr（名实对应）。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  对照：赋值 = target = expr（名实对应）
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["编译赋值", "编译-赋值", "赋值编译"]
-    when: "对照：赋值 = target = expr（名实对应）"
-    sub: ["① 拼接值指令 ② 追加名写入指令"]
-    execute: "值指令 + STORE_NAME（名实绑定语义）"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：赋值 = target = expr（名实对应）"
----
-
-# 编译-赋值（compile-assign）
-
-## When to use
-
-任务「编译赋值」；对照：赋值 = target = expr（名实对应）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-值指令 + STORE_NAME（名实绑定语义）
-
-## Verification
-
-- 单元样例 1 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「编译-赋值」
+---
+name: compile-assign
+description: >-
+  编译赋值 / 编译-赋值 / 赋值编译。用户提到这些词时使用本技能。
+  场景：对照：赋值 = target = expr（名实对应）。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  对照：赋值 = target = expr（名实对应）
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["编译赋值", "编译-赋值", "赋值编译"]
+    when: "对照：赋值 = target = expr（名实对应）"
+    sub: ["① 拼接值指令 ② 追加名写入指令"]
+    execute: "值指令 + STORE_NAME（名实绑定语义）"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：赋值 = target = expr（名实对应）"
+---
+
+# 编译-赋值（compile-assign）
+
+## When to use
+
+任务「编译赋值」；对照：赋值 = target = expr（名实对应）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+值指令 + STORE_NAME（名实绑定语义）
+
+## Verification
+
+- 单元样例 1 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「编译-赋值」

package/skills/skills/lingshu-compiler/units/compile-expr-tree/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compile-expr-tree
-description: >-
-  表达式树 / 编译-表达式树 / 语法——中缀表达式 → 。用户提到这些词时使用本技能。
-  场景：对照：语法——中缀表达式 → 嵌套树（AST 构建）。
-  【不适用】Not for 以下场景：tok 非 {(, )} 时
-license: MIT
-compatibility: >-
-  tok ∈ {(, )}
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["表达式树", "编译-表达式树", "语法——中缀表达式 → "]
-    when: "tok ∈ {(, )}"
-    sub: ["1 tok 分支处理"]
-    execute: "按 op 分派；循环迭代"
-    not_applicable: ["tok 非 {(, )} 时"]
-  calibration: "对照：语法——中缀表达式 → 嵌套树（AST 构建）"
----
-
-# 编译-表达式树（compile-expr-tree）
-
-## When to use
-
-任务「表达式树」；对照：语法——中缀表达式 → 嵌套树（AST 构建）。
-
-## 克制条款（不适用条件）
-
-tok 非 {(, )} 时
-
-## How to execute
-
-按 op 分派；循环迭代
-
-## Verification
-
-- 单元样例 3 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「编译-表达式树」
+---
+name: compile-expr-tree
+description: >-
+  表达式树 / 编译-表达式树 / 语法——中缀表达式 → 。用户提到这些词时使用本技能。
+  场景：对照：语法——中缀表达式 → 嵌套树（AST 构建）。
+  【不适用】Not for 以下场景：tok 非 {(, )} 时
+license: MIT
+compatibility: >-
+  tok ∈ {(, )}
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["表达式树", "编译-表达式树", "语法——中缀表达式 → "]
+    when: "tok ∈ {(, )}"
+    sub: ["1 tok 分支处理"]
+    execute: "按 op 分派；循环迭代"
+    not_applicable: ["tok 非 {(, )} 时"]
+  calibration: "对照：语法——中缀表达式 → 嵌套树（AST 构建）"
+---
+
+# 编译-表达式树（compile-expr-tree）
+
+## When to use
+
+任务「表达式树」；对照：语法——中缀表达式 → 嵌套树（AST 构建）。
+
+## 克制条款（不适用条件）
+
+tok 非 {(, )} 时
+
+## How to execute
+
+按 op 分派；循环迭代
+
+## Verification
+
+- 单元样例 3 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「编译-表达式树」

package/skills/skills/lingshu-compiler/units/compile-full-pipeline/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compile-full-pipeline
-description: >-
-  完整编译 / 编译-完整管线 / 中文源码 → 字节码 / 流程 / 逐行词法 → 静态检查→ / 条件真值编译 / LOAD 左。用户提到这些词时使用本技能。
-  场景：对照：白箱版 pc compile 单入口（词法→静态检查→编译）；若则真值计算由编译-若则单元深化。
-  【不适用】Not for 以下场景：kw 非 {知足} 时
-license: MIT
-compatibility: >-
-  kw ∈ {知足}；source.splitlines 可用；line.strip 可用
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["完整编译", "编译-完整管线", "中文源码 → 字节码", "流程", "逐行词法 → 静态检查→", "条件真值编译", "LOAD 左"]
-    when: "kw ∈ {知足}；source.splitlines 可用；line.strip 可用"
-    sub: ["1 kw 分支处理"]
-    execute: "按 op 分派；循环迭代；顺序调用"
-    not_applicable: ["kw 非 {知足} 时"]
-  calibration: "对照：白箱版 pc compile 单入口（词法→静态检查→编译）；若则真值计算由编译-若则单元深化"
----
-
-# 编译-完整管线（compile-full-pipeline）
-
-## When to use
-
-任务「完整编译」；对照：白箱版 pc compile 单入口（词法→静态检查→编译）；若则真值计算由编译-若则单元深化。
-
-## 克制条款（不适用条件）
-
-kw 非 {知足} 时
-
-## How to execute
-
-按 op 分派；循环迭代；顺序调用
-
-## Verification
-
-- 单元样例 7 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「编译-完整管线」
+---
+name: compile-full-pipeline
+description: >-
+  完整编译 / 编译-完整管线 / 中文源码 → 字节码 / 流程 / 逐行词法 → 静态检查→ / 条件真值编译 / LOAD 左。用户提到这些词时使用本技能。
+  场景：对照：白箱版 pc compile 单入口（词法→静态检查→编译）；若则真值计算由编译-若则单元深化。
+  【不适用】Not for 以下场景：kw 非 {知足} 时
+license: MIT
+compatibility: >-
+  kw ∈ {知足}；source.splitlines 可用；line.strip 可用
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["完整编译", "编译-完整管线", "中文源码 → 字节码", "流程", "逐行词法 → 静态检查→", "条件真值编译", "LOAD 左"]
+    when: "kw ∈ {知足}；source.splitlines 可用；line.strip 可用"
+    sub: ["1 kw 分支处理"]
+    execute: "按 op 分派；循环迭代；顺序调用"
+    not_applicable: ["kw 非 {知足} 时"]
+  calibration: "对照：白箱版 pc compile 单入口（词法→静态检查→编译）；若则真值计算由编译-若则单元深化"
+---
+
+# 编译-完整管线（compile-full-pipeline）
+
+## When to use
+
+任务「完整编译」；对照：白箱版 pc compile 单入口（词法→静态检查→编译）；若则真值计算由编译-若则单元深化。
+
+## 克制条款（不适用条件）
+
+kw 非 {知足} 时
+
+## How to execute
+
+按 op 分派；循环迭代；顺序调用
+
+## Verification
+
+- 单元样例 7 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「编译-完整管线」

package/skills/skills/lingshu-compiler/units/compile-func-def/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compile-func-def
-description: >-
-  函数定义 / 编译-函数定义 / protocol-com / 定义 名 / 返回 。用户提到这些词时使用本技能。
-  场景：对照：protocol-compiler 函数定义（入口=函数体起点，体末 RETURN）。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  参数 name/params/body_instrs 合法
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["函数定义", "编译-函数定义", "protocol-com", "定义 名", "返回 "]
-    when: "参数 name/params/body_instrs 合法"
-    sub: ["① 调用 list"]
-    execute: "顺序调用"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：protocol-compiler 函数定义（入口=函数体起点，体末 RETURN）"
----
-
-# 编译-函数定义（compile-func-def）
-
-## When to use
-
-任务「函数定义」；对照：protocol-compiler 函数定义（入口=函数体起点，体末 RETURN）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-顺序调用
-
-## Verification
-
-- 单元样例 1 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「编译-函数定义」
+---
+name: compile-func-def
+description: >-
+  函数定义 / 编译-函数定义 / protocol-com / 定义 名 / 返回 。用户提到这些词时使用本技能。
+  场景：对照：protocol-compiler 函数定义（入口=函数体起点，体末 RETURN）。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  参数 name/params/body_instrs 合法
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["函数定义", "编译-函数定义", "protocol-com", "定义 名", "返回 "]
+    when: "参数 name/params/body_instrs 合法"
+    sub: ["① 调用 list"]
+    execute: "顺序调用"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：protocol-compiler 函数定义（入口=函数体起点，体末 RETURN）"
+---
+
+# 编译-函数定义（compile-func-def）
+
+## When to use
+
+任务「函数定义」；对照：protocol-compiler 函数定义（入口=函数体起点，体末 RETURN）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+顺序调用
+
+## Verification
+
+- 单元样例 1 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「编译-函数定义」

package/skills/skills/lingshu-compiler/units/compile-if-then/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compile-if-then
-description: >-
-  编译条件 / 编译-若则 / 若则=条件语句 / 条件跳转编译。用户提到这些词时使用本技能。
-  场景：对照：若则=条件语句（v0.2 codegen if/else 的字节码形态）。
-  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-license: MIT
-compatibility: >-
-  cond_instrs/then_instrs/else_instrs 为指令列表（条件/真分支/假分支字节码）
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["编译条件", "编译-若则", "若则=条件语句", "条件跳转编译"]
-    when: "cond_instrs/then_instrs/else_instrs 为指令列表（条件/真分支/假分支字节码）"
-    sub: ["① 拼接条件指令 ② 假跳转至 else ③ 真分支尾跳至结束"]
-    execute: "JUMP_IF_FALSE（条件假跳）+ JUMP（跳过 else）"
-    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
-  calibration: "对照：若则=条件语句（v0.2 codegen if/else 的字节码形态）"
----
-
-# 编译-若则（compile-if-then）
-
-## When to use
-
-任务「编译条件」；对照：若则=条件语句（v0.2 codegen if/else 的字节码形态）。
-
-## 克制条款（不适用条件）
-
-条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
-
-## How to execute
-
-JUMP_IF_FALSE（条件假跳）+ JUMP（跳过 else）
-
-## Verification
-
-- 单元样例 1 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「编译-若则」
+---
+name: compile-if-then
+description: >-
+  编译条件 / 编译-若则 / 若则=条件语句 / 条件跳转编译。用户提到这些词时使用本技能。
+  场景：对照：若则=条件语句（v0.2 codegen if/else 的字节码形态）。
+  【不适用】Not for 以下场景：条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+license: MIT
+compatibility: >-
+  cond_instrs/then_instrs/else_instrs 为指令列表（条件/真分支/假分支字节码）
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["编译条件", "编译-若则", "若则=条件语句", "条件跳转编译"]
+    when: "cond_instrs/then_instrs/else_instrs 为指令列表（条件/真分支/假分支字节码）"
+    sub: ["① 拼接条件指令 ② 假跳转至 else ③ 真分支尾跳至结束"]
+    execute: "JUMP_IF_FALSE（条件假跳）+ JUMP（跳过 else）"
+    not_applicable: ["条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）"]
+  calibration: "对照：若则=条件语句（v0.2 codegen if/else 的字节码形态）"
+---
+
+# 编译-若则（compile-if-then）
+
+## When to use
+
+任务「编译条件」；对照：若则=条件语句（v0.2 codegen if/else 的字节码形态）。
+
+## 克制条款（不适用条件）
+
+条件不满足即不适用（负路由：输入不满足生效条件时返回 None/不执行）
+
+## How to execute
+
+JUMP_IF_FALSE（条件假跳）+ JUMP（跳过 else）
+
+## Verification
+
+- 单元样例 1 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「编译-若则」

package/skills/skills/lingshu-compiler/units/compile-logic-expr/SKILL.md

@@ -1,45 +1,45 @@
----
-name: compile-logic-expr
-description: >-
-  逻辑表达式 / 编译-逻辑表达式 / 编译逻辑——且 / 或短路 / 逻辑表达式编译 / 且/或 → 短路跳转字节。用户提到这些词时使用本技能。
-  场景：对照：编译逻辑——且/或短路（左操作数决定是否求右——短路求值语义）。
-  【不适用】Not for 以下场景：op 非 {且} 时
-license: MIT
-compatibility: >-
-  op ∈ {且, 或}；left/right 为指令列表
-allowed-tools: Read Write Bash
-metadata:
-  version: "1.0"
-  skill-author: 灵枢（AEIS）
-  last-reviewed: "2026-08-29"
-  kccs:
-    trigger_words: ["逻辑表达式", "编译-逻辑表达式", "编译逻辑——且", "或短路", "逻辑表达式编译", "且/或 → 短路跳转字节"]
-    when: "op ∈ {且, 或}；left/right 为指令列表"
-    sub: ["① 拼接左指令 ② 短路跳转 ③ 拼接右指令"]
-    execute: "且→JUMP_IF_FALSE、或→JUMP_IF_TRUE（左短路）"
-    not_applicable: ["op 非 {且} 时"]
-  calibration: "对照：编译逻辑——且/或短路（左操作数决定是否求右——短路求值语义）"
----
-
-# 编译-逻辑表达式（compile-logic-expr）
-
-## When to use
-
-任务「逻辑表达式」；对照：编译逻辑——且/或短路（左操作数决定是否求右——短路求值语义）。
-
-## 克制条款（不适用条件）
-
-op 非 {且} 时
-
-## How to execute
-
-且→JUMP_IF_FALSE、或→JUMP_IF_TRUE（左短路）
-
-## Verification
-
-- 单元样例 2 条（cases 断言）
-- 物理基底：按 calibration 对照（编译/运行/断言裁决）
-
-## References
-
-- 单元库：compiler_code_units.py「编译-逻辑表达式」
+---
+name: compile-logic-expr
+description: >-
+  逻辑表达式 / 编译-逻辑表达式 / 编译逻辑——且 / 或短路 / 逻辑表达式编译 / 且/或 → 短路跳转字节。用户提到这些词时使用本技能。
+  场景：对照：编译逻辑——且/或短路（左操作数决定是否求右——短路求值语义）。
+  【不适用】Not for 以下场景：op 非 {且} 时
+license: MIT
+compatibility: >-
+  op ∈ {且, 或}；left/right 为指令列表
+allowed-tools: Read Write Bash
+metadata:
+  version: "1.0"
+  skill-author: 灵枢（AEIS）
+  last-reviewed: "2026-08-29"
+  kccs:
+    trigger_words: ["逻辑表达式", "编译-逻辑表达式", "编译逻辑——且", "或短路", "逻辑表达式编译", "且/或 → 短路跳转字节"]
+    when: "op ∈ {且, 或}；left/right 为指令列表"
+    sub: ["① 拼接左指令 ② 短路跳转 ③ 拼接右指令"]
+    execute: "且→JUMP_IF_FALSE、或→JUMP_IF_TRUE（左短路）"
+    not_applicable: ["op 非 {且} 时"]
+  calibration: "对照：编译逻辑——且/或短路（左操作数决定是否求右——短路求值语义）"
+---
+
+# 编译-逻辑表达式（compile-logic-expr）
+
+## When to use
+
+任务「逻辑表达式」；对照：编译逻辑——且/或短路（左操作数决定是否求右——短路求值语义）。
+
+## 克制条款（不适用条件）
+
+op 非 {且} 时
+
+## How to execute
+
+且→JUMP_IF_FALSE、或→JUMP_IF_TRUE（左短路）
+
+## Verification
+
+- 单元样例 2 条（cases 断言）
+- 物理基底：按 calibration 对照（编译/运行/断言裁决）
+
+## References
+
+- 单元库：compiler_code_units.py「编译-逻辑表达式」