codecin 5.6.0__tar.gz → 5.7.4__tar.gz

{codecin-5.6.0 → codecin-5.7.4}/CHANGELOG.md

@@ -5,6 +5,68 @@
 
 ---
 
+## [5.7.4] - 2026-09-28
+
+一次「静默错误清零 + 标准库扩容」的发布：修掉一族会**静默破坏内存/静默给错结果**的
+struct 缺陷与两处**同一程序两条路径结论不同**的分歧，并把官方标准库从 20 个扩到 36 个。
+
+### 新增 (Added)
+
+- **标准库 20 → 36 个**（全部为纯 CIN，只调用语言内建，三条执行路径一致）：
+  - 数据结构与算法：`tree.cin`（`tree_`）、`unionfind.cin`（`uf_`）、`heap.cin`（`heap_`）、
+    `graph.cin`（`graph_`）、`dp.cin`（`dp_`）、`set.cin`（`set_`）、`bitset.cin`（`bs_`）
+  - 文本与格式化：`text.cin`（`txt_`）、`token.cin`（`tok_`）、`fmt.cin`（`fmt_`）、`csv.cin`（`csv_`）
+  - 数值与科学计算：`bigint.cin`（`bi_`，任意精度）、`frac.cin`（`fr_`，有理数）、
+    `combin.cin`（`comb_`，数论与组合）
+  - 工程与系统：`path.cin`（`path_`，纯字符串路径）、`codec.cin`（`codec_`，十六进制/URL/
+    Base64/RLE/摩尔斯/XOR）
+- **`const` 命名常量**：`const int N = 4`（全局与局部），支持 `int/float/bool/string`，
+  纯编译期、不占数据段，可用于**数组维度**与任意表达式；可被同名局部变量遮蔽。
+- **数组维度接受整型常量表达式**：`int a[N]`、`int a[2 + 3]`、`int a[enumMember + 1]`。
+- **struct 聚合初始化**：`P p = {3, 4}`、`P ps[2] = {{1,2},{3,4}}`、嵌套 `Out o = {{5,6},7}`；
+  未列出的字段取默认值，初始化器过多是编译期错误。
+- **`string +=`**：右侧任意可字符串化的值。
+- **`exit(code)`**：立即结束程序，三条路径与 AOT 产物一致。
+- **版本设施**：`codecin/version.py`（`version_info()` / `compare()` / `build_info()` 等，
+  `build_info()` 永不抛异常）、CLI 新增 `--build-info` 与 `--build-info --json`、
+  `script/bump_version.py`（改真源 → 重生成 Go 版本常量 → 插 CHANGELOG 骨架，含回滚与 `--dry-run`）。
+
+### 修复 (Fixed)
+
+- **struct 聚合初始化写穿指针槽**：`P p = {3, 4}` 会把第 2 个字面量写到 `FP + 0`，
+  **覆盖保存的帧指针**；全局 `P o = {3,4}` 覆盖对象指针。现按字段写入堆对象。
+- **struct 数组成员访问写到绝对地址 0 / 8**：元素槽被当成指针解引用，
+  `ps[0].y = 1` 会**静默破坏数据段**（字符串字面量所在处）。现统一为
+  「槽里存对象指针」模型，每个元素各有对象。
+- **初始化器过多时两条路径结论不同**：解释器越界写后返回残值、原生 VM 抛
+  `Address out of bounds`。现为编译期错误 `Too many initializers for struct P`。
+- **struct 整体赋值是指针别名**：`P b = a; b.x = 7` 会改到 `a.x`，与文档承诺的
+  「值拷贝」不符。现按槽逐字拷贝（**传参仍保持文档规定的「引用可见」**）。
+- **嵌套 struct 字段只按 1 槽推进**：`struct Out { In i; int c }` 的 `c` 压在 `i.b` 上；
+  且成员取值会把内嵌字段当指针解引用。两处均已修正。
+- **`parse_array_literal` 静默丢弃尾部平铺元素**：`{{5, 6}, 7}` 里的 `7` 消失。
+- **字符串字节语义分歧**：解释器侧 `+` / `substr` / `indexof` 先做 UTF-8 解码，
+  非法字节序列被替换成 U+FFFD，实测 `strlen(substr("中",2,1)+substr("中",1,1))`
+  解释器 9 / 原生 3。现全部改为字节级。
+- **用户函数与内建同名时永远不会被调用**：`--no-native` 报宿主能力错误、原生路径
+  静默走宿主实现（两条路径结论不同）。现用户函数优先于同名内建。
+- **局部 struct 字段默认值**：`MALLOC` 并不清零，此前「全零」只是堆恰好干净；
+  现于函数序言显式清零。
+- **AOT 临时目录**：清理失败不再静默（记 warning 并给出残留绝对路径与手动删除命令）；
+  每次构建前清扫超过 6 小时的 `.aotbuild-*` / `.aotprobe-*`；
+  新增 `[tool.setuptools.exclude-package-data]` 使残留不再进 wheel。
+
+### 变更 (Changed)
+
+- **无法自洽的 struct 写法改为编译期报错**（原先静默算错）：多维 struct 数组
+  `P ps[2][3]`、struct 数组字段 `struct Bag { P items[3] }`、跨 struct 类型赋值
+  `P p; Q q; p = q;`、把 struct 写进标量槽 `int a[2]; a[0] = p;`。
+- `tests/test_keyboard.py`、`tests/test_p0_fixes.py` 由 `tmp_path` 改用 `workdir` 夹具，
+  受限沙箱下不再出现 5 个 setup 阶段 `ERROR`。
+- 新增跨库集成护栏 `tests/test_all_libs_together.py`：31 个纯 CIN 库同时 import 并各调用一个接口。
+
+---
+
 ## [5.6.0] - 2026-09-27
 
 一次以「静默错误清零 + 安全加固」为主的修复发布，落地 `docs/SUGGESTIONS_NEXT.md`

