infinity-data 3.1.1__tar.gz → 3.3.0__tar.gz

infinity_data-3.3.0/PKG-INFO

@@ -0,0 +1,156 @@
+Metadata-Version: 2.4
+Name: infinity-data
+Version: 3.3.0
+Summary: InfinityData：声明式配置语言（.infd/.inft）的 Python 编译器库
+Author: infinity_system: yin_bailiang
+License: MIT
+Project-URL: Repository, https://github.com/yinbailiang/infinity_data
+Project-URL: Documentation, https://github.com/yinbailiang/infinity_data#readme
+Keywords: config,configuration,declarative,dsl,compiler,infinity-data
+Classifier: Development Status :: 5 - Production/Stable
+Classifier: Intended Audience :: Developers
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Software Development :: Libraries :: Python Modules
+Requires-Python: >=3.12
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Provides-Extra: tool
+Requires-Dist: pyyaml; extra == "tool"
+Requires-Dist: tomli-w; extra == "tool"
+Dynamic: license-file
+
+# InfinityData
+
+声明式配置语言（`.infd` / `.inft`）的 Python 编译器库。
+
+- **编译优先**：`.infd` 是源码，JSON/YAML/TOML 是构建产物
+- **模板即约束**：模板定义自动注册为约束校验器
+- **零信任默认**：库默认 `deny_all` 沙盒，显式开放而非事后限制
+- **结构化错误**：稳定错误码 + 结构化参数 + 多语言渲染
+
+## 快速使用
+
+```bash
+uv add infinity_data        # 或 pip install infinity-data
+```
+
+```python
+from infinity_data import load, safe_load, SandboxConfig, Schema
+
+result = load('app.infd')              # 默认零信任
+if result.has_errors:
+    for d in result.diagnostics:
+        print(d.location, d.code, d.message)
+else:
+    print(result.value)                # 降维后的 dict
+```
+
+## 文档导航
+
+| 文档 | 内容 |
+|---|---|
+| [neo_desg.md](./neo_desg.md) | 语言基础设计（语法 / 类型 / 模板 / 约束） |
+| [extra_desg.md](./extra_desg.md) | 库 API / CLI / 生态设计 |
+| [impl_desg.md](./impl_desg.md) | 编译器实现层的取舍与假设 |
+
+## 官方工具
+
+随库内置两个命令行工具（`infd-lsp` 语言服务器 + `infd-cov` 配置转换器），
+零依赖手写 JSON-RPC / emitter，直接消费编译器的公开 API
+（`compile_source` / `parse_source` / `RawTokenizer` / emit / semantic）。
+工具的**可选运行依赖**（PyYAML / tomli-w）由 `tool` extra 提供，一次装齐：
+
+```bash
+uv add 'infinity_data[tool]'   # 可选：!file 的 yaml 导入 + infd-cov -f toml 输出
+```
+
+### 配置转换（infd-cov）
+
+编译 `.infd` / `.inft` → 各种配置格式（YAML / JSON / TOML）：
+
+```bash
+infd-cov app.infd                          # → YAML（stdout，零依赖 emitter）
+infd-cov app.infd out.json -f json         # → JSON 文件
+infd-cov app.infd -f toml                  # → TOML（需 tomli-w，见 tool extra）
+infd-cov app.infd --extract web.spec       # → 点分路径提取
+cat a.infd | infd-cov -f json              # stdin → stdout
+```
+
+- `--format`：`yaml`（默认，零依赖手写 emitter）/ `json` / `toml`
+- `--extract PATH`：点分路径（如 `web.spec.selector`）；空 = 整树
+- `--severity LEVEL`：拒绝阈值（`error`/`warning`/`info`/`debug`/`none`，默认 `error`）
+- `#env: NAME "VALUE"` 声明的变量在当前进程缺失时自动注入虚拟值
+- 演示文件：`examples/app.infd`（干净配置）/ `examples/demo.infd`（含故意错误）
+
+### 语言服务器（LSP）
+
+`infd-lsp`：零依赖手写 JSON-RPC 2.0 over stdio 语言服务器。
+
+```bash
+infd-lsp          # 作为任意 LSP 客户端的后端
+# 或
+python -m infinity_data.tools.lsp
+```
+
+#### 已实现的能力
+
+| 能力 | 说明 |
+|---|---|
+| 诊断 | `didOpen`/`didChange`/`didSave` → `publishDiagnostics`（精确位置 + 稳定错误码 + 中文消息；UTF-16 对齐） |
+| 补全 | 命名空间（`$` 触发）+ 内置约束名 + 当前文件可见模板名 + 模板字段（含必填/可选）+ 语言关键字 |
+| 悬停 | 约束描述、**编译产物预览**（字段/子字段/模板参数，jsonpath 投影）、**被实例化的模板**（模板骨架提示在前 + 实例预览在后）、**`$` 变量值**（定义点与调用点）、模板结构骨架（必填/可选 + description 元数据） |
+| 文档大纲 | `documentSymbol`：模板定义（Class）+ 顶层字段（Property） |
+| 跳转定义 | `definition`：模板调用 / `!from` 导入 / `$` 引用（含跨文件） |
+| 语义令牌 | `semanticTokens`：直接用 `RawTokenizer` 分词（UTF-16 单元对齐；跨行多行字符串按行拆分） |
+| 虚拟环境变量 | 扫描 `#env: NAME "VALUE"` 注释，进程未设置时自动注入虚拟值，避免 `env_not_set` 中止编译 |
+
+#### 在 VS Code 中使用
+
+在项目 `.vscode/settings.json` 里用任意支持自定义 LSP 的扩展（如 `lspConfig`）配置：
+
+```json
+{
+  "lspConfig.servers": [
+    { "language": "infd", "cmd": ["infd-lsp"] },
+    { "language": "inft", "cmd": ["infd-lsp"] }
+  ]
+}
+```
+
+打开 `.infd` / `.inft` 文件即可获得：诊断波浪线 + 语法高亮（semantic tokens）+ 补全 + 悬停 + 大纲 + 跳转定义。
+
+#### 端到端演示
+
+```bash
+uv run python examples/lsp_demo.py   # 自动起服务器 + 走一遍握手 + 打印结果
+```
+
+演示文件在 `examples/demo.infd`（故意含若干错误，展示诊断 / 补全 / 悬停 / 高亮）。
+
+### 虚拟环境变量（`#env` 注释）
+
+`.infd` / `.inft` 里可以用**特殊注释**声明环境变量名和虚拟值，工具（LSP / `infd-cov`）
+在当前进程缺失该变量时自动注入，避免 `env_not_set` 中止编译、吞掉同文件其他诊断：
+
+```infd
+#env: DEEPSEEK_API_KEY "sk-virtual-key"
+!env import DEEPSEEK_API_KEY as ds_key
+```
+
+- 语法：`#env: NAME "VALUE"` —— **变量名在前、虚拟值在后**
+- 真实环境变量优先：进程里已设置时用真实值，只有缺失时才用注释里的虚拟值兜底
+- 动机：`infinity_data` 沙盒在 env 未授权/未设置时会中止编译；用 `#env` 声明兜底后，
+  编辑器/CLI 始终能看到全部诊断（如约束违反、未定义模板）
+
+## 开发
+
+```bash
+uv run pytest -q      # 测试
+uv run ruff check src tests   # lint
+uv run pyright        # 类型检查（strict）
+uv run python test.py # 错误报告演示
+```

infinity_data-3.3.0/README.md

@@ -0,0 +1,131 @@
+# InfinityData
+
+声明式配置语言（`.infd` / `.inft`）的 Python 编译器库。
+
+- **编译优先**：`.infd` 是源码，JSON/YAML/TOML 是构建产物
+- **模板即约束**：模板定义自动注册为约束校验器
+- **零信任默认**：库默认 `deny_all` 沙盒，显式开放而非事后限制
+- **结构化错误**：稳定错误码 + 结构化参数 + 多语言渲染
+
+## 快速使用
+
+```bash
+uv add infinity_data        # 或 pip install infinity-data
+```
+
+```python
+from infinity_data import load, safe_load, SandboxConfig, Schema
+
+result = load('app.infd')              # 默认零信任
+if result.has_errors:
+    for d in result.diagnostics:
+        print(d.location, d.code, d.message)
+else:
+    print(result.value)                # 降维后的 dict
+```
+
+## 文档导航
+
+| 文档 | 内容 |
+|---|---|
+| [neo_desg.md](./neo_desg.md) | 语言基础设计（语法 / 类型 / 模板 / 约束） |
+| [extra_desg.md](./extra_desg.md) | 库 API / CLI / 生态设计 |
+| [impl_desg.md](./impl_desg.md) | 编译器实现层的取舍与假设 |
+
+## 官方工具
+
+随库内置两个命令行工具（`infd-lsp` 语言服务器 + `infd-cov` 配置转换器），
+零依赖手写 JSON-RPC / emitter，直接消费编译器的公开 API
+（`compile_source` / `parse_source` / `RawTokenizer` / emit / semantic）。
+工具的**可选运行依赖**（PyYAML / tomli-w）由 `tool` extra 提供，一次装齐：
+
+```bash
+uv add 'infinity_data[tool]'   # 可选：!file 的 yaml 导入 + infd-cov -f toml 输出
+```
+
+### 配置转换（infd-cov）
+
+编译 `.infd` / `.inft` → 各种配置格式（YAML / JSON / TOML）：
+
+```bash
+infd-cov app.infd                          # → YAML（stdout，零依赖 emitter）
+infd-cov app.infd out.json -f json         # → JSON 文件
+infd-cov app.infd -f toml                  # → TOML（需 tomli-w，见 tool extra）
+infd-cov app.infd --extract web.spec       # → 点分路径提取
+cat a.infd | infd-cov -f json              # stdin → stdout
+```
+
+- `--format`：`yaml`（默认，零依赖手写 emitter）/ `json` / `toml`
+- `--extract PATH`：点分路径（如 `web.spec.selector`）；空 = 整树
+- `--severity LEVEL`：拒绝阈值（`error`/`warning`/`info`/`debug`/`none`，默认 `error`）
+- `#env: NAME "VALUE"` 声明的变量在当前进程缺失时自动注入虚拟值
+- 演示文件：`examples/app.infd`（干净配置）/ `examples/demo.infd`（含故意错误）
+
+### 语言服务器（LSP）
+
+`infd-lsp`：零依赖手写 JSON-RPC 2.0 over stdio 语言服务器。
+
+```bash
+infd-lsp          # 作为任意 LSP 客户端的后端
+# 或
+python -m infinity_data.tools.lsp
+```
+
+#### 已实现的能力
+
+| 能力 | 说明 |
+|---|---|
+| 诊断 | `didOpen`/`didChange`/`didSave` → `publishDiagnostics`（精确位置 + 稳定错误码 + 中文消息；UTF-16 对齐） |
+| 补全 | 命名空间（`$` 触发）+ 内置约束名 + 当前文件可见模板名 + 模板字段（含必填/可选）+ 语言关键字 |
+| 悬停 | 约束描述、**编译产物预览**（字段/子字段/模板参数，jsonpath 投影）、**被实例化的模板**（模板骨架提示在前 + 实例预览在后）、**`$` 变量值**（定义点与调用点）、模板结构骨架（必填/可选 + description 元数据） |
+| 文档大纲 | `documentSymbol`：模板定义（Class）+ 顶层字段（Property） |
+| 跳转定义 | `definition`：模板调用 / `!from` 导入 / `$` 引用（含跨文件） |
+| 语义令牌 | `semanticTokens`：直接用 `RawTokenizer` 分词（UTF-16 单元对齐；跨行多行字符串按行拆分） |
+| 虚拟环境变量 | 扫描 `#env: NAME "VALUE"` 注释，进程未设置时自动注入虚拟值，避免 `env_not_set` 中止编译 |
+
+#### 在 VS Code 中使用
+
+在项目 `.vscode/settings.json` 里用任意支持自定义 LSP 的扩展（如 `lspConfig`）配置：
+
+```json
+{
+  "lspConfig.servers": [
+    { "language": "infd", "cmd": ["infd-lsp"] },
+    { "language": "inft", "cmd": ["infd-lsp"] }
+  ]
+}
+```
+
+打开 `.infd` / `.inft` 文件即可获得：诊断波浪线 + 语法高亮（semantic tokens）+ 补全 + 悬停 + 大纲 + 跳转定义。
+
+#### 端到端演示
+
+```bash
+uv run python examples/lsp_demo.py   # 自动起服务器 + 走一遍握手 + 打印结果
+```
+
+演示文件在 `examples/demo.infd`（故意含若干错误，展示诊断 / 补全 / 悬停 / 高亮）。
+
+### 虚拟环境变量（`#env` 注释）
+
+`.infd` / `.inft` 里可以用**特殊注释**声明环境变量名和虚拟值，工具（LSP / `infd-cov`）
+在当前进程缺失该变量时自动注入，避免 `env_not_set` 中止编译、吞掉同文件其他诊断：
+
+```infd
+#env: DEEPSEEK_API_KEY "sk-virtual-key"
+!env import DEEPSEEK_API_KEY as ds_key
+```
+
+- 语法：`#env: NAME "VALUE"` —— **变量名在前、虚拟值在后**
+- 真实环境变量优先：进程里已设置时用真实值，只有缺失时才用注释里的虚拟值兜底
+- 动机：`infinity_data` 沙盒在 env 未授权/未设置时会中止编译；用 `#env` 声明兜底后，
+  编辑器/CLI 始终能看到全部诊断（如约束违反、未定义模板）
+
+## 开发
+
+```bash
+uv run pytest -q      # 测试
+uv run ruff check src tests   # lint
+uv run pyright        # 类型检查（strict）
+uv run python test.py # 错误报告演示
+```

{infinity_data-3.1.1 → infinity_data-3.3.0}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "infinity-data"
-version = "3.1.1"
+version = "3.3.0"
 description = "InfinityData：声明式配置语言（.infd/.inft）的 Python 编译器库"
 readme = "README.md"
 license = { text = "MIT" }
@@ -28,16 +28,33 @@ classifiers = [
 requires-python = ">=3.12"
 dependencies = []
 
+[project.scripts]
+infd-lsp = "infinity_data.tools.lsp.__main__:main"
+infd-cov = "infinity_data.tools.cov.__main__:main"
+
+[project.optional-dependencies]
+# 工具 extra：infd-lsp / infd-cov 的可选运行依赖（uv add 'infinity_data[tool]'）
+tool = [
+    "pyyaml",    # !file 的 yaml/yml 格式导入（LSP / 编译器）
+    "tomli-w",   # infd-cov -f toml 输出
+]
+
 [project.urls]
 Repository = "https://github.com/yinbailiang/infinity_data"
 Documentation = "https://github.com/yinbailiang/infinity_data#readme"
 
 [dependency-groups]
+# 工具组：cli/lsp 工具的可选运行依赖（测试/开发组保证安装，测试可依赖它们存在）
+tool = [
+    "tomli-w",   # infd-cov -f toml 输出
+    "pyyaml",    # !file 的 yaml/yml 格式导入（LSP / 编译器）
+]
 # 测试组：仅运行测试所需（CI test job 只装这组，更快）
 test = [
     "pyyaml",
     "pytest>=8.0",
     "pytest-cov>=5.0",
+    { include-group = "tool" },
 ]
 # 开发组：lint/类型/钩子 + 测试组（本地开发与 CI pre-commit job 装这组）
 dev = [

{infinity_data-3.1.1 → infinity_data-3.3.0}/src/infinity_data/emit/__init__.py

@@ -7,7 +7,8 @@
 - **本层（emit，有损投影）** → :func:`to_json` / :func:`to_yaml` / :func:`to_toml`，
   按 :class:`EmitConfig` 控制 Decimal 编码与 noexist 标记；:func:`project_output`
   为纯 Python 值的轻量投影；:func:`restore_python` 反向**尝试还原**加载的原始
-  dict 为 :data:`~infinity_data.semantic.std.StdPythonValue`
+  dict 为 :data:`~infinity_data.semantic.std.StdPythonValue`；:func:`yaml_dump`
+  为零依赖 YAML block emitter（覆盖配置常用值，不依赖 PyYAML）
 
 **emit 不应被流水线内部使用**——内部表示一律走 semantic 的忠实转换。
 """
@@ -22,6 +23,7 @@ from infinity_data.emit.converter import (
     to_toml,
     to_yaml,
 )
+from infinity_data.emit.plain_yaml import yaml_dump
 
 __all__ = [
     'EmitConfig',
@@ -32,4 +34,5 @@ __all__ = [
     'to_json',
     'to_toml',
     'to_yaml',
+    'yaml_dump',
 ]

infinity_data-3.3.0/src/infinity_data/emit/plain_yaml.py

@@ -0,0 +1,173 @@
+"""零依赖 YAML emitter（block style，覆盖配置常用值）。
+
+与 :func:`infinity_data.emit.converter.to_yaml`（基于 PyYAML）的关系：
+本模块是**零依赖**轻量实现，供 ``infd-cov`` 默认 YAML 输出使用；PyYAML 未安装
+时也可用。只覆盖配置场景常见值（dict / list / 标量 / Decimal / 多行字符串），
+不做完整 YAML 规范实现。
+
+- ``yaml_dump(obj)``：任意 Python 值 → YAML block 文本
+- 值域与 :data:`~infinity_data.semantic.std.StdPythonValue` 对齐：Decimal（infd
+  浮点字面量）经 ``str()`` 输出；``null`` → ``null``；多行字符串 → ``|-``
+"""
+
+from __future__ import annotations
+
+from collections.abc import Mapping
+from decimal import Decimal
+from typing import Any
+
+__all__ = ['yaml_dump']
+
+# 可序列化值（reduce 后的配置值；Decimal 为 infd 浮点字面量）。
+# PEP 695 递归别名：容器值也是 YamlValue，isinstance 收窄后无 Unknown。
+type YamlValue = Mapping[str, YamlValue] | list[YamlValue] | str | int | float | bool | Decimal | None
+
+
+def yaml_dump(obj: Any) -> str:
+    """任意 Python 值 → YAML block 文本。"""
+    out: list[str] = []
+    _dump(obj, out, 0)
+    return '\n'.join(out)
+
+
+def _dump(obj: YamlValue, out: list[str], indent: int) -> None:
+    pad = '  ' * indent
+    if isinstance(obj, Mapping):
+        if not obj:
+            out.append(f'{pad}{{}}')
+            return
+        for k, v in obj.items():
+            key = _plain(str(k))
+            if isinstance(v, Mapping):
+                if not v:
+                    out.append(f'{pad}{key}: {{}}')
+                else:
+                    out.append(f'{pad}{key}:')
+                    _dump(v, out, indent + 1)
+            elif isinstance(v, list):
+                if not v:
+                    out.append(f'{pad}{key}: []')
+                else:
+                    out.append(f'{pad}{key}:')
+                    _dump(v, out, indent + 1)
+            else:
+                if isinstance(v, str) and '\n' in v:
+                    out.append(f'{pad}{key}: |-')
+                    out.extend(_block_scalar_lines(v, indent))
+                else:
+                    out.append(f'{pad}{key}: {_scalar(v)}')
+    elif isinstance(obj, list):
+        if not obj:
+            out.append(f'{pad}[]')
+            return
+        for v in obj:
+            if isinstance(v, Mapping):
+                if not v:
+                    out.append(f'{pad}- {{}}')
+                    continue
+                first = True
+                for k, vv in v.items():
+                    key = _plain(str(k))
+                    prefix = f'{pad}- ' if first else f'{pad}  '
+                    first = False
+                    if isinstance(vv, Mapping):
+                        if not vv:
+                            out.append(f'{prefix}{key}: {{}}')
+                        else:
+                            out.append(f'{prefix}{key}:')
+                            _dump(vv, out, indent + 2)
+                    elif isinstance(vv, list):
+                        if not vv:
+                            out.append(f'{prefix}{key}: []')
+                        else:
+                            out.append(f'{prefix}{key}:')
+                            _dump(vv, out, indent + 2)
+                    else:
+                        if isinstance(vv, str) and '\n' in vv:
+                            out.append(f'{prefix}{key}: |-')
+                            out.extend(_block_scalar_lines(vv, indent + 1))
+                        else:
+                            out.append(f'{prefix}{key}: {_scalar(vv)}')
+            elif isinstance(v, list):
+                out.append(f'{pad}-')
+                _dump(v, out, indent + 1)
+            else:
+                if isinstance(v, str) and '\n' in v:
+                    out.append(f'{pad}- |-')
+                    out.extend(_block_scalar_lines(v, indent))
+                else:
+                    out.append(f'{pad}- {_scalar(v)}')
+    else:
+        out.append(f'{pad}{_scalar(obj)}')
+
+
+def _block_scalar_lines(s: str, indent: int) -> list[str]:
+    """多行字符串 → YAML 块标量内容行（调用处负责输出 ``key: |-`` 头行）。
+
+    内容行缩进 = 2 * (indent + 1)（比 key 多一级）；空行保持完全空白，
+    避免因缩进不足提前结束块；尾部空行去除（配合 ``|-`` 无末尾换行）。
+    """
+    pad = '  ' * (indent + 1)
+    lines = s.split('\n')
+    while lines and lines[-1] == '':
+        lines.pop()
+    return [f'{pad}{line}' if line else '' for line in lines]
+
+
+def _scalar(v: Any) -> str:
+    """标量 → YAML 文本。"""
+    if v is None:
+        return 'null'
+    if isinstance(v, bool):
+        return 'true' if v else 'false'
+    if isinstance(v, (int, float, Decimal)):
+        # nan / ±inf：YAML 接受 .nan/.inf，str() 输出的 nan/inf 也常见可读
+        return str(v)
+    return _plain(str(v))
+
+
+def _plain(s: str) -> str:
+    """普通字符串；含 YAML 特殊字符/歧义时加单引号。"""
+    if s == '':
+        return "''"
+    # YAML 1.1 歧义字面量 → 引号
+    if s in (
+        'null',
+        'Null',
+        'NULL',
+        'true',
+        'True',
+        'TRUE',
+        'false',
+        'False',
+        'FALSE',
+        'yes',
+        'Yes',
+        'YES',
+        'no',
+        'No',
+        'NO',
+        'on',
+        'On',
+        'ON',
+        'off',
+        'Off',
+        'OFF',
+        '~',
+        '.nan',
+        '.inf',
+        '-.inf',
+        '+.inf',
+    ):
+        return f"'{s}'"
+    # 首字符/内嵌特殊 → 引号
+    if s[0] in '-?:,[]{}#&*!|>\'"%@`' or s[0] in ' \t':
+        return _quote(s)
+    if ': ' in s or ' #' in s or '\n' in s or '\t' in s or s.rstrip() != s:
+        return _quote(s)
+    return s
+
+
+def _quote(s: str) -> str:
+    """单引号引用（'' 转义单引号）。"""
+    return "'" + s.replace("'", "''") + "'"

{infinity_data-3.1.1 → infinity_data-3.3.0}/src/infinity_data/semantic/builder/builder.py

@@ -541,6 +541,8 @@ class AstBuilder:
 
         type_cast 为显式 as bool/int/float/str 转换；source 为 ``$name`` 表达式在源码中的位置。
         本文件空间查不到 → ``dollar.undefined`` 警告取 null（不中断编译）。
+        非字符串结构化值（list / dict）应用 as → ``dollar.convert_unsupported``
+        错误 + 原样返回（容错继续编译，§1.8）。
         """
         namespace = scope.namespaces if scope is not None else {}
         if name not in namespace:
@@ -552,7 +554,15 @@ class AstBuilder:
         if type_cast is None:
             return raw
         if isinstance(raw, (StdArray, StdObject)):
-            return raw  # 结构化值 cast 不适用
+            # 结构化值（list / dict）不支持 as 转换：写了 as 就必须转换、不静默忽略——
+            # 报错 + 原样返回容错（继续编译）
+            self._err(
+                'dollar.convert_unsupported',
+                {'name': name, 'kind': 'list' if isinstance(raw, StdArray) else 'dict', 'type': type_cast},
+                source,
+                path,
+            )
+            return raw
         # 空字面量：as 转换**保持传播**（null → null、noexist → noexist），
         # 不做任何转换、不产生警告——三态可空语义不因显式 as 而丢失
         # （此时 raw 已收窄为 StdLiteral）

{infinity_data-3.1.1 → infinity_data-3.3.0}/src/infinity_data/semantic/diagnostics.py

@@ -135,6 +135,11 @@ register_diagnostic_define(
         '{path_prefix}无法将 ${name}={raw!r} 转为 {type}',
         en='{path_prefix}cannot convert ${name}={raw!r} to {type}',
     ),
+    diagnostic_define(
+        'dollar.convert_unsupported',
+        '{path_prefix}结构化值 ${name}（{kind}）不支持 as {type} 转换，已原样保留',
+        en='{path_prefix}structured value ${name} ({kind}) does not support as {type}; kept as-is',
+    ),
     diagnostic_define('inft.not_allowed', '{path_prefix}.inft 文件只允许模板定义，发现其他语句'),
     diagnostic_define('error.generic', '{path_prefix}{message}'),
     # ═══════════════════════════════════════════════════════════

{infinity_data-3.1.1 → infinity_data-3.3.0}/src/infinity_data/semantic/resolver/resolver.py

@@ -192,6 +192,7 @@ class TemplateGraphResolver:
         """把 ``!from`` 的导入项映射进目标 scope；冲突一律 ERROR。
 
         - 导入文件中不存在该模板 → ERROR
+        - 可见名（含 ``as`` 别名）与注册约束同名 → ERROR（模板即约束，内置约束不可被遮蔽）
         - 可见名与文件内定义同名 → ERROR（与文件内定义冲突）
         - 可见名已存在（重复导入）→ ERROR，保留先到者（拒绝隐式覆盖）
         """
@@ -203,6 +204,8 @@ class TemplateGraphResolver:
                 )
                 continue
             visible = item.alias or item.name
+            if self._check_template_name_conflict(visible, item.source):
+                continue
             if visible in scope.visible:
                 if visible in local_names:
                     self._collector.add(
@@ -295,9 +298,9 @@ class TemplateGraphResolver:
         imported_doc = self._parse_document(file)
 
         # 1) 本地模板：先注册（循环导入时依赖文件的本地名部分已可见）
-        #    身份含来源文件路径：不同路径的文件即使内容相同也是不同模板身份——
-        #    模板内部 !from 按定义文件所在目录解析，内容相同的文件其依赖语义
-        #    可能不同，不能互相覆盖（纯内容寻址无法表达这一区别）
+        #    身份初始按来源文件路径区分（收集阶段，避免同名互相覆盖）；最终由
+        #    _remap_content_identities 重算为依赖闭包组合哈希（§2.5）——内容 + 依赖
+        #    相同 → 同身份；依赖不同 → 依赖 identity 进 hash → 自然区分
         scope: Scope = Scope()
         local_names: set[str] = set()
         for s in imported_doc.statements:

infinity_data-3.3.0/src/infinity_data/tools/__init__.py

@@ -0,0 +1,7 @@
+"""InfinityData 官方命令行工具包：配置转换（cov）+ 语言服务器（lsp）。
+
+- :mod:`infinity_data.tools.cov`：``infd-cov`` 配置转换器（.infd/.inft → YAML/JSON/TOML）
+- :mod:`infinity_data.tools.lsp`：``infd-lsp`` 语言服务器（LSP over stdio）
+
+每个子包都带 ``__main__.py``，可用 ``python -m infinity_data.tools.<tool>`` 启动。
+"""

infinity_data-3.3.0/src/infinity_data/tools/cov/__init__.py

@@ -0,0 +1,30 @@
+"""infd-cov：编译 .infd/.inft → 各种配置格式（YAML / JSON / TOML）。
+
+用法::
+
+    infd-cov app.infd                          # → YAML（stdout，零依赖 emitter）
+    infd-cov app.infd out.json -f json         # → JSON 文件
+    infd-cov app.infd -f toml                  # → TOML（需 tomli-w）
+    infd-cov app.infd --extract web.spec       # → 点分路径提取
+    cat a.infd | infd-cov -f json              # stdin → stdout
+
+行为:
+    - 沙盒 ``SandboxConfig.full_access()``：放行全部导入（含跨目录 ``!from`` 模板导入）
+    - ``#env: NAME "VALUE"`` 声明的变量在当前进程缺失时自动注入虚拟值
+    - ``--severity LEVEL``：拒绝阈值（error/warning/info/debug/none，默认 error）。
+      达到该级别（含更高）的诊断 → 全部报告到 stderr + 退出 1（不输出）；
+      none = 从不拒绝
+    - ``--extract PATH``：点分路径（如 ``web.spec.selector``）；空 = 整树；
+      路径不存在 → stderr + 退出 1
+    - noexist 字段（键不出现）已在 reduce 阶段过滤
+
+模块划分（与 lsp 相同的包结构）：
+    - :mod:`~infinity_data.tools.cov.cli`：入口与主流程（argparse / 编译 / 阈值）
+    - :mod:`~infinity_data.tools.cov.convert`：格式渲染（YAML/JSON/TOML）+ 路径提取
+"""
+
+from infinity_data.tools.cov.cli import main, virtual_env
+
+__version__ = '1.0.0'
+
+__all__ = ['main', 'virtual_env', '__version__']

infinity_data-3.3.0/src/infinity_data/tools/cov/__main__.py

@@ -0,0 +1,6 @@
+"""``python -m infinity_data.tools.cov`` 入口。"""
+
+from infinity_data.tools.cov.cli import main
+
+if __name__ == '__main__':
+    raise SystemExit(main())