fix: preserve grouped comparisons

Author: pikasTech

docs/MDTODO/details/pikapython-syntax-compatibility/R14.6_Task_Report.md

@@ -0,0 +1,19 @@
+# R14.6 任务报告
+
+## 结论
+
+Linux Action 的大规模级联失败来自函数定义元数据把形参误记为未绑定局部变量。布尔值 `False` 默认参数在调用时被 `ARG_TYPE_UNDEF` 占位遮蔽，最终触发 `UnboundLocalError`。
+
+## 修复
+
+- 从规范化函数声明中提取形参名称。
+- 建立未绑定局部变量集合时排除全部形参和 `global` 名称。
+- 覆盖顶层函数、带类型注解的方法、`False` 默认值和显式 `True` 覆盖。
+- 不新增 VM 指令或调用路径；临时名称集合仅在函数定义时创建并立即释放，调用热路径和持久 RAM 结构不变。
+
+## 验证
+
+- `pikaMain.python3_default_argument_definition_time`：1/1 通过。
+- 未绑定局部、作用域邻接和重复参数绑定：3/3 通过。
+- `pikaMain.unitTest`：通过，内存峰值 33.65 kB。
+- GitHub Action `29616829259` 中原 `stop_on_error` 未绑定错误和 353 个级联失败均已消失；剩余 2 项独立 parser 回归转入 R14.7。

docs/MDTODO/details/pikapython-syntax-compatibility/R14.7_Task_Report.md

@@ -0,0 +1,18 @@
+# R14.7 任务报告
+
+## 结论
+
+链式比较门禁在整条表达式上累计比较运算符，导致 `a < b and b < c` 与 `a < b or c < d` 被误判为不支持的链式比较。
+
+## 修复
+
+- 先确定顶层运算符，再执行链式比较数量检查。
+- 顶层为 `and` 或 `or` 时先按现有 AST 递归分组；每个分支仍独立执行链式比较门禁。
+- 恢复已有逻辑比较子集，不新增表达式能力；`1 < 2 < 3` 和混合链式比较仍稳定返回语法错误。
+- 只调整 parser 现有检查顺序，不新增持久状态、VM 指令、RAM 字段或 runtime 热路径工作。
+
+## 验证
+
+- 逻辑比较、非法链式比较、短路语义及两个原失败集成测试：5/5 通过。
+- 隔离 LVGL 和网络后的 Linux default 全量：467/467 通过，耗时 26.194 秒。
+- 构建使用宿主 mbedTLS 3 的临时 API 别名；该别名只存在于本地 CMake 配置，没有进入仓库变更。

docs/MDTODO/pikapython-syntax-compatibility.md

@@ -315,6 +315,10 @@ P0 修复空 import 与 from-import 缺名称在 Suger_import 路径的解析崩
 
 继续解决 [#348](https://github.com/pikasTech/PikaPython/issues/348) 的 VM 性能债务：优化 kwargs 名称恢复中的常量池重复扫描，在不扩大语法、不改变 VM 大架构且不增加常驻 RAM 的前提下完成同机 A/B、default/minimal 资源和语义回归，完成任务后将详细报告写入[任务报告](./details/pikapython-syntax-compatibility/R14.5_Task_Report.md)。
 
-### R14.6 [in_progress]
+### R14.6 [completed]
 
 修复 Linux Action 暴露的默认参数名被误记为未绑定局部变量问题，覆盖 False 默认值和方法参数，完成隔离 Linux 回归并确认不扩大语法或 VM 架构，完成任务后将详细报告写入[任务报告](./details/pikapython-syntax-compatibility/R14.6_Task_Report.md)。
+
+### R14.7 [completed]
+
+修复 Linux Action 暴露的逻辑组合比较被链式比较门禁错误拒绝问题，保持非法链式比较稳定拒绝并恢复已有 and/or 条件子集，完成任务后将详细报告写入[任务报告](./details/pikapython-syntax-compatibility/R14.7_Task_Report.md)。

port/linux/test/py-test.cpp

@@ -313,6 +313,8 @@ TEST(parser, comparison_and_exception_valid_neighbors) {
         "less = 1 < 2\n"
         "nested = (1 < 2) == True\n"
         "member = 1 in [1]\n"
+        "both = 1 < 2 and 2 < 3\n"
+        "either = 3 < 2 or 2 < 3\n"
         "try:\n"
         "    raise\n"
         "except:\n"

src/PikaParser.c

@@ -2000,12 +2000,13 @@ AST* AST_parseStmt(AST* ast, char* sStmt) {
         sRight = Suger_not_in(&buffs, sRight);
         sRight = Suger_is_not(&buffs, sRight);
         char* rightWithoutSubStmt = _remove_sub_stmt(&buffs, sRight);
-        if (_countComparisonOperators(rightWithoutSubStmt) > 1) {
+        char* operator = Lexer_getOperator(&buffs, rightWithoutSubStmt);
+        if (NULL == operator) {
             eResult = PIKA_RES_ERR_SYNTAX_ERROR;
             goto __exit;
         }
-        char* operator= Lexer_getOperator(&buffs, rightWithoutSubStmt);
-        if (NULL == operator) {
+        if (!strEqu(operator, " and ") && !strEqu(operator, " or ") &&
+            _countComparisonOperators(rightWithoutSubStmt) > 1) {
             eResult = PIKA_RES_ERR_SYNTAX_ERROR;
             goto __exit;
         }