{codecin-5.6.0/codecin.egg-info → codecin-5.7.4}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: codecin
-Version: 5.6.0
+Version: 5.7.4
 Summary: Code CIN - 高级语言与运行时 (CIN/PL/ASM 工具链 + Go 原生 VM + ARM64/RISC-V/FP/Vector 指令集)
 Author: ByUsi Studio, 北啊呢
 License-Expression: MIT

{codecin-5.6.0 → codecin-5.7.4}/codecin/__init__.py

@@ -1,4 +1,4 @@
-__version__ = "5.6.0"
+__version__ = "5.7.4"
 __author__ = "ByUsi Studio"
 
 from .config import Config

{codecin-5.6.0 → codecin-5.7.4}/codecin/aot.py

@@ -9,18 +9,40 @@
 `codecin/native/aot` 共用同一份文件 (``stub_main.go.txt``), 避免两处漂移。
 临时包建在 `codecin-native` 模块内的 ``.aotbuild-*`` 目录: Go 工具链会忽略
 以 '.' 开头的目录, 因此既不影响 `go build ./...`, 也不需要 replace 指令。
+
+临时目录的生命周期 (加固, 见 docs/SUGGESTIONS_NEXT.md §3.3):
+  * 每次 :func:`build` 之前先调用 :func:`sweep_stale_build_dirs` 清理**陈旧**残留,
+    避免受限环境 (沙箱 / 只读 ACL) 下删不掉的目录无限累积;
+  * ``finally`` 里的 ``rmtree`` 失败**不再静默**: 有 logger 就 ``warning``,
+    没有 logger 时退回模块级 stdlib logger (``codecin.aot``), 绝不吞掉;
+  * 只清理 ``codecin/native/`` **本目录下**、名字带 ``.aotbuild-`` /
+    ``.aotprobe-`` 前缀、且**不是符号链接**的目录, 绝不递归删除别处。
 """
 
+import logging
 import os
 import platform
 import secrets
 import shutil
 import subprocess
-from typing import List, Optional
+import time
+from typing import List, NamedTuple, Optional
 
 #: 仓库内 codecin-native 模块目录 (含 go.mod)。
 _NATIVE_DIR = os.path.join(os.path.dirname(os.path.abspath(__file__)), 'native')
 
+#: 模块级 logger: 调用方没有传 logger 时的兜底 (绝不能因为"没人接"就静默)。
+#: 它是 ``codecin`` logger 的子 logger, 因此 CLI 构造的 Logger (RichHandler) 会
+#: 照常渲染它; 完全没配置 logging 时 stdlib 的 lastResort 也会打到 stderr。
+_LOGGER = logging.getLogger(__name__)
+
+#: AOT 临时目录名前缀 (``.aotprobe-`` 是历史遗留, 一并纳入守卫)。
+TEMP_DIR_PREFIXES = ('.aotbuild-', '.aotprobe-')
+
+#: 陈旧残留的默认容忍时长 (6 小时): 远大于任何一次 go build, 因此不会误删
+#: 并发构建中的临时目录。
+DEFAULT_STALE_AGE_SECONDS = 6 * 3600
+
 #: 生成的 main.go 模板 (与 Go 侧共用)。
 STUB_PATH = os.path.join(_NATIVE_DIR, 'aot', 'stub_main.go.txt')
 
@@ -130,6 +152,156 @@ def _run_go_build(cmd, mod, env, logger):
     return proc, detail
 
 
+class SweepResult(NamedTuple):
+    """:func:`sweep_stale_build_dirs` 的结果 (两个绝对路径列表)。"""
+
+    #: 成功删除的目录
+    removed: List[str]
+    #: 判定为残留但删除/读取失败的目录 (调用方应提示用户手动处理)
+    failed: List[str]
+
+
+def _warn(logger, message: str) -> None:
+    """记一条 warning; 没有 logger 时退回模块级 stdlib logger (绝不静默)。
+
+    日志本身出问题不能掩盖构建结果 (本函数常在 ``finally`` 里被调用),
+    因此这里再包一层兜底。
+    """
+    try:
+        if logger is not None:
+            logger.warning(message)
+        else:
+            _LOGGER.warning(message)
+    except Exception:                     # noqa: BLE001 - 日志失败不得影响构建
+        pass
+
+
+def _debug(logger, message: str) -> None:
+    """记一条 debug (同样带兜底)。"""
+    try:
+        if logger is not None:
+            logger.debug(message)
+        else:
+            _LOGGER.debug(message)
+    except Exception:                     # noqa: BLE001
+        pass
+
+
+def _manual_removal_hint(path: str) -> str:
+    """给用户的「怎么手动删掉它」提示 (Windows + POSIX 各一条)。"""
+    return (f'请手动删除该目录 —— Windows PowerShell: '
+            f'Remove-Item -LiteralPath "{path}" -Recurse -Force ; '
+            f'Linux/macOS: rm -rf "{path}"')
+
+
+def _is_temp_dir_name(name: str) -> bool:
+    """名字是否是本模块自己产生的临时目录名 (只认前缀, 不做任何路径解析)。
+
+    显式拒绝 ``.``/``..``、含路径分隔符的名字以及绝对路径 —— 这些都不可能是
+    ``secrets.token_hex`` 的产物, 一旦出现就说明有人往我们手里塞了别的东西。
+    """
+    if not name or name in ('.', '..'):
+        return False
+    if name != os.path.basename(name):          # 含 / 或 \ -> 不是直接子项
+        return False
+    if os.sep in name or (os.altsep and os.altsep in name):
+        return False
+    if os.path.isabs(name):
+        return False
+    return name.startswith(TEMP_DIR_PREFIXES)
+
+
+def sweep_stale_build_dirs(max_age_seconds: float = DEFAULT_STALE_AGE_SECONDS,
+                           logger=None) -> SweepResult:
+    """删除 ``codecin/native/`` 下**陈旧**的 AOT 临时构建目录。
+
+    只处理 ``codecin/native/`` 的**直接子目录** (不递归), 名字必须带
+    ``.aotbuild-`` / ``.aotprobe-`` 前缀, 且 mtime 早于 ``max_age_seconds``;
+    符号链接与普通文件一律跳过。任何失败都不会抛异常, 只记录日志并把路径
+    放进 :attr:`SweepResult.failed`。
+
+    :param max_age_seconds: 容忍时长 (默认 6 小时)。``0`` 表示删除所有匹配目录
+        —— 并发构建时不要这么做。
+    :param logger: 可选 logger; 缺省时用模块级 stdlib logger。
+    :return: 被删除的路径与清理失败的路径
+    """
+    removed: List[str] = []
+    failed: List[str] = []
+
+    root = os.path.abspath(_NATIVE_DIR)
+    try:
+        names = os.listdir(root)
+    except OSError as e:                  # 目录不存在 / 不可读: 尽力而为
+        _warn(logger, f'AOT: 无法扫描临时目录所在位置 {root} ({e}); 跳过清理')
+        return SweepResult(removed, failed)
+
+    try:
+        max_age = max(0.0, float(max_age_seconds))
+    except (TypeError, ValueError):
+        max_age = float(DEFAULT_STALE_AGE_SECONDS)
+
+    now = time.time()
+    for name in names:
+        if not _is_temp_dir_name(name):
+            continue
+        path = os.path.join(root, name)
+        # 双保险: 解析后必须仍然是 root 的直接子项 (防 '..' / 绝对路径混入)
+        if os.path.dirname(os.path.abspath(path)) != root:
+            _warn(logger, f'AOT: 跳过可疑的临时目录路径: {path}')
+            continue
+        if os.path.islink(path) or not os.path.isdir(path):
+            _debug(logger, f'AOT: 跳过非普通目录的临时项: {path}')
+            continue
+
+        try:
+            age = now - os.path.getmtime(path)
+        except OSError as e:
+            failed.append(path)
+            _warn(logger, f'AOT: 无法读取残留临时目录的时间戳: {path} ({e}); '
+                          f'{_manual_removal_hint(path)}')
+            continue
+
+        if age < max_age:
+            _debug(logger, f'AOT: 临时目录仍然新鲜, 保留: {path} '
+                           f'({age / 3600:.1f} 小时前)')
+            continue
+
+        try:
+            shutil.rmtree(path)
+        except OSError as e:
+            failed.append(path)
+            _warn(logger, f'AOT: 残留临时目录清理失败: {path} '
+                          f'({age / 3600:.1f} 小时前, {e}); '
+                          f'{_manual_removal_hint(path)}')
+            continue
+
+        removed.append(path)
+        _debug(logger, f'AOT: 已清理陈旧临时目录: {path} '
+                       f'({age / 3600:.1f} 小时前)')
+
+    if removed:
+        _debug(logger, f'AOT: 陈旧临时目录清理完成, 共 {len(removed)} 个')
+    return SweepResult(removed, failed)
+
+
+def _remove_temp_dir(tmp: str, logger) -> None:
+    """删除本次构建的临时目录; 失败时告警而不是静默吞掉 (§3.3)。
+
+    ``shutil.rmtree(ignore_errors=True)`` 会让「删不掉」完全静默, 于是残留
+    在受限环境 (沙箱 / 异常 ACL) 里不断累积, 最终让任何遍历仓库的工具报
+    Access is denied。这里改为: 失败 -> warning (含绝对路径与手动删除提示)。
+    """
+    try:
+        shutil.rmtree(tmp)
+    except FileNotFoundError:
+        pass                              # 目录已不存在: 目的已达成
+    except Exception as e:                # noqa: BLE001 - rmtree 正常只抛 OSError,
+        # 但这里处于 finally, 任何异常都不能掩盖构建结果, 一律降级为 warning。
+        _warn(logger, f'AOT: 临时构建目录清理失败, 残留目录: '
+                      f'{os.path.abspath(tmp)} (原因: {e}); '
+                      f'{_manual_removal_hint(tmp)}')
+
+
 def build(bytecode: bytes,
           mem_image: bytes,
           out: str,
@@ -150,6 +322,14 @@ def build(bytecode: bytes,
     goos, goarch = parse_target(target) if target else parse_target(host_target())
     mod = module_dir()
 
+    # 先清掉上一次留下的陈旧残留 (默认 > 6 小时), 再建新目录: 受限环境下
+    # rmtree 可能失败, 没有这一步残留就会无限累积。
+    # 清理是尽力而为 —— 任何异常都必须吞掉, 绝不能因此让构建失败。
+    try:
+        sweep_stale_build_dirs(logger=logger)
+    except Exception as e:                # noqa: BLE001
+        _debug(logger, f'AOT: 陈旧临时目录清理跳过 ({e})')
+
     # 注意: 这里用 os.makedirs 而不是 tempfile.mkdtemp —— mkdtemp 会创建 0700
     # 目录, 在受限环境 (沙箱 / 部分 CI 安全策略) 下随后向其中写文件会被拒绝。
     tmp = os.path.join(mod, '.aotbuild-' + secrets.token_hex(6))
@@ -199,7 +379,7 @@ def build(bytecode: bytes,
             if logger:
                 logger.info(f'AOT 临时目录保留: {tmp}')
         else:
-            shutil.rmtree(tmp, ignore_errors=True)
+            _remove_temp_dir(tmp, logger)
 
 
 def program_dependencies(program_file: str) -> List[str]: