{"name":"attempt_completion","arguments":{"result":"建议采用“只读快照 → 语言适配器 → 通用语义 IR → 必需闭包 → 无损编码 → 精确帧背压 → 独立消费者”的分层架构，复用现有引擎的预算控制机制，但不直接复用其 Python 语义判定。工业级承诺应限定为“声明范围内的必需静态知识完整、每个交付帧不超过 24,576 字节”；不能承诺任意工程、任意规模、全部程序语义都能无损装入一个固定大小的帧。\n\n- 本次仅交付会话方案：没有修改文件、运行终端、安装依赖、操作 Git、请求模型或激活宿主。\n- 18,869 字节和 40 项回归有已读取的历史回执支持，但不是本轮重新验证；其完整性范围是导入与定义记录，而不是完整调用图或程序行为。\n- 以下 RFC 为 PROPOSED。适配器、数据结构、靶场和新增入口均是拟议资产，不代表已经实现或通过验收。\n\n# 全语言通用代码知识蒸馏架构方案\n\n## Universal Distillation RFC\n\n版本：提案 1.0｜日期：2026-10-27｜覆盖：TypeScript、Java、C#、Python、Rust、Go、C、C++。\n\n## 0. 证据基线与架构裁决\n\n### 0.1 三遍阅读后的事实边界\n\n第一遍明确了目标与授权：八语言覆盖、零模型训练、零项目特调、目标机零重型编译器工具链、只读取证及纯方案交付。\n\n第二遍核对了源码、测试、历史回执与相关契约，得到以下结论：\n\n| 项目 | 已取得的证据 | 正确解释 |\n|---|---|---|\n| 18,869 字节 | [核心交付回执](../project/solo-distill-mcp/verification/priority-core-20261026T235609Z.receipt.json:81)记录第二次请求的实际帧大小 | 同一 FastCode 五文件快照的核心交付，不是全局最小值或未来保证 |\n| 核心完整 | 同一回执记录 79 条导入、84 条定义、79 条静态依赖引用 | 84 条定义包含方法和嵌套定义，不只是顶层公开接口 |\n| 可选内容 | 回执记录 751 条调用表达式全部省略，包括 P2 的 16 条和 P3 的 735 条 | 结果明确为部分交付；不能称全部语义零丢失 |\n| 40 项回归 | [定向回归记录](../project/solo-distill-mcp/verification/priority-core-20261026T235609Z.receipt.json:7)记录退出码 0、40 项、OK | 特定回归集合的历史通过，不代表整个测试集合只有 40 项 |\n| 更大的既有回归集合 | [既有风险修复计划](PLAN-20261025-solo-distill-v2-risk-remediation-01.md:156)记载 205 项离线通过 | 文档记载；本轮未读取原始命令工件或重新执行，不能冒充本轮结果 |\n| 当前抽取信息 | [现有定义抽取逻辑](../project/solo-distill-mcp/src/solo_distill/extractor.py:177)保存名称、限定名、类别与类基类 | 尚不能据此声称已完整保存参数、返回类型、默认值、泛型约束与 API 契约 |\n| 独立性 | [核心烟测评价器](../project/solo-distill-mcp/verification/.scratch/step4_core_validation_20261026.py:1)导入生产解码入口 | 它不是完全独立的编解码神谕，跨语言阶段需要补充真正独立的评价链 |\n\n第三遍按虚拟重实现审查了必需核心溢出、可见性误判、条件编译、动态调用、原生解析器故障、编码膨胀和消费者解码边界。下面的方案是设计推演，不是八语言实测结果。\n\n### 0.2 需要保留的既有契约\n\n- [现有优先级交付逻辑](../project/solo-distill-mcp/src/solo_distill/priority_v1.py:125)将 P0 导入和 P1 全部定义作为必需记录；新公开接口模式不能静默削弱这个范围。\n- [已接受的相关 ADR](docs/adrs/ADR-20261025-solo-distill-v2-risk-remediation.md:58)规定既有 V2 A 的上限为 22,016 字节，B 为 12,288 字节；24,576 字节是本 RFC 的外部物理硬顶，不是提高旧 V2 配额的授权。\n- [现有项目元数据](../project/solo-distill-mcp/pyproject.toml:5)声明 Python 3.12 以上和空运行时第三方依赖。引入预编译解析组件属于新的依赖契约，必须另获工程授权。\n- [项目说明](../project/solo-distill-mcp/README.md:16)与后来接受的 ADR 存在阶段状态差异。接管应以具体契约、源码和真实回执分别判断，不依据某一文档笼统宣布全部完成。\n\n本任务不是历史计划的继续或重放，不继承其安装、网络、转正、归档或执行授权。\n\n### 0.3 官方材料覆盖与未知\n\nTree-sitter 官方将其定位为增量解析库，产物是具体语法树；查询通过 S-expression 匹配语法节点。[11](cite:11)[16](cite:16)\n\nTypeScript 官方材料支持模块导出、类型导入导出，以及包入口与模块解析规则需要区分的结论。[3](cite:3)[7](cite:7)[8](cite:8)\n\n其他七语言的官方规范细节、八个具体语法包的节点与字段、目标平台预编译包可用性，本轮未取得充分一手核验证据：Insufficient evidence。下文提供保守的抽取政策和规范遍历规则，不把它们写成已经核验、可直接上线的查询实现；此缺口阻塞适配器生产接受，不阻塞本 RFC 的条件方案交付。\n\n## 1. 目标、非目标与硬门禁\n\n### 1.1 目标\n\n1. 用统一结构描述八语言的声明、依赖、公开表面、条件、调用点与证据来源。\n2. 将语言差异限制在适配器及其轻量声明解析规则内。\n3. 必需内容先形成引用闭包；预算不足时明确阻塞，不把缺失解释成完整。\n4. 采用服务器绑定的只读范围，不运行目标源码或项目构建脚本。\n5. 同一输入、适配器、政策和编码版本产生确定性核心。\n6. 为每种语言建立可复读、不可由生成端读取答案的独立验收集合。\n\n### 1.2 必要非目标\n\n- 不进行模型训练、微调、向量建库或重型 ML 推理。\n- 不建立与编译器等价的类型检查器、宏展开器、链接器或运行时调用图。\n- 不承诺证明行为等价、类型正确、ABI 正确或所有运行时副作用。\n- 不按仓库名称、业务关键词或冻结答案定制剪枝规则。\n- 不把压缩后的传输字节数等同于模型实际消费的上下文或 token 数。\n- 不自动安装、切换模式、执行实验、更新事实基线、转正 ADR 或归档。\n\n### 1.3 候选架构筛选\n\n| 候选 | 硬门禁裁决 | 理由 |\n|---|---|---|\n| 目标机安装语言 SDK、构建系统并调用语义服务 | 排除 | 违反用户明确的工具链死线 |\n| 重型 ML 编码或训练路线 | 排除 | 违反零训练和零重型 ML 约束 |\n| 纯文本正则承担完整声明抽取 | 不作为主前端 | 不满足本 RFC 对嵌套结构、条件和精确来源认证的设计要求 |\n| 预编译 Tree-sitter＋保守适配器 | 条件推荐 | 符合目标方向；仍须关闭包可用性、ABI、语法覆盖和独立验证门禁 |\n\n不编造评分或性能倍数；未知门禁不登记为通过。\n\n## 2. 统一通用语义模型：Universal Semantic Graph IR\n\n### 2.1 四类标准节点\n\n| 标准节点 | 职责 | 必须避免的混淆 |\n|---|---|---|\n| Package/Namespace | 表示逻辑包、命名空间或声明容器；记录其来源类别 | 文件目录、包管理单元、命名空间不能默认视为同一个实体 |\n| Module/File | 表示具有内容身份的源码文件或语言模块 | 未读取的外部模块不能冒充已认证源码 |\n| ContractNode | 表示类型、接口、trait、结构体、枚举、别名及公开绑定的声明契约 | 不只保存名称；字段、约束、修饰符和条件属于契约 |\n| CallableNode | 表示函数、方法、构造器、操作符及可调用声明 | 调用声明、调用表达式和已解析调用目标必须分开 |\n\n建议采用以下归属政策：\n\n- 包与文件通过明确归属字段连接；嵌套类、方法、局部定义记录父节点，不增加重复的包含关系边。\n- 公开变量、常量、属性、事件等作为契约声明或契约成员 facet 表达，不能因为不是函数而丢失。\n- 重载、模板特化、条件声明和同名定义保持独立来源身份。\n- 类型表达式先保存原始声明片段与结构类别，不伪装成已经解析完毕的统一类型系统。\n- 公开别名与重导出同时保留原名、外部名称及来源声明，不能只留下最终名字。\n\n### 2.2 标准边与证据层\n\n| 边 | 方向 | 必须保存的信息 |\n|---|---|---|\n| DependsOn | 使用者 → 被引用模块、命名空间或声明 | 导入形式、目标文本、别名、条件、阶段、解析状态、来源 |\n| Implements | 实现声明 → 契约 | 声明形式、目标文本、泛型约束、条件及解析状态 |\n| Calls | 调用者 → 可调用目标或未知目标 | 调用点、表达式、作用域、条件、解析状态与未知原因 |\n| Extends，必要的独立扩展边 | 子类型 → 基类 | 保留继承与实现的差异，不能全部塞入 Implements |\n\n边的存在可以证明“源码出现了某种引用或关系声明”，不自动证明编译器接受、运行时执行或实际派发。\n\n对无显式实现声明的结构性接口，不根据名称或方法数量虚构 Implements。只能保存待验证的结构符合候选，且不得加入已确定关系图。\n\n未知目标允许为空，但目标文本、来源和原因不能同时丢失。确定关系图仅使用满足适配器保守解析规则的边；循环通过强连通分量保留，不伪造拓扑执行顺序。\n\n### 2.3 Python 类型标注式数据结构伪代码\n\n以下均是未落盘的拟议声明。为满足声明定位要求，链接指向拟议位置的首行；它们不是现存文件或实现证据。\n\n通用声明建议使用 [`@dataclass(frozen=True)`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1)，适配器接口建议使用 [`Protocol`](../project/solo-distill-mcp/src/solo_distill/language_extractor.py:1)。下表是字段式伪代码，不是可直接执行的生产代码。\n\n| 拟议声明 | 字段或类型定义伪代码 |\n|---|---|\n| [`LanguageId`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`Literal['typescript', 'java', 'csharp', 'python', 'rust', 'go', 'c', 'cpp']`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`SourceSpan`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`file_id: str; raw_start: int; raw_end: int; parsed_start: int; parsed_end: int; start_line: int; end_line: int`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`SourceSnapshot`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`project_id: str; path: str; raw: bytes; sha256: str; source_encoding: str; language: LanguageId`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Condition`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`id: str; parent_id: str | None; kind: str; expression: str; evaluation: Literal['true', 'false', 'unknown']; source: SourceSpan`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Evidence`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`id: str; grade: Literal['direct_syntax', 'bounded_static', 'inference']; spans: tuple[SourceSpan, ...]; rule_id: str; conditions: tuple[str, ...]`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Exposure`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`declared_access: str; audience: str; reachability: Literal['yes', 'no', 'conditional', 'unknown']; public_names: tuple[str, ...]; reasons: tuple[str, ...]; evidence_ids: tuple[str, ...]`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Signature`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`declaration_text: str; parameters: tuple[str, ...]; return_type: str | None; generic_parameters: tuple[str, ...]; constraints: tuple[str, ...]; modifiers: tuple[str, ...]; attributes: tuple[str, ...]; evidence_ids: tuple[str, ...]`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Node`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`id: str; kind: Literal['package_namespace', 'module_file', 'contract', 'callable']; declaration_kind: str; name: str; parent_id: str | None; language: LanguageId; exposure: Exposure; signature: Signature | None; evidence_ids: tuple[str, ...]; facets: tuple[tuple[str, str], ...]`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Edge`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`id: str; kind: Literal['depends_on', 'implements', 'calls', 'extends']; source_id: str; target_id: str | None; target_text: str; phase: str; resolution: Literal['declared', 'bounded_static', 'unknown']; unknown_reason: str | None; evidence_ids: tuple[str, ...]`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Obligation`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`id: str; required: bool; minimum_grade: str; support_ids: tuple[str, ...]; status: Literal['satisfied', 'missing', 'unknown']`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Coverage`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`requested_files: int; read_files: int; parsed_files: int; failed_files: int; skipped_files: int; requested_declarations: int; delivered_declarations: int; scope_id: str`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`ExtractionResult`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`nodes: tuple[Node, ...]; edges: tuple[Edge, ...]; evidence: tuple[Evidence, ...]; conditions: tuple[Condition, ...]; obligations: tuple[Obligation, ...]; coverage: Coverage; diagnostics: tuple[str, ...]`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`UniversalGraph`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`schema_version: str; input_id: str; policy_id: str; adapter_ids: tuple[str, ...]; extraction: ExtractionResult`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n\n运行时认证不能由这些类型声明替代。必须额外检查引用目标类型、整数范围、重复身份、条件闭包、来源范围及未知状态的一致性。\n\n### 2.4 身份、坐标与所有权\n\n1. 原始文件摘要认证读取的字节；解析器输入另有编码映射，不能把解析位置当作原始文件位置。\n2. 来源范围统一为左闭右开的原始字节区间；行号仅作为人类定位辅助。\n3. 文件身份包括路径、原始摘要和解析契约；节点身份还包括语法定位与声明类别。\n4. 全摘要与稳定身份保存在规范注册表；传输时使用帧内稠密引用，避免在每条记录重复路径与长摘要。\n5. 不任意修改标识符大小写、Unicode 形式或路径大小写来制造去重。\n6. 同一来源被多个义务使用只计费一次，但各义务必须分别判定是否满足。\n7. 声明摘要与完整正文证据使用不同类别。类头可以认证为声明片段，不能冒充完整类正文。\n\n### 2.5 八语言导出可见性判定矩阵\n\n可见性不能压缩为一个布尔值。至少区分：声明访问规则、容器可达性、外部名称、受众、条件及证据等级。\n\n下表中 TypeScript 的主要导出形式有官方材料支持。[3](cite:3)[7](cite:7)[8](cite:8) 其余语言列是待规范核验的适配器政策草案；生产接受前必须通过相应官方规范和正负例认证。\n\n| 语言 | 拟采用的公开表面判定 | 必须保留的限制与未知 |\n|---|---|---|\n| TypeScript | 识别直接导出、命名导出、默认导出、重导出；分别记录类型表面与值表面。[3](cite:3)[7](cite:7) | 模块导出不能直接当作包入口可达；入口限制与解析模式另行记录。[8](cite:8) CommonJS 赋值、动态导入及可能被遮蔽的加载函数采用独立保守规则 |\n| Python | 静态列举的导出集合优先作为导出意图证据；没有明确集合时采用名称约定标注公开候选 | 下划线约定不能写成访问控制；导出集合对星号导入的意义与一般可访问性分开；动态构造、模块属性钩子、运行时注入保持未知 |\n| Java | 对公开类型与成员进行容器访问检查；记录包、模块声明及导出限制 | 公开成员不能越过不可访问容器直接判为对外可达；接口隐式规则、非公开成员、限定模块导出需独立规则；不运行构建系统补依赖 |\n| C# | 综合公开修饰符、包含类型、声明种类与程序集受众；保留接口表面 | 文件级限制、内部访问、显式接口实现、隐式默认访问与部分声明必须分别处理；命名空间不是访问控制；生成源码缺失保持未知 |\n| Go | 按语言规定的 Unicode 导出标识符规则及声明位置识别导出候选 | 不用 ASCII 大写正则代替完整规则；包级声明与成员规则分开；构建标签、平台文件、点导入及副作用导入保留；不虚构显式接口实现边 |\n| Rust | 区分公开与受限公开，沿模块可达路径和重导出路径判断公开表面 | 父模块、成员默认规则、trait 与实现成员、条件属性分别处理；宏生成声明与过程宏结果不展开；不能仅见公开修饰符就判全局可达 |\n| C | 将授权头文件中的声明视为 API 候选，再记录声明位置、链接属性和预处理条件 | 头文件位置不证明二进制导出；静态声明、内联定义、此前声明和外部声明组合必须保守处理；C 不套用命名空间公开规则 |\n| C++ | 综合头文件 API 候选、类成员访问、命名空间归属、链接属性及模块导出声明 | 普通命名空间不是导出开关；匿名命名空间、类型默认访问、模板、常量链接规则、宏与模块配置需独立处理；外部语言链接不等于公开导出 |\n\n共同规则：无法证明“不属于必需公开表面”的声明，保守保留为条件或未知候选；若其闭包导致预算超限，明确阻塞，不能靠猜测私有性完成压缩。\n\n## 3. 无重型编译器前端底座\n\n### 3.1 总体数据流\n\n1. 服务器授权注册表收窄项目和读取范围。\n2. 读取器创建有界来源快照，拒绝越界、软链接和非普通文件。\n3. 语言路由器选择已批准的预编译语法组件。\n4. 适配器抽取声明、依赖、条件、公开候选与调用点。\n5. IR 认证器检查来源、引用、完整性和诊断。\n6. 核心引擎形成必需闭包并进行预算交付。\n7. 独立消费者解码、复读来源并评价义务。\n\n解析并不等于完整代码理解。Tree-sitter 的具体语法树应作为前端结构底座，而不是编译器语义服务的替身。[11](cite:11)\n\n### 3.2 部署死线\n\n目标机不得因本系统安装或调用 JDK、dotnet SDK、Node.js、Rustc/Cargo、Go、GCC/Clang，也不得安装重型 ML 库。\n\n拟议部署政策：\n\n- 保留已有 Python 宿主作为控制层；目标源码只作为数据。\n- 仅接纳预编译解析运行时及八语言语法组件，不调用语法生成 CLI，不从源码构建。\n- 不默认引入包含大量无关语言、额外运行时或自动下载功能的全集包。\n- 对每个组件固定版本、来源、摘要、许可证、平台标签和依赖闭包。\n- 没有匹配目标平台的合格预编译资产时报告缺失；不得回退为本地编译或自动安装工具链。\n- 组件若必须由发布侧构建，该构建属于另行批准的供应链流程，不是目标机或本分析任务的隐含权限。\n- 原生解析器及外部扫描器本身是可执行依赖，不宣称“完全不执行任何代码”。明确不执行的是目标项目代码。\n\nTree-sitter 的 Python 绑定区分解析运行时支持的语言 ABI；组件接纳必须核对兼容性，不能只比较包名或下载成功。[13](cite:13)\n\n### 3.3 可插拔适配器接口\n\n拟议接口为 [`class LanguageExtractor(Protocol)`](../project/solo-distill-mcp/src/solo_distill/language_extractor.py:1)：\n\n| 拟议成员 | 契约 |\n|---|---|\n| [`language_id: LanguageId`](../project/solo-distill-mcp/src/solo_distill/language_extractor.py:1) | 固定语言身份，不由目标源码重新选择 |\n| [`adapter_id: str`](../project/solo-distill-mcp/src/solo_distill/language_extractor.py:1) | 包括适配器、语法、查询和规则版本 |\n| [`capabilities: tuple[str, ...]`](../project/solo-distill-mcp/src/solo_distill/language_extractor.py:1) | 声明支持的语法范围、编码、依赖形式及已知限制 |\n| [`extract(self, source: SourceSnapshot, context: ExtractionContext) -> ExtractionResult`](../project/solo-distill-mcp/src/solo_distill/language_extractor.py:1) | 只消费快照与有界上下文，不自行访问文件、网络、模型或终端 |\n| [`class ExtractionContext: manifest_id: str; approved_conditions: tuple[str, ...]; deadline: float; max_records: int`](../project/solo-distill-mcp/src/solo_distill/language_extractor.py:1) | 只允许声明式环境输入，不允许项目脚本、插件路径或任意命令 |\n\n适配器只负责语言事实与保守判定，不决定传输预算；预算内核只消费已经认证的 IR，不重新解释语言语法。\n\n### 3.4 语言路由与轻量元数据\n\n- 扩展名仅作为路由证据之一；歧义头文件必须结合已批准的语言清单，不一律当作 C++。\n- TypeScript 与 TSX 使用分别绑定的语法变体；声明文件与实现文件标注不同角色。\n- 包、模块、条件编译和入口元数据可由有界声明式文件读取器处理，不执行其脚本部分。\n- Java、C#、Rust、Go 的构建与依赖信息缺失时保留未知，不通过 SDK、恢复依赖或构建补齐。\n- 元数据输入是环境与授权描述，不是针对特定项目调权重的入口。\n- 混合语言文件或嵌入式 DSL 不因宿主语言解析成功就宣称内部语义覆盖。\n\n### 3.5 八语言 P0/P1 规范遍历规则\n\n本 RFC 选择 AST/CST 角色遍历规则，而不发布未经节点模式核验的可执行 S-expression。官方查询语法要求匹配具体节点类型；语法包绑定后才能把以下规则编译为查询。[16](cite:16)\n\n共同遍历算法：\n\n1. 从文件根进入包、模块、命名空间和声明包装容器。\n2. 透明穿过条件包装，但记录条件及分支，不擅自选择当前构建分支。\n3. 顶层声明抽取遇到函数、lambda 或表达式正文时停止深入；类型 API 成员由单独成员遍历处理。\n4. 依赖扫描覆盖所有语法作用域，记录所在作用域；局部导入不能因为不是顶层而漏掉。\n5. 声明去重以来源范围与类别为依据，不按名称去重。\n6. 声明头、属性、泛型约束和修饰符形成契约；正文是否必需由任务义务决定。\n\n| 语言 | P0：依赖定位与归一化规则 | P1：顶层契约及 API 成员定位规则 |\n|---|---|---|\n| TypeScript | 捕获静态导入和含来源模块的重导出；记录类型/值阶段、命名导入、默认导入、别名及副作用导入。字面量动态导入单独登记；加载函数调用必须经过绑定检查 | 进入导出、声明、命名空间等包装；抽取接口、类型别名、类、枚举、函数和公开变量绑定；单独抽取 API 方法、属性与调用签名；类型形式有官方支持。[3](cite:3)[7](cite:7) |\n| Python | 捕获普通和相对导入、逐项别名、星号、条件和局部作用域；动态导入仅保存符合保守规则的表达式，不执行求值 | 抽取类、函数、异步函数、装饰器、类型参数、注解、默认值及声明绑定；公开表面模式识别导出意图；兼容模式仍保存全部方法与嵌套定义 |\n| Java | 捕获普通及静态导入、通配形式；模块描述中的依赖、导出及服务引用分别登记。包声明是容器，不冒充依赖边 | 抽取类、接口、枚举、记录类型、注解类型；单独抽取 API 方法、构造器、字段、嵌套类型、类型参数及约束；处理修饰符和隐式访问规则 |\n| C# | 捕获命名空间引用、别名、静态引用、全局引用及外部别名；依赖阶段标为声明/名称引用，不能凭此声称已解析程序集依赖 | 穿过块式或文件式命名空间；抽取类、结构体、接口、记录、枚举、委托；保留 API 方法、属性、索引器、事件、操作符、构造器及访问器限制 |\n| Go | 捕获单条与分组导入，逐项保存路径、别名、点导入、副作用形式和构建条件；包声明单独形成容器 | 抽取类型定义/别名、接口、结构体、函数、带接收者方法、变量和常量组；成员与嵌入声明作为契约 facet；泛型参数和接收者完整保留 |\n| Rust | 捕获模块声明、外部 crate 引用、嵌套使用树、别名、通配和重导出；保留条件属性与相对路径层级，不解析过程宏结果 | 抽取结构体、枚举、trait、别名、函数、常量、静态项和外部声明块；实现块形成关系上下文，其关联项形成成员；保存生命周期、约束和条件 |\n| C | 捕获文件包含指令；区分字面量目标与宏目标；保存预处理分支、包含形式和来源，不调用预处理器 | 抽取结构体、联合体、枚举、类型别名、函数原型/定义、对象声明及 API 相关宏；沿声明器定位函数、指针和多声明项，不用简单分号切分 |\n| C++ | 在 C 包含规则上增加命名空间引用、别名以及模块导入/导出声明的角色识别；模板与宏生成依赖保持限制 | 穿过命名空间、模板和语言链接包装；抽取类/结构体、枚举、别名、函数、变量模板及概念声明；成员保留访问、构造/析构、操作符、约束、限定符和异常规格 |\n\n每种适配器上线前必须交付：\n\n- 固定语法版本的节点类型清单与查询编译回执。\n- 每种支持语法形式的完整捕获集合，而不是只检查非零命中。\n- 嵌套、条件、重导出、同名和歧义负控。\n- 声明源码切片与原始字节范围的独立复读。\n- 新语法不支持时的诊断；不得以语法树存在宣称已覆盖。\n\n### 3.6 解析与读取故障治理\n\n- 与 P0/P1 相关的解析错误、缺失节点或未支持语法必须阻塞相应完整性结论。\n- 允许交付不受影响的已认证记录，但总体状态不能宣称全部完成。\n- 原生解析应置于有内存上限、进程级截止和明确退出回执的受控工作进程；仅在解析前后检查时间不足以治理原生卡死。\n- 工作进程设计不依赖后台守护授权；进程启动、限制和退出验收由获准工程入口完成。\n- 文件缺失、权限拒绝、磁盘错误、编码失败、语法损坏、语法不支持、资源耗尽分别报告。\n- 沿用现有读取限制作为初始边界，不自动增加配额；[当前项目配置](../project/solo-distill-mcp/config/projects.json:8)给出了条目、文件、总读取、时间和返回配额。\n\n## 4. A+ 核心机制的语言无关性与复用证明\n\n### 4.1 正确的“语言无关”定义\n\n定义内核 K 的输入为：已认证图 G、义务集合 O、序列化器 W、政策 P 和预算 B。\n\n若 K 不解释源码、不按语言名称分支，所有语言差异都已经由适配器转为显式属性，那么 K 的闭包、集合去重、引用编码及预算控制可以语言无关。\n\n这不意味着不同语言具有相同语义、图大小或压缩率，也不意味着现有生产模块已经满足这个隔离条件。\n\n[现有依赖图形成逻辑](../project/solo-distill-mcp/src/solo_distill/priority_v1.py:83)含 Python 文件到模块的映射；[现有语法单元](../project/solo-distill-mcp/src/solo_distill/syntax_v2.py:73)与[静态关系解析](../project/solo-distill-mcp/src/solo_distill/graph_v2.py:18)直接使用 Python AST。因此应复用机制和不变量，不能把这些模块整体标为已完成的通用引擎。\n\n### 4.2 机制一：分层保护与必需闭包\n\n建议将四个优先级归入三个处理层，避免把 P0、P1、P2、P3 误称为只有三个等级：\n\n| 处理层 | 优先级 | 政策 |\n|---|---|---|\n| 必需层 | P0、P1，以及满足必需义务的支持内容 | 原子保留，不允许预算剪枝 |\n| 语义支持层 | 默认 P2 | 优先补充；若任务义务依赖它，则进入必需闭包 |\n| 细节层 | 默认 P3 | 在不违反必需义务的前提下明确省略 |\n\n必需闭包包括节点、边、签名、来源、条件、别名、容器和满足义务所需的支持声明。仅保留一条边而丢失其条件或来源不是无损。\n\n无损承诺分为三个层次：\n\n1. 编码无损：被选择的规范记录解码后完全一致。\n2. 核心完整：声明范围内的必需义务及支持闭包全部保留。\n3. 程序语义完整：包含运行时行为、动态派发和所有副作用；本 RFC 不作此承诺。\n\n需要同时保留两种显式政策：\n\n- 兼容政策：继续保护现有全部定义范围，保持原 V1 行为。\n- 公开契约政策：保护指定 API 表面及支持闭包，作为新的显式请求/版本能力。\n\n不能通过切换政策悄悄把方法、嵌套定义或未知公开候选从必需集合中移除。\n\n### 4.3 机制二：符号表与路径 Interning\n\n编码器只面对字符串、整数、关系和规范记录，不需要知道字符串来自哪种语言。\n\n建议分别建立：路径/文件注册表、符号与类型文本池、条件池、来源池及稠密关系表。\n\n无损条件是：原值与引用之间存在唯一可验证映射，解码后重建所选规范记录；哈希只是查找及身份工具，不能用摘要替代需要交付的签名或源码文本。\n\n工程规则：\n\n- 去重使用原值相等判定；哈希碰撞必须比较原值。\n- 核心池仅包含必需闭包可达值，避免被省略的 P3 内容污染核心预算。\n- 公开名称、别名与原始路径不能因相似性被合并。\n- 重复字段提升至文件或公共注册表；条件引用保持嵌套顺序。\n- 同时测量直接表示与池化表示，小输入允许选择更短的无损表示。\n- 注册表顺序和引用重映射必须确定性；所有引用由认证器检查。\n\n“压榨 95% 冗余”不能作为纯数学算法的普遍保证。[历史尺寸实验](../project/solo-distill-mcp/verification/priority-core-20261026T235609Z.receipt.json:123)记录原全量帧为 378,113 字节、旧核心为 59,292 字节；正式核心帧为 18,869 字节。前后差异混合了可选记录剪枝、表示变化和交付字段差异，不能将全部收益归因于 Interning。\n\n应分别报告：范围剪枝收益、同一核心的编码收益、最终完整帧收益。\n\n### 4.4 机制三：动态自适应背压\n\n预算控制只需要完整帧字节数、核心完整性、当前快照、配额和截止，不需要目标语言名称。\n\n建议使用以下状态：\n\n| 状态 | 进入条件 | 动作 |\n|---|---|---|\n| READY | 输入与授权通过 | 形成并认证必需闭包 |\n| FULL | 全部选择记录可装入 | 冻结并发送完整帧 |\n| CORE_VALID | 必需闭包完整，可选内容被省略 | 发送核心并明确省略，不要求为可选碎屑扩大预算 |\n| PRESSURE | 核心超过当前配额，但不超过已授权有效硬顶 | 返回有界诊断，允许调用者在同快照内调整配额 |\n| CORE_OVERFLOW | 核心超过有效硬顶 | 停止重试；不静默删 P0/P1，不提高上限 |\n| BLOCKED | 来源、语法、授权、截止或必要证据失败 | 不按预算问题重试 |\n\n有效预算取物理硬顶、已绑定协议上限、项目上限与调用者配额的最小值。既有 V2 A 仍保留 22,016 字节约束，不因本 RFC 改成 24,576。[相关 ADR](docs/adrs/ADR-20261025-solo-distill-v2-risk-remediation.md:60)\n\n完整帧计量包括内层记录、文本封装、外层 JSON-RPC、身份、诊断、转义和结尾换行。[现有服务](../project/solo-distill-mcp/src/solo_distill/server.py:128)已经按这个方向计量；新协议应继续使用同一冻结字节串测量与发送。\n\n外层 Ralph Loop：\n\n1. 初始配额由调用者和绑定契约提供，不按语言写死。\n2. 服务端一次扫描形成同一输入身份下的核心及其精确计量。\n3. 仅明确的返回预算压力允许更新配额。\n4. 配额不足时优先采用精确核心估计；没有合格估计时才使用有界增长。\n5. 快照、授权、规则或协议变化立即停止，不能沿用旧估计。\n6. 建议保留既有至多三次请求的有界政策，不为可选记录无限循环；[现有循环政策](../project/solo-distill-mcp/verification/.scratch/step4_adaptive_support_20261026.py:41)可作为迁移基线。\n\n内层选择应使用确定性优先级与原子试装。没有证明序列化长度单调时，不对池重排、诊断变化或通用压缩后的长度直接二分；采用有界逐组计量或先证明特定表示的单调性。\n\n“最小无损字节数”应改称“当前核心、政策和编码集合下测得的充分字节数”。若要证明全局最小值，需要另外给出可比较候选域和有效下界；当前历史回执明确不作这个承诺。[回执范围](../project/solo-distill-mcp/verification/priority-core-20261026T235609Z.receipt.json:121)\n\n### 4.5 固定 24KB 的不可能性边界\n\n如果合法必需契约的数量与独立内容不受限制，而单帧只能有 24,576 字节，那么有限数量的帧不可能与无限多种不同契约一一对应。哈希、去重和压缩不能消除这个容量边界。\n\n因此只有以下三种诚实出口：\n\n- 所选必需核心确实可容纳：交付并认证。\n- 核心不可容纳：明确阻塞。\n- 用户另行批准改变交付方式：分页、分任务或外部来源引用。\n\n后者不能继续宣传为“单帧内包含全部知识”；每页不超 24KB也不意味着整个任务只传输 24KB。\n\n### 4.6 传输压缩与模型上下文分账\n\n[现有可选编解码器](../project/solo-distill-mcp/src/solo_distill/codec_v2.py:10)提供有解码上限的无损压缩传输。新协议若复用，必须保持显式协商和独立解码。\n\n- 压缩字节交付给能解码的消费者，不将不透明压缩文本直接当作模型可读知识。\n- 消费者解码后提供给模型的字节与 token 另计。\n- 不以压缩帧合格推导语义充分、费用降低或缓存命中。\n- 默认可读记录与可选压缩编码分别验收；不得改变旧消费者的解释。\n\n## 5. 八语言代表性只读靶场\n\n### 5.1 候选矩阵\n\n下表是拟议靶场选择，不声称已下载、锁定版本或核验具体源码路径。源码选择、版本与许可证须在获准工程接管时确认。\n\n| 语言 | 主靶场 | 预先限定的测试模块职责 | 主要风险覆盖 |\n|---|---|---|---|\n| TypeScript | Redux | 类型契约、存储创建及导出入口片段 | 类型/值分离、重导出、泛型、函数与变量绑定 |\n| Java | Spring Framework 的 spring-core | 类型解析与转换器公开契约片段 | 接口、类成员、泛型约束、注解、包/模块边界 |\n| C# | ASP.NET Core 的 HTTP 抽象 | 上下文、请求/响应抽象及委托/接口片段 | 抽象成员、属性、委托、接口可达性与访问规则 |\n| Python | FastCode 既有五文件范围 | 保留已记录的读取与核心验收范围 | 兼容回归、方法/嵌套定义、导入、动态调用未知 |\n| Rust | ripgrep 的搜索抽象 | 搜索配置及结果接收契约片段 | trait、实现块、泛型、生命周期、条件属性 |\n| Go | Gin | 引擎与上下文公开声明片段 | 接收者、导入、公开成员、嵌入与结构接口未知 |\n| C | Redis | 核心对象定义与相关对象操作声明片段 | 声明器、对象/函数、宏、包含与条件编译 |\n| C++ | fmt | 格式化参数与核心格式化 API 头文件片段 | 模板、类型别名、访问、约束、宏及头文件 API |\n\n每种语言另配独立语法微夹具，覆盖主项目没有出现的必要边界；这些夹具不训练模型，也不能成为针对主项目调参的入口。\n\n### 5.2 冻结清单，防止测后挑样本\n\n每个靶场先冻结以下信息，再执行尺寸测试：\n\n- 来源版本或内容身份、许可证、文件集合、原始文件摘要。\n- 声明级片段选择器与来源位置；必须是完整声明，不是按字节随意截取。\n- 请求范围、义务、公开表面政策、环境条件与允许的未知。\n- 文件覆盖分母与声明覆盖分母，分别记录。\n- 独立预期声明、依赖、条件、签名及负控集合。\n- 适配器、语法、IR、选择和编码版本。\n\nFastCode 既有范围和验收资产不能为了接近其他语言的帧大小而缩小。其他语言也不能看到超限结果后静默删文件或改义务。\n\n### 5.3 “同等规模”的可操作定义\n\n仅按 LOC 或文件数量对齐不公平。建议建立两条比较轴：\n\n1. 原始规模轴：主集合争取接近既有约 106KB 读取量，同时报告准确字节数与差异；无法自然对齐时披露，不强行截断。[既有读取量](../project/solo-distill-mcp/verification/priority-core-20261026T235609Z.receipt.json:109)\n2. 契约规模轴：按依赖数、契约/可调用声明数、完整签名字节数、条件数与别名数分层比较。\n\n此外增加公开核心较小但正文密集、公开核心密集、不可压缩签名密集三类压力集合。公开核心密度与正文密度必须分开，否则剪掉大量正文会掩盖核心容量不足。\n\n### 5.4 验收指标\n\n| 指标 | 生产接受标准 |\n|---|---|\n| 必需声明与依赖召回 | 对冻结独立预期集合达到 100%，不是只比较非零计数 |\n| 契约字段保真 | 名称、签名、修饰符、约束、别名、条件与来源逐项一致 |\n| 编解码保真 | 独立解码重建所选规范核心，引用全部闭合 |\n| 错误确定边 | 冻结负控中为 0；动态或歧义关系保持未知 |\n| 核心完整性 | 所有必需义务及支持闭包满足；未知不冒充已证明 |\n| 实际帧预算 | 每个被接受的完整帧不超过有效预算，并且不超过 24,576 字节 |\n| 收敛 | 建议至多三次授权配额请求；非预算失败不重试 |\n| 确定性 | 同输入与版本的封存核心字节一致；动态观测不进入核心 |\n| 只读与离线 | 不执行目标代码、不写目标、不安装、不联网；由实际回执证明 |\n| 覆盖分母 | 所有请求文件/声明有明确状态；跳过不得从分母中消失 |\n| 原生资源边界 | 超时、崩溃、内存耗尽能终止并取得退出与清理回执 |\n| 故障交付 | 真核心超限、必需来源缺失、解析损坏、版本冲突、悬空引用均不能产生成功包 |\n\n八个冻结主靶场全部达到核心完整且在预算内，才能表述为“八语言在该基准集合上达标”。本轮八语言实测尺寸、延迟和收敛率均为未知，不提供虚构结果表。\n\n建议每个主靶场至少进行三次独立冷启动重复，并进行有限预算边界验证。重复成功证明该环境中的稳定性，不证明任意未来项目都能装入。\n\n### 5.5 独立验收而非循环自证\n\n- 生产提取器、编码器与评价器不能共用同一规则作为唯一真值来源。\n- 独立答案由来源复读和冻结标注形成，生成端不得读取。\n- 使用变形测试覆盖声明顺序变化、别名、无关正文增加、编码/换行及条件包装。\n- 使用缺陷回归覆盖已发现问题；不按固定比例削减其他必要测试。\n- 非必需正文增加不能挤掉必需核心；必需签名增加若超限，必须产生真实阻塞。\n- 不依赖目标语言编译来证明抽取通过；编译器级类型与链接正确性留在非目标范围。\n\n## 6. 工业级运行与安全契约\n\n### 6.1 权限与污染边界\n\n- 请求只能选择服务侧已授权项目并收窄范围；不能传入任意根路径、URL、命令或适配器加载路径。\n- 适配器和查询来自批准的发布资产，不能来自待分析仓库。\n- 不加载目标模块、不执行装饰器或注解、不运行包管理器、代码生成器及构建脚本。\n- 源码、注释、字符串及元数据均为不可信数据，不能改变工具权限或预算政策。\n- 秘密筛查与核心保真发生冲突时请求授权或阻塞，不能一边删必需内容一边宣称完整。\n- 原生解析进程隔离与文件授权是不同边界，不能把项目内草稿目录当沙箱。\n\n### 6.2 版本与兼容\n\n分别绑定 IR、适配器/语法、查询规则、核心政策、编码、工具契约及 MCP 协议版本。\n\n- 不能拿一个统一版本号代替所有兼容性检查。\n- 通用知识工具必须显式发现和协商，旧 V1 默认路径保持不变。\n- 不把新 IR 静默塞入旧包的同名字段。\n- 声明片段模式不能替代既有完整正文来源认证。\n- 消费者不支持某版本或编码时拒绝解释，不能猜测回退。\n\n### 6.3 观测与状态单源\n\n核心外的有界观测建议包括：语言覆盖、语法版本、输入身份、P0/P1/P2/P3 数量、核心帧大小、最终帧大小、未知关系数、省略数、失败类别及实际退出状态。\n\n没有证据不登记测试通过、宿主接入、缓存命中或目标防写。进度沿用覆盖本任务的真实控制器；未覆盖时使用平台任务记录引用实际回执，不新增手写执行账本。\n\n## 7. 分阶段平滑演进路线\n\n### Phase 1：Python 首个通用适配器与兼容防线\n\n范围：\n\n1. 对现有 Python 抽取结果建立通用 IR 映射，保留旧来源与返回契约。\n2. 增加签名、声明条件和公开意图字段，避免把名称集合误称完整接口。\n3. 将 Python 模块路径映射、定义分类和作用域规则移入适配器。\n4. 分离通用闭包、稠密编码和精确帧计量，不一次性重写所有 V1/V2 模块。\n5. 新模式采用显式入口；缺完整正文的声明记录不得进入旧完整正文认证链。\n\n出口：\n\n- 既有指定 40 项回归全部通过，无跳过、不改断言。\n- 保留并核对更大的既有测试集合；新增适配器不能以只跑 40 项代替其他受影响必要门禁。\n- 同快照下旧记录映射往返一致；旧 P1 全定义保护范围不缩小。\n- 新签名与未知标注通过独立来源复读。\n- 重新绑定快照后测量 FastCode 基准，不机械要求历史 18,869 字节逐字节不变；新增必要契约的成本必须披露。\n\n### Phase 2：预编译底座＋Go、TypeScript\n\n前置：预编译资产、ABI、依赖闭包与目标平台权限通过。\n\n范围：\n\n1. 接入受控原生解析工作进程与语法资产注册表。\n2. 交付 Go 和 TypeScript/TSX 的 P0/P1、公开表面、签名与条件规则。\n3. 覆盖类型/值引用、重导出、接收者、嵌入、Unicode 导出规则及构建条件。\n4. Python 如增加 Tree-sitter 前端，先作为显式交叉核验能力，不替换已稳定的标准库入口。\n5. 交付前三语言的统一消费者与完整帧验收。\n\n出口：三个冻结主集合核心完整、预算合格、独立正负控通过；证明没有目标工具链调用、运行时下载或目标写入。\n\n### Phase 3：Java 与 C#\n\n范围：\n\n1. 增加命名空间/包、访问规则、接口成员、泛型约束和属性的规范映射。\n2. 区分 Java 继承与实现；C# 处理部分声明、委托、属性、事件和显式接口表面。\n3. 有界读取声明式模块/项目元数据，不运行构建、恢复依赖或代码生成。\n4. 同名与部分声明只在证据足够时关联，生成源码缺失不得补造。\n\n出口：五语言冻结主集合通过；重点负控包括公开成员位于受限容器、不可达包/模块、缺失生成声明和条件声明。\n\n### Phase 4：Rust、C、C++\n\n本阶段是三个语言适配器，覆盖 Rust 与 C/C++ 两个系统语言生态，不把 C 和 C++ 合并成一个语法或可见性模型。\n\n范围：\n\n1. Rust 覆盖模块与重导出路径、受限公开、trait、实现块、生命周期和条件属性。\n2. C 覆盖声明器、对象定义、函数原型、类型别名、包含与预处理条件。\n3. C++ 覆盖模板、类访问、语言链接、命名空间、操作符、约束和模块声明。\n4. 宏及生成声明保持未展开边界；不能以“零编译器”之名把猜测输出写成确定声明。\n5. 完成八语言混合输入、失败隔离和语言歧义路由验收。\n\n出口：八个冻结主集合全部通过独立核心/来源/预算门禁；宏生成必需 API 缺失时正确阻塞，不伪造全覆盖。\n\n### 7.1 各阶段共同门禁\n\n- 工程实施前重新确认目标、写入范围、现有改动、绑定契约与依赖资产。\n- 阶段失败、超时、取消、必要项跳过或清理未知，不推进依赖阶段。\n- 不以模式切换或方案接受自动获得安装、实验、宿主或部署授权。\n- 原生文件写入必须取得真实回执；测试资产尚未创建时明确待实现。\n- 阶段交付不等于全 RFC 完成，计划和 ADR 不复制逐轮流水。\n\n### 7.2 获准工程验证入口\n\n本 RFC 不执行命令。现有定向回归可绑定[历史使用的完整命令](../project/solo-distill-mcp/verification/priority-core-20261026T235609Z.receipt.json:9)，其覆盖资产包括[优先级测试](../project/solo-distill-mcp/tests/test_priority_delivery.py)、[背压测试](../project/solo-distill-mcp/tests/test_backpressure.py)和[离线测试](../project/solo-distill-mcp/tests/test_offline.py)。\n\n新增适配器与基准驱动的真实命令应在资产创建后由获准工程入口绑定，不在方案中虚构已存在的测试模块。验证遵循串行、前台、封闭输入和进程级限时；通常采用 30 秒验证窗口及明确强杀宽限，更长基准窗口另行批准。\n\n必要实测交接应包含：问题、固定来源范围、组件/环境前提、读写边界、实际入口、总截止、独立预期、失败分类和清理要求。\n\n## 8. 最小充分裁决与剩余门禁\n\n### 推荐接受的设计方向\n\n- 接受四节点通用 IR、显式证据/条件/义务注册表和独立来源认证方向。\n- 接受预编译 Tree-sitter 作为多语言结构前端，前提是完成组件和语法门禁。\n- 接受分层闭包、无损池化、精确帧计量与有界背压作为通用内核。\n- 接受新通用模式显式协商、旧 V1/V2 契约不静默改变。\n- 接受四阶段路线与冻结八语言基准矩阵作为待实施计划依据。\n\n### 不应接受的无证据承诺\n\n- 现有引擎已经 100% 语言无关。\n- 18,869 字节已经证明完整程序语义零丢失。\n- 数学/哈希算法对任意代码都能去除 95% 冗余。\n- 任意同等 LOC 工程都能在单帧 24KB 内无损收敛。\n- 语法树、离线单测或帧长度合格已经证明编译、运行时、宿主或模型语义通过。\n\n### 生产接受前仍须关闭\n\n1. 其余语言规范与八语法包节点/字段的官方核验。\n2. 目标平台预编译资产、依赖闭包、ABI、许可证及原生资源治理验证。\n3. 完整签名和有效可见性的独立来源认证。\n4. 八个冻结主靶场的真实核心完整、帧预算和重复收敛回执。\n5. 旧契约兼容与真正独立的编解码/评价链。\n\n最终裁决：该架构具备条件可行性，可以作为 solo-distill-mcp 八语言演进的生产指导提案；当前证据足以支持方案方向，不足以宣布八语言已达标。工业级质量来自明确范围、可认证来源、保守未知、不可削弱的必需闭包和诚实容量失败，而不是无条件的压缩率或无损口号。"}}

{"name":"attempt_completion","arguments":{"result":"建议采用“只读快照 → 语言适配器 → 通用语义 IR → 必需闭包 → 无损编码 → 精确帧背压 → 独立消费者”的分层架构，复用现有引擎的预算控制机制，但不直接复用其 Python 语义判定。工业级承诺应限定为“声明范围内的必需静态知识完整、每个交付帧不超过 24,576 字节”；不能承诺任意工程、任意规模、全部程序语义都能无损装入一个固定大小的帧。\n\n- 本次仅交付会话方案：没有修改文件、运行终端、安装依赖、操作 Git、请求模型或激活宿主。\n- 18,869 字节和 40 项回归有已读取的历史回执支持，但不是本轮重新验证；其完整性范围是导入与定义记录，而不是完整调用图或程序行为。\n- 以下 RFC 为 PROPOSED。适配器、数据结构、靶场和新增入口均是拟议资产，不代表已经实现或通过验收。\n\n# 全语言通用代码知识蒸馏架构方案\n\n## Universal Distillation RFC\n\n版本：提案 1.0｜日期：2026-10-27｜覆盖：TypeScript、Java、C#、Python、Rust、Go、C、C++。\n\n## 0. 证据基线与架构裁决\n\n### 0.1 三遍阅读后的事实边界\n\n第一遍明确了目标与授权：八语言覆盖、零模型训练、零项目特调、目标机零重型编译器工具链、只读取证及纯方案交付。\n\n第二遍核对了源码、测试、历史回执与相关契约，得到以下结论：\n\n| 项目 | 已取得的证据 | 正确解释 |\n|---|---|---|\n| 18,869 字节 | [核心交付回执](../project/solo-distill-mcp/verification/priority-core-20261026T235609Z.receipt.json:81)记录第二次请求的实际帧大小 | 同一 FastCode 五文件快照的核心交付，不是全局最小值或未来保证 |\n| 核心完整 | 同一回执记录 79 条导入、84 条定义、79 条静态依赖引用 | 84 条定义包含方法和嵌套定义，不只是顶层公开接口 |\n| 可选内容 | 回执记录 751 条调用表达式全部省略，包括 P2 的 16 条和 P3 的 735 条 | 结果明确为部分交付；不能称全部语义零丢失 |\n| 40 项回归 | [定向回归记录](../project/solo-distill-mcp/verification/priority-core-20261026T235609Z.receipt.json:7)记录退出码 0、40 项、OK | 特定回归集合的历史通过，不代表整个测试集合只有 40 项 |\n| 更大的既有回归集合 | [既有风险修复计划](PLAN-20261025-solo-distill-v2-risk-remediation-01.md:156)记载 205 项离线通过 | 文档记载；本轮未读取原始命令工件或重新执行，不能冒充本轮结果 |\n| 当前抽取信息 | [现有定义抽取逻辑](../project/solo-distill-mcp/src/solo_distill/extractor.py:177)保存名称、限定名、类别与类基类 | 尚不能据此声称已完整保存参数、返回类型、默认值、泛型约束与 API 契约 |\n| 独立性 | [核心烟测评价器](../project/solo-distill-mcp/verification/.scratch/step4_core_validation_20261026.py:1)导入生产解码入口 | 它不是完全独立的编解码神谕，跨语言阶段需要补充真正独立的评价链 |\n\n第三遍按虚拟重实现审查了必需核心溢出、可见性误判、条件编译、动态调用、原生解析器故障、编码膨胀和消费者解码边界。下面的方案是设计推演，不是八语言实测结果。\n\n### 0.2 需要保留的既有契约\n\n- [现有优先级交付逻辑](../project/solo-distill-mcp/src/solo_distill/priority_v1.py:125)将 P0 导入和 P1 全部定义作为必需记录；新公开接口模式不能静默削弱这个范围。\n- [已接受的相关 ADR](docs/adrs/ADR-20261025-solo-distill-v2-risk-remediation.md:58)规定既有 V2 A 的上限为 22,016 字节，B 为 12,288 字节；24,576 字节是本 RFC 的外部物理硬顶，不是提高旧 V2 配额的授权。\n- [现有项目元数据](../project/solo-distill-mcp/pyproject.toml:5)声明 Python 3.12 以上和空运行时第三方依赖。引入预编译解析组件属于新的依赖契约，必须另获工程授权。\n- [项目说明](../project/solo-distill-mcp/README.md:16)与后来接受的 ADR 存在阶段状态差异。接管应以具体契约、源码和真实回执分别判断，不依据某一文档笼统宣布全部完成。\n\n本任务不是历史计划的继续或重放，不继承其安装、网络、转正、归档或执行授权。\n\n### 0.3 官方材料覆盖与未知\n\nTree-sitter 官方将其定位为增量解析库，产物是具体语法树；查询通过 S-expression 匹配语法节点。[11](cite:11)[16](cite:16)\n\nTypeScript 官方材料支持模块导出、类型导入导出，以及包入口与模块解析规则需要区分的结论。[3](cite:3)[7](cite:7)[8](cite:8)\n\n其他七语言的官方规范细节、八个具体语法包的节点与字段、目标平台预编译包可用性，本轮未取得充分一手核验证据：Insufficient evidence。下文提供保守的抽取政策和规范遍历规则，不把它们写成已经核验、可直接上线的查询实现；此缺口阻塞适配器生产接受，不阻塞本 RFC 的条件方案交付。\n\n## 1. 目标、非目标与硬门禁\n\n### 1.1 目标\n\n1. 用统一结构描述八语言的声明、依赖、公开表面、条件、调用点与证据来源。\n2. 将语言差异限制在适配器及其轻量声明解析规则内。\n3. 必需内容先形成引用闭包；预算不足时明确阻塞，不把缺失解释成完整。\n4. 采用服务器绑定的只读范围，不运行目标源码或项目构建脚本。\n5. 同一输入、适配器、政策和编码版本产生确定性核心。\n6. 为每种语言建立可复读、不可由生成端读取答案的独立验收集合。\n\n### 1.2 必要非目标\n\n- 不进行模型训练、微调、向量建库或重型 ML 推理。\n- 不建立与编译器等价的类型检查器、宏展开器、链接器或运行时调用图。\n- 不承诺证明行为等价、类型正确、ABI 正确或所有运行时副作用。\n- 不按仓库名称、业务关键词或冻结答案定制剪枝规则。\n- 不把压缩后的传输字节数等同于模型实际消费的上下文或 token 数。\n- 不自动安装、切换模式、执行实验、更新事实基线、转正 ADR 或归档。\n\n### 1.3 候选架构筛选\n\n| 候选 | 硬门禁裁决 | 理由 |\n|---|---|---|\n| 目标机安装语言 SDK、构建系统并调用语义服务 | 排除 | 违反用户明确的工具链死线 |\n| 重型 ML 编码或训练路线 | 排除 | 违反零训练和零重型 ML 约束 |\n| 纯文本正则承担完整声明抽取 | 不作为主前端 | 不满足本 RFC 对嵌套结构、条件和精确来源认证的设计要求 |\n| 预编译 Tree-sitter＋保守适配器 | 条件推荐 | 符合目标方向；仍须关闭包可用性、ABI、语法覆盖和独立验证门禁 |\n\n不编造评分或性能倍数；未知门禁不登记为通过。\n\n## 2. 统一通用语义模型：Universal Semantic Graph IR\n\n### 2.1 四类标准节点\n\n| 标准节点 | 职责 | 必须避免的混淆 |\n|---|---|---|\n| Package/Namespace | 表示逻辑包、命名空间或声明容器；记录其来源类别 | 文件目录、包管理单元、命名空间不能默认视为同一个实体 |\n| Module/File | 表示具有内容身份的源码文件或语言模块 | 未读取的外部模块不能冒充已认证源码 |\n| ContractNode | 表示类型、接口、trait、结构体、枚举、别名及公开绑定的声明契约 | 不只保存名称；字段、约束、修饰符和条件属于契约 |\n| CallableNode | 表示函数、方法、构造器、操作符及可调用声明 | 调用声明、调用表达式和已解析调用目标必须分开 |\n\n建议采用以下归属政策：\n\n- 包与文件通过明确归属字段连接；嵌套类、方法、局部定义记录父节点，不增加重复的包含关系边。\n- 公开变量、常量、属性、事件等作为契约声明或契约成员 facet 表达，不能因为不是函数而丢失。\n- 重载、模板特化、条件声明和同名定义保持独立来源身份。\n- 类型表达式先保存原始声明片段与结构类别，不伪装成已经解析完毕的统一类型系统。\n- 公开别名与重导出同时保留原名、外部名称及来源声明，不能只留下最终名字。\n\n### 2.2 标准边与证据层\n\n| 边 | 方向 | 必须保存的信息 |\n|---|---|---|\n| DependsOn | 使用者 → 被引用模块、命名空间或声明 | 导入形式、目标文本、别名、条件、阶段、解析状态、来源 |\n| Implements | 实现声明 → 契约 | 声明形式、目标文本、泛型约束、条件及解析状态 |\n| Calls | 调用者 → 可调用目标或未知目标 | 调用点、表达式、作用域、条件、解析状态与未知原因 |\n| Extends，必要的独立扩展边 | 子类型 → 基类 | 保留继承与实现的差异，不能全部塞入 Implements |\n\n边的存在可以证明“源码出现了某种引用或关系声明”，不自动证明编译器接受、运行时执行或实际派发。\n\n对无显式实现声明的结构性接口，不根据名称或方法数量虚构 Implements。只能保存待验证的结构符合候选，且不得加入已确定关系图。\n\n未知目标允许为空，但目标文本、来源和原因不能同时丢失。确定关系图仅使用满足适配器保守解析规则的边；循环通过强连通分量保留，不伪造拓扑执行顺序。\n\n### 2.3 Python 类型标注式数据结构伪代码\n\n以下均是未落盘的拟议声明。为满足声明定位要求，链接指向拟议位置的首行；它们不是现存文件或实现证据。\n\n通用声明建议使用 [`@dataclass(frozen=True)`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1)，适配器接口建议使用 [`Protocol`](../project/solo-distill-mcp/src/solo_distill/language_extractor.py:1)。下表是字段式伪代码，不是可直接执行的生产代码。\n\n| 拟议声明 | 字段或类型定义伪代码 |\n|---|---|\n| [`LanguageId`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`Literal['typescript', 'java', 'csharp', 'python', 'rust', 'go', 'c', 'cpp']`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`SourceSpan`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`file_id: str; raw_start: int; raw_end: int; parsed_start: int; parsed_end: int; start_line: int; end_line: int`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`SourceSnapshot`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`project_id: str; path: str; raw: bytes; sha256: str; source_encoding: str; language: LanguageId`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Condition`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`id: str; parent_id: str | None; kind: str; expression: str; evaluation: Literal['true', 'false', 'unknown']; source: SourceSpan`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Evidence`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`id: str; grade: Literal['direct_syntax', 'bounded_static', 'inference']; spans: tuple[SourceSpan, ...]; rule_id: str; conditions: tuple[str, ...]`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Exposure`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`declared_access: str; audience: str; reachability: Literal['yes', 'no', 'conditional', 'unknown']; public_names: tuple[str, ...]; reasons: tuple[str, ...]; evidence_ids: tuple[str, ...]`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Signature`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`declaration_text: str; parameters: tuple[str, ...]; return_type: str | None; generic_parameters: tuple[str, ...]; constraints: tuple[str, ...]; modifiers: tuple[str, ...]; attributes: tuple[str, ...]; evidence_ids: tuple[str, ...]`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Node`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`id: str; kind: Literal['package_namespace', 'module_file', 'contract', 'callable']; declaration_kind: str; name: str; parent_id: str | None; language: LanguageId; exposure: Exposure; signature: Signature | None; evidence_ids: tuple[str, ...]; facets: tuple[tuple[str, str], ...]`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Edge`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`id: str; kind: Literal['depends_on', 'implements', 'calls', 'extends']; source_id: str; target_id: str | None; target_text: str; phase: str; resolution: Literal['declared', 'bounded_static', 'unknown']; unknown_reason: str | None; evidence_ids: tuple[str, ...]`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Obligation`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`id: str; required: bool; minimum_grade: str; support_ids: tuple[str, ...]; status: Literal['satisfied', 'missing', 'unknown']`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`Coverage`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`requested_files: int; read_files: int; parsed_files: int; failed_files: int; skipped_files: int; requested_declarations: int; delivered_declarations: int; scope_id: str`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`ExtractionResult`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`nodes: tuple[Node, ...]; edges: tuple[Edge, ...]; evidence: tuple[Evidence, ...]; conditions: tuple[Condition, ...]; obligations: tuple[Obligation, ...]; coverage: Coverage; diagnostics: tuple[str, ...]`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n| [`UniversalGraph`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) | [`schema_version: str; input_id: str; policy_id: str; adapter_ids: tuple[str, ...]; extraction: ExtractionResult`](../project/solo-distill-mcp/src/solo_distill/universal_ir.py:1) |\n\n运行时认证不能由这些类型声明替代。必须额外检查引用目标类型、整数范围、重复身份、条件闭包、来源范围及未知状态的一致性。\n\n### 2.4 身份、坐标与所有权\n\n1. 原始文件摘要认证读取的字节；解析器输入另有编码映射，不能把解析位置当作原始文件位置。\n2. 来源范围统一为左闭右开的原始字节区间；行号仅作为人类定位辅助。\n3. 文件身份包括路径、原始摘要和解析契约；节点身份还包括语法定位与声明类别。\n4. 全摘要与稳定身份保存在规范注册表；传输时使用帧内稠密引用，避免在每条记录重复路径与长摘要。\n5. 不任意修改标识符大小写、Unicode 形式或路径大小写来制造去重。\n6. 同一来源被多个义务使用只计费一次，但各义务必须分别判定是否满足。\n7. 声明摘要与完整正文证据使用不同类别。类头可以认证为声明片段，不能冒充完整类正文。\n\n### 2.5 八语言导出可见性判定矩阵\n\n可见性不能压缩为一个布尔值。至少区分：声明访问规则、容器可达性、外部名称、受众、条件及证据等级。\n\n下表中 TypeScript 的主要导出形式有官方材料支持。[3](cite:3)[7](cite:7)[8](cite:8) 其余语言列是待规范核验的适配器政策草案；生产接受前必须通过相应官方规范和正负例认证。\n\n| 语言 | 拟采用的公开表面判定 | 必须保留的限制与未知 |\n|---|---|---|\n| TypeScript | 识别直接导出、命名导出、默认导出、重导出；分别记录类型表面与值表面。[3](cite:3)[7](cite:7) | 模块导出不能直接当作包入口可达；入口限制与解析模式另行记录。[8](cite:8) CommonJS 赋值、动态导入及可能被遮蔽的加载函数采用独立保守规则 |\n| Python | 静态列举的导出集合优先作为导出意图证据；没有明确集合时采用名称约定标注公开候选 | 下划线约定不能写成访问控制；导出集合对星号导入的意义与一般可访问性分开；动态构造、模块属性钩子、运行时注入保持未知 |\n| Java | 对公开类型与成员进行容器访问检查；记录包、模块声明及导出限制 | 公开成员不能越过不可访问容器直接判为对外可达；接口隐式规则、非公开成员、限定模块导出需独立规则；不运行构建系统补依赖 |\n| C# | 综合公开修饰符、包含类型、声明种类与程序集受众；保留接口表面 | 文件级限制、内部访问、显式接口实现、隐式默认访问与部分声明必须分别处理；命名空间不是访问控制；生成源码缺失保持未知 |\n| Go | 按语言规定的 Unicode 导出标识符规则及声明位置识别导出候选 | 不用 ASCII 大写正则代替完整规则；包级声明与成员规则分开；构建标签、平台文件、点导入及副作用导入保留；不虚构显式接口实现边 |\n| Rust | 区分公开与受限公开，沿模块可达路径和重导出路径判断公开表面 | 父模块、成员默认规则、trait 与实现成员、条件属性分别处理；宏生成声明与过程宏结果不展开；不能仅见公开修饰符就判全局可达 |\n| C | 将授权头文件中的声明视为 API 候选，再记录声明位置、链接属性和预处理条件 | 头文件位置不证明二进制导出；静态声明、内联定义、此前声明和外部声明组合必须保守处理；C 不套用命名空间公开规则 |\n| C++ | 综合头文件 API 候选、类成员访问、命名空间归属、链接属性及模块导出声明 | 普通命名空间不是导出开关；匿名命名空间、类型默认访问、模板、常量链接规则、宏与模块配置需独立处理；外部语言链接不等于公开导出 |\n\n共同规则：无法证明“不属于必需公开表面”的声明，保守保留为条件或未知候选；若其闭包导致预算超限，明确阻塞，不能靠猜测私有性完成压缩。\n\n## 3. 无重型编译器前端底座\n\n### 3.1 总体数据流\n\n1. 服务器授权注册表收窄项目和读取范围。\n2. 读取器创建有界来源快照，拒绝越界、软链接和非普通文件。\n3. 语言路由器选择已批准的预编译语法组件。\n4. 适配器抽取声明、依赖、条件、公开候选与调用点。\n5. IR 认证器检查来源、引用、完整性和诊断。\n6. 核心引擎形成必需闭包并进行预算交付。\n7. 独立消费者解码、复读来源并评价义务。\n\n解析并不等于完整代码理解。Tree-sitter 的具体语法树应作为前端结构底座，而不是编译器语义服务的替身。[11](cite:11)\n\n### 3.2 部署死线\n\n目标机不得因本系统安装或调用 JDK、dotnet SDK、Node.js、Rustc/Cargo、Go、GCC/Clang，也不得安装重型 ML 库。\n\n拟议部署政策：\n\n- 保留已有 Python 宿主作为控制层；目标源码只作为数据。\n- 仅接纳预编译解析运行时及八语言语法组件，不调用语法生成 CLI，不从源码构建。\n- 不默认引入包含大量无关语言、额外运行时或自动下载功能的全集包。\n- 对每个组件固定版本、来源、摘要、许可证、平台标签和依赖闭包。\n- 没有匹配目标平台的合格预编译资产时报告缺失；不得回退为本地编译或自动安装工具链。\n- 组件若必须由发布侧构建，该构建属于另行批准的供应链流程，不是目标机或本分析任务的隐含权限。\n- 原生解析器及外部扫描器本身是可执行依赖，不宣称“完全不执行任何代码”。明确不执行的是目标项目代码。\n\nTree-sitter 的 Python 绑定区分解析运行时支持的语言 ABI；组件接纳必须核对兼容性，不能只比较包名或下载成功。[13](cite:13)\n\n### 3.3 可插拔适配器接口\n\n拟议接口为 [`class LanguageExtractor(Protocol)`](../project/solo-distill-mcp/src/solo_distill/language_extractor.py:1)：\n\n| 拟议成员 | 契约 |\n|---|---|\n| [`language_id: LanguageId`](../project/solo-distill-mcp/src/solo_distill/language_extractor.py:1) | 固定语言身份，不由目标源码重新选择 |\n| [`adapter_id: str`](../project/solo-distill-mcp/src/solo_distill/language_extractor.py:1) | 包括适配器、语法、查询和规则版本 |\n| [`capabilities: tuple[str, ...]`](../project/solo-distill-mcp/src/solo_distill/language_extractor.py:1) | 声明支持的语法范围、编码、依赖形式及已知限制 |\n| [`extract(self, source: SourceSnapshot, context: ExtractionContext) -> ExtractionResult`](../project/solo-distill-mcp/src/solo_distill/language_extractor.py:1) | 只消费快照与有界上下文，不自行访问文件、网络、模型或终端 |\n| [`class ExtractionContext: manifest_id: str; approved_conditions: tuple[str, ...]; deadline: float; max_records: int`](../project/solo-distill-mcp/src/solo_distill/language_extractor.py:1) | 只允许声明式环境输入，不允许项目脚本、插件路径或任意命令 |\n\n适配器只负责语言事实与保守判定，不决定传输预算；预算内核只消费已经认证的 IR，不重新解释语言语法。\n\n### 3.4 语言路由与轻量元数据\n\n- 扩展名仅作为路由证据之一；歧义头文件必须结合已批准的语言清单，不一律当作 C++。\n- TypeScript 与 TSX 使用分别绑定的语法变体；声明文件与实现文件标注不同角色。\n- 包、模块、条件编译和入口元数据可由有界声明式文件读取器处理，不执行其脚本部分。\n- Java、C#、Rust、Go 的构建与依赖信息缺失时保留未知，不通过 SDK、恢复依赖或构建补齐。\n- 元数据输入是环境与授权描述，不是针对特定项目调权重的入口。\n- 混合语言文件或嵌入式 DSL 不因宿主语言解析成功就宣称内部语义覆盖。\n\n### 3.5 八语言 P0/P1 规范遍历规则\n\n本 RFC 选择 AST/CST 角色遍历规则，而不发布未经节点模式核验的可执行 S-expression。官方查询语法要求匹配具体节点类型；语法包绑定后才能把以下规则编译为查询。[16](cite:16)\n\n共同遍历算法：\n\n1. 从文件根进入包、模块、命名空间和声明包装容器。\n2. 透明穿过条件包装，但记录条件及分支，不擅自选择当前构建分支。\n3. 顶层声明抽取遇到函数、lambda 或表达式正文时停止深入；类型 API 成员由单独成员遍历处理。\n4. 依赖扫描覆盖所有语法作用域，记录所在作用域；局部导入不能因为不是顶层而漏掉。\n5. 声明去重以来源范围与类别为依据，不按名称去重。\n6. 声明头、属性、泛型约束和修饰符形成契约；正文是否必需由任务义务决定。\n\n| 语言 | P0：依赖定位与归一化规则 | P1：顶层契约及 API 成员定位规则 |\n|---|---|---|\n| TypeScript | 捕获静态导入和含来源模块的重导出；记录类型/值阶段、命名导入、默认导入、别名及副作用导入。字面量动态导入单独登记；加载函数调用必须经过绑定检查 | 进入导出、声明、命名空间等包装；抽取接口、类型别名、类、枚举、函数和公开变量绑定；单独抽取 API 方法、属性与调用签名；类型形式有官方支持。[3](cite:3)[7](cite:7) |\n| Python | 捕获普通和相对导入、逐项别名、星号、条件和局部作用域；动态导入仅保存符合保守规则的表达式，不执行求值 | 抽取类、函数、异步函数、装饰器、类型参数、注解、默认值及声明绑定；公开表面模式识别导出意图；兼容模式仍保存全部方法与嵌套定义 |\n| Java | 捕获普通及静态导入、通配形式；模块描述中的依赖、导出及服务引用分别登记。包声明是容器，不冒充依赖边 | 抽取类、接口、枚举、记录类型、注解类型；单独抽取 API 方法、构造器、字段、嵌套类型、类型参数及约束；处理修饰符和隐式访问规则 |\n| C# | 捕获命名空间引用、别名、静态引用、全局引用及外部别名；依赖阶段标为声明/名称引用，不能凭此声称已解析程序集依赖 | 穿过块式或文件式命名空间；抽取类、结构体、接口、记录、枚举、委托；保留 API 方法、属性、索引器、事件、操作符、构造器及访问器限制 |\n| Go | 捕获单条与分组导入，逐项保存路径、别名、点导入、副作用形式和构建条件；包声明单独形成容器 | 抽取类型定义/别名、接口、结构体、函数、带接收者方法、变量和常量组；成员与嵌入声明作为契约 facet；泛型参数和接收者完整保留 |\n| Rust | 捕获模块声明、外部 crate 引用、嵌套使用树、别名、通配和重导出；保留条件属性与相对路径层级，不解析过程宏结果 | 抽取结构体、枚举、trait、别名、函数、常量、静态项和外部声明块；实现块形成关系上下文，其关联项形成成员；保存生命周期、约束和条件 |\n| C | 捕获文件包含指令；区分字面量目标与宏目标；保存预处理分支、包含形式和来源，不调用预处理器 | 抽取结构体、联合体、枚举、类型别名、函数原型/定义、对象声明及 API 相关宏；沿声明器定位函数、指针和多声明项，不用简单分号切分 |\n| C++ | 在 C 包含规则上增加命名空间引用、别名以及模块导入/导出声明的角色识别；模板与宏生成依赖保持限制 | 穿过命名空间、模板和语言链接包装；抽取类/结构体、枚举、别名、函数、变量模板及概念声明；成员保留访问、构造/析构、操作符、约束、限定符和异常规格 |\n\n每种适配器上线前必须交付：\n\n- 固定语法版本的节点类型清单与查询编译回执。\n- 每种支持语法形式的完整捕获集合，而不是只检查非零命中。\n- 嵌套、条件、重导出、同名和歧义负控。\n- 声明源码切片与原始字节范围的独立复读。\n- 新语法不支持时的诊断；不得以语法树存在宣称已覆盖。\n\n### 3.6 解析与读取故障治理\n\n- 与 P0/P1 相关的解析错误、缺失节点或未支持语法必须阻塞相应完整性结论。\n- 允许交付不受影响的已认证记录，但总体状态不能宣称全部完成。\n- 原生解析应置于有内存上限、进程级截止和明确退出回执的受控工作进程；仅在解析前后检查时间不足以治理原生卡死。\n- 工作进程设计不依赖后台守护授权；进程启动、限制和退出验收由获准工程入口完成。\n- 文件缺失、权限拒绝、磁盘错误、编码失败、语法损坏、语法不支持、资源耗尽分别报告。\n- 沿用现有读取限制作为初始边界，不自动增加配额；[当前项目配置](../project/solo-distill-mcp/config/projects.json:8)给出了条目、文件、总读取、时间和返回配额。\n\n## 4. A+ 核心机制的语言无关性与复用证明\n\n### 4.1 正确的“语言无关”定义\n\n定义内核 K 的输入为：已认证图 G、义务集合 O、序列化器 W、政策 P 和预算 B。\n\n若 K 不解释源码、不按语言名称分支，所有语言差异都已经由适配器转为显式属性，那么 K 的闭包、集合去重、引用编码及预算控制可以语言无关。\n\n这不意味着不同语言具有相同语义、图大小或压缩率，也不意味着现有生产模块已经满足这个隔离条件。\n\n[现有依赖图形成逻辑](../project/solo-distill-mcp/src/solo_distill/priority_v1.py:83)含 Python 文件到模块的映射；[现有语法单元](../project/solo-distill-mcp/src/solo_distill/syntax_v2.py:73)与[静态关系解析](../project/solo-distill-mcp/src/solo_distill/graph_v2.py:18)直接使用 Python AST。因此应复用机制和不变量，不能把这些模块整体标为已完成的通用引擎。\n\n### 4.2 机制一：分层保护与必需闭包\n\n建议将四个优先级归入三个处理层，避免把 P0、P1、P2、P3 误称为只有三个等级：\n\n| 处理层 | 优先级 | 政策 |\n|---|---|---|\n| 必需层 | P0、P1，以及满足必需义务的支持内容 | 原子保留，不允许预算剪枝 |\n| 语义支持层 | 默认 P2 | 优先补充；若任务义务依赖它，则进入必需闭包 |\n| 细节层 | 默认 P3 | 在不违反必需义务的前提下明确省略 |\n\n必需闭包包括节点、边、签名、来源、条件、别名、容器和满足义务所需的支持声明。仅保留一条边而丢失其条件或来源不是无损。\n\n无损承诺分为三个层次：\n\n1. 编码无损：被选择的规范记录解码后完全一致。\n2. 核心完整：声明范围内的必需义务及支持闭包全部保留。\n3. 程序语义完整：包含运行时行为、动态派发和所有副作用；本 RFC 不作此承诺。\n\n需要同时保留两种显式政策：\n\n- 兼容政策：继续保护现有全部定义范围，保持原 V1 行为。\n- 公开契约政策：保护指定 API 表面及支持闭包，作为新的显式请求/版本能力。\n\n不能通过切换政策悄悄把方法、嵌套定义或未知公开候选从必需集合中移除。\n\n### 4.3 机制二：符号表与路径 Interning\n\n编码器只面对字符串、整数、关系和规范记录，不需要知道字符串来自哪种语言。\n\n建议分别建立：路径/文件注册表、符号与类型文本池、条件池、来源池及稠密关系表。\n\n无损条件是：原值与引用之间存在唯一可验证映射，解码后重建所选规范记录；哈希只是查找及身份工具，不能用摘要替代需要交付的签名或源码文本。\n\n工程规则：\n\n- 去重使用原值相等判定；哈希碰撞必须比较原值。\n- 核心池仅包含必需闭包可达值，避免被省略的 P3 内容污染核心预算。\n- 公开名称、别名与原始路径不能因相似性被合并。\n- 重复字段提升至文件或公共注册表；条件引用保持嵌套顺序。\n- 同时测量直接表示与池化表示，小输入允许选择更短的无损表示。\n- 注册表顺序和引用重映射必须确定性；所有引用由认证器检查。\n\n“压榨 95% 冗余”不能作为纯数学算法的普遍保证。[历史尺寸实验](../project/solo-distill-mcp/verification/priority-core-20261026T235609Z.receipt.json:123)记录原全量帧为 378,113 字节、旧核心为 59,292 字节；正式核心帧为 18,869 字节。前后差异混合了可选记录剪枝、表示变化和交付字段差异，不能将全部收益归因于 Interning。\n\n应分别报告：范围剪枝收益、同一核心的编码收益、最终完整帧收益。\n\n### 4.4 机制三：动态自适应背压\n\n预算控制只需要完整帧字节数、核心完整性、当前快照、配额和截止，不需要目标语言名称。\n\n建议使用以下状态：\n\n| 状态 | 进入条件 | 动作 |\n|---|---|---|\n| READY | 输入与授权通过 | 形成并认证必需闭包 |\n| FULL | 全部选择记录可装入 | 冻结并发送完整帧 |\n| CORE_VALID | 必需闭包完整，可选内容被省略 | 发送核心并明确省略，不要求为可选碎屑扩大预算 |\n| PRESSURE | 核心超过当前配额，但不超过已授权有效硬顶 | 返回有界诊断，允许调用者在同快照内调整配额 |\n| CORE_OVERFLOW | 核心超过有效硬顶 | 停止重试；不静默删 P0/P1，不提高上限 |\n| BLOCKED | 来源、语法、授权、截止或必要证据失败 | 不按预算问题重试 |\n\n有效预算取物理硬顶、已绑定协议上限、项目上限与调用者配额的最小值。既有 V2 A 仍保留 22,016 字节约束，不因本 RFC 改成 24,576。[相关 ADR](docs/adrs/ADR-20261025-solo-distill-v2-risk-remediation.md:60)\n\n完整帧计量包括内层记录、文本封装、外层 JSON-RPC、身份、诊断、转义和结尾换行。[现有服务](../project/solo-distill-mcp/src/solo_distill/server.py:128)已经按这个方向计量；新协议应继续使用同一冻结字节串测量与发送。\n\n外层 Ralph Loop：\n\n1. 初始配额由调用者和绑定契约提供，不按语言写死。\n2. 服务端一次扫描形成同一输入身份下的核心及其精确计量。\n3. 仅明确的返回预算压力允许更新配额。\n4. 配额不足时优先采用精确核心估计；没有合格估计时才使用有界增长。\n5. 快照、授权、规则或协议变化立即停止，不能沿用旧估计。\n6. 建议保留既有至多三次请求的有界政策，不为可选记录无限循环；[现有循环政策](../project/solo-distill-mcp/verification/.scratch/step4_adaptive_support_20261026.py:41)可作为迁移基线。\n\n内层选择应使用确定性优先级与原子试装。没有证明序列化长度单调时，不对池重排、诊断变化或通用压缩后的长度直接二分；采用有界逐组计量或先证明特定表示的单调性。\n\n“最小无损字节数”应改称“当前核心、政策和编码集合下测得的充分字节数”。若要证明全局最小值，需要另外给出可比较候选域和有效下界；当前历史回执明确不作这个承诺。[回执范围](../project/solo-distill-mcp/verification/priority-core-20261026T235609Z.receipt.json:121)\n\n### 4.5 固定 24KB 的不可能性边界\n\n如果合法必需契约的数量与独立内容不受限制，而单帧只能有 24,576 字节，那么有限数量的帧不可能与无限多种不同契约一一对应。哈希、去重和压缩不能消除这个容量边界。\n\n因此只有以下三种诚实出口：\n\n- 所选必需核心确实可容纳：交付并认证。\n- 核心不可容纳：明确阻塞。\n- 用户另行批准改变交付方式：分页、分任务或外部来源引用。\n\n后者不能继续宣传为“单帧内包含全部知识”；每页不超 24KB也不意味着整个任务只传输 24KB。\n\n### 4.6 传输压缩与模型上下文分账\n\n[现有可选编解码器](../project/solo-distill-mcp/src/solo_distill/codec_v2.py:10)提供有解码上限的无损压缩传输。新协议若复用，必须保持显式协商和独立解码。\n\n- 压缩字节交付给能解码的消费者，不将不透明压缩文本直接当作模型可读知识。\n- 消费者解码后提供给模型的字节与 token 另计。\n- 不以压缩帧合格推导语义充分、费用降低或缓存命中。\n- 默认可读记录与可选压缩编码分别验收；不得改变旧消费者的解释。\n\n## 5. 八语言代表性只读靶场\n\n### 5.1 候选矩阵\n\n下表是拟议靶场选择，不声称已下载、锁定版本或核验具体源码路径。源码选择、版本与许可证须在获准工程接管时确认。\n\n| 语言 | 主靶场 | 预先限定的测试模块职责 | 主要风险覆盖 |\n|---|---|---|---|\n| TypeScript | Redux | 类型契约、存储创建及导出入口片段 | 类型/值分离、重导出、泛型、函数与变量绑定 |\n| Java | Spring Framework 的 spring-core | 类型解析与转换器公开契约片段 | 接口、类成员、泛型约束、注解、包/模块边界 |\n| C# | ASP.NET Core 的 HTTP 抽象 | 上下文、请求/响应抽象及委托/接口片段 | 抽象成员、属性、委托、接口可达性与访问规则 |\n| Python | FastCode 既有五文件范围 | 保留已记录的读取与核心验收范围 | 兼容回归、方法/嵌套定义、导入、动态调用未知 |\n| Rust | ripgrep 的搜索抽象 | 搜索配置及结果接收契约片段 | trait、实现块、泛型、生命周期、条件属性 |\n| Go | Gin | 引擎与上下文公开声明片段 | 接收者、导入、公开成员、嵌入与结构接口未知 |\n| C | Redis | 核心对象定义与相关对象操作声明片段 | 声明器、对象/函数、宏、包含与条件编译 |\n| C++ | fmt | 格式化参数与核心格式化 API 头文件片段 | 模板、类型别名、访问、约束、宏及头文件 API |\n\n每种语言另配独立语法微夹具，覆盖主项目没有出现的必要边界；这些夹具不训练模型，也不能成为针对主项目调参的入口。\n\n### 5.2 冻结清单，防止测后挑样本\n\n每个靶场先冻结以下信息，再执行尺寸测试：\n\n- 来源版本或内容身份、许可证、文件集合、原始文件摘要。\n- 声明级片段选择器与来源位置；必须是完整声明，不是按字节随意截取。\n- 请求范围、义务、公开表面政策、环境条件与允许的未知。\n- 文件覆盖分母与声明覆盖分母，分别记录。\n- 独立预期声明、依赖、条件、签名及负控集合。\n- 适配器、语法、IR、选择和编码版本。\n\nFastCode 既有范围和验收资产不能为了接近其他语言的帧大小而缩小。其他语言也不能看到超限结果后静默删文件或改义务。\n\n### 5.3 “同等规模”的可操作定义\n\n仅按 LOC 或文件数量对齐不公平。建议建立两条比较轴：\n\n1. 原始规模轴：主集合争取接近既有约 106KB 读取量，同时报告准确字节数与差异；无法自然对齐时披露，不强行截断。[既有读取量](../project/solo-distill-mcp/verification/priority-core-20261026T235609Z.receipt.json:109)\n2. 契约规模轴：按依赖数、契约/可调用声明数、完整签名字节数、条件数与别名数分层比较。\n\n此外增加公开核心较小但正文密集、公开核心密集、不可压缩签名密集三类压力集合。公开核心密度与正文密度必须分开，否则剪掉大量正文会掩盖核心容量不足。\n\n### 5.4 验收指标\n\n| 指标 | 生产接受标准 |\n|---|---|\n| 必需声明与依赖召回 | 对冻结独立预期集合达到 100%，不是只比较非零计数 |\n| 契约字段保真 | 名称、签名、修饰符、约束、别名、条件与来源逐项一致 |\n| 编解码保真 | 独立解码重建所选规范核心，引用全部闭合 |\n| 错误确定边 | 冻结负控中为 0；动态或歧义关系保持未知 |\n| 核心完整性 | 所有必需义务及支持闭包满足；未知不冒充已证明 |\n| 实际帧预算 | 每个被接受的完整帧不超过有效预算，并且不超过 24,576 字节 |\n| 收敛 | 建议至多三次授权配额请求；非预算失败不重试 |\n| 确定性 | 同输入与版本的封存核心字节一致；动态观测不进入核心 |\n| 只读与离线 | 不执行目标代码、不写目标、不安装、不联网；由实际回执证明 |\n| 覆盖分母 | 所有请求文件/声明有明确状态；跳过不得从分母中消失 |\n| 原生资源边界 | 超时、崩溃、内存耗尽能终止并取得退出与清理回执 |\n| 故障交付 | 真核心超限、必需来源缺失、解析损坏、版本冲突、悬空引用均不能产生成功包 |\n\n八个冻结主靶场全部达到核心完整且在预算内，才能表述为“八语言在该基准集合上达标”。本轮八语言实测尺寸、延迟和收敛率均为未知，不提供虚构结果表。\n\n建议每个主靶场至少进行三次独立冷启动重复，并进行有限预算边界验证。重复成功证明该环境中的稳定性，不证明任意未来项目都能装入。\n\n### 5.5 独立验收而非循环自证\n\n- 生产提取器、编码器与评价器不能共用同一规则作为唯一真值来源。\n- 独立答案由来源复读和冻结标注形成，生成端不得读取。\n- 使用变形测试覆盖声明顺序变化、别名、无关正文增加、编码/换行及条件包装。\n- 使用缺陷回归覆盖已发现问题；不按固定比例削减其他必要测试。\n- 非必需正文增加不能挤掉必需核心；必需签名增加若超限，必须产生真实阻塞。\n- 不依赖目标语言编译来证明抽取通过；编译器级类型与链接正确性留在非目标范围。\n\n## 6. 工业级运行与安全契约\n\n### 6.1 权限与污染边界\n\n- 请求只能选择服务侧已授权项目并收窄范围；不能传入任意根路径、URL、命令或适配器加载路径。\n- 适配器和查询来自批准的发布资产，不能来自待分析仓库。\n- 不加载目标模块、不执行装饰器或注解、不运行包管理器、代码生成器及构建脚本。\n- 源码、注释、字符串及元数据均为不可信数据，不能改变工具权限或预算政策。\n- 秘密筛查与核心保真发生冲突时请求授权或阻塞，不能一边删必需内容一边宣称完整。\n- 原生解析进程隔离与文件授权是不同边界，不能把项目内草稿目录当沙箱。\n\n### 6.2 版本与兼容\n\n分别绑定 IR、适配器/语法、查询规则、核心政策、编码、工具契约及 MCP 协议版本。\n\n- 不能拿一个统一版本号代替所有兼容性检查。\n- 通用知识工具必须显式发现和协商，旧 V1 默认路径保持不变。\n- 不把新 IR 静默塞入旧包的同名字段。\n- 声明片段模式不能替代既有完整正文来源认证。\n- 消费者不支持某版本或编码时拒绝解释，不能猜测回退。\n\n### 6.3 观测与状态单源\n\n核心外的有界观测建议包括：语言覆盖、语法版本、输入身份、P0/P1/P2/P3 数量、核心帧大小、最终帧大小、未知关系数、省略数、失败类别及实际退出状态。\n\n没有证据不登记测试通过、宿主接入、缓存命中或目标防写。进度沿用覆盖本任务的真实控制器；未覆盖时使用平台任务记录引用实际回执，不新增手写执行账本。\n\n## 7. 分阶段平滑演进路线\n\n### Phase 1：Python 首个通用适配器与兼容防线\n\n范围：\n\n1. 对现有 Python 抽取结果建立通用 IR 映射，保留旧来源与返回契约。\n2. 增加签名、声明条件和公开意图字段，避免把名称集合误称完整接口。\n3. 将 Python 模块路径映射、定义分类和作用域规则移入适配器。\n4. 分离通用闭包、稠密编码和精确帧计量，不一次性重写所有 V1/V2 模块。\n5. 新模式采用显式入口；缺完整正文的声明记录不得进入旧完整正文认证链。\n\n出口：\n\n- 既有指定 40 项回归全部通过，无跳过、不改断言。\n- 保留并核对更大的既有测试集合；新增适配器不能以只跑 40 项代替其他受影响必要门禁。\n- 同快照下旧记录映射往返一致；旧 P1 全定义保护范围不缩小。\n- 新签名与未知标注通过独立来源复读。\n- 重新绑定快照后测量 FastCode 基准，不机械要求历史 18,869 字节逐字节不变；新增必要契约的成本必须披露。\n\n### Phase 2：预编译底座＋Go、TypeScript\n\n前置：预编译资产、ABI、依赖闭包与目标平台权限通过。\n\n范围：\n\n1. 接入受控原生解析工作进程与语法资产注册表。\n2. 交付 Go 和 TypeScript/TSX 的 P0/P1、公开表面、签名与条件规则。\n3. 覆盖类型/值引用、重导出、接收者、嵌入、Unicode 导出规则及构建条件。\n4. Python 如增加 Tree-sitter 前端，先作为显式交叉核验能力，不替换已稳定的标准库入口。\n5. 交付前三语言的统一消费者与完整帧验收。\n\n出口：三个冻结主集合核心完整、预算合格、独立正负控通过；证明没有目标工具链调用、运行时下载或目标写入。\n\n### Phase 3：Java 与 C#\n\n范围：\n\n1. 增加命名空间/包、访问规则、接口成员、泛型约束和属性的规范映射。\n2. 区分 Java 继承与实现；C# 处理部分声明、委托、属性、事件和显式接口表面。\n3. 有界读取声明式模块/项目元数据，不运行构建、恢复依赖或代码生成。\n4. 同名与部分声明只在证据足够时关联，生成源码缺失不得补造。\n\n出口：五语言冻结主集合通过；重点负控包括公开成员位于受限容器、不可达包/模块、缺失生成声明和条件声明。\n\n### Phase 4：Rust、C、C++\n\n本阶段是三个语言适配器，覆盖 Rust 与 C/C++ 两个系统语言生态，不把 C 和 C++ 合并成一个语法或可见性模型。\n\n范围：\n\n1. Rust 覆盖模块与重导出路径、受限公开、trait、实现块、生命周期和条件属性。\n2. C 覆盖声明器、对象定义、函数原型、类型别名、包含与预处理条件。\n3. C++ 覆盖模板、类访问、语言链接、命名空间、操作符、约束和模块声明。\n4. 宏及生成声明保持未展开边界；不能以“零编译器”之名把猜测输出写成确定声明。\n5. 完成八语言混合输入、失败隔离和语言歧义路由验收。\n\n出口：八个冻结主集合全部通过独立核心/来源/预算门禁；宏生成必需 API 缺失时正确阻塞，不伪造全覆盖。\n\n### 7.1 各阶段共同门禁\n\n- 工程实施前重新确认目标、写入范围、现有改动、绑定契约与依赖资产。\n- 阶段失败、超时、取消、必要项跳过或清理未知，不推进依赖阶段。\n- 不以模式切换或方案接受自动获得安装、实验、宿主或部署授权。\n- 原生文件写入必须取得真实回执；测试资产尚未创建时明确待实现。\n- 阶段交付不等于全 RFC 完成，计划和 ADR 不复制逐轮流水。\n\n### 7.2 获准工程验证入口\n\n本 RFC 不执行命令。现有定向回归可绑定[历史使用的完整命令](../project/solo-distill-mcp/verification/priority-core-20261026T235609Z.receipt.json:9)，其覆盖资产包括[优先级测试](../project/solo-distill-mcp/tests/test_priority_delivery.py)、[背压测试](../project/solo-distill-mcp/tests/test_backpressure.py)和[离线测试](../project/solo-distill-mcp/tests/test_offline.py)。\n\n新增适配器与基准驱动的真实命令应在资产创建后由获准工程入口绑定，不在方案中虚构已存在的测试模块。验证遵循串行、前台、封闭输入和进程级限时；通常采用 30 秒验证窗口及明确强杀宽限，更长基准窗口另行批准。\n\n必要实测交接应包含：问题、固定来源范围、组件/环境前提、读写边界、实际入口、总截止、独立预期、失败分类和清理要求。\n\n## 8. 最小充分裁决与剩余门禁\n\n### 推荐接受的设计方向\n\n- 接受四节点通用 IR、显式证据/条件/义务注册表和独立来源认证方向。\n- 接受预编译 Tree-sitter 作为多语言结构前端，前提是完成组件和语法门禁。\n- 接受分层闭包、无损池化、精确帧计量与有界背压作为通用内核。\n- 接受新通用模式显式协商、旧 V1/V2 契约不静默改变。\n- 接受四阶段路线与冻结八语言基准矩阵作为待实施计划依据。\n\n### 不应接受的无证据承诺\n\n- 现有引擎已经 100% 语言无关。\n- 18,869 字节已经证明完整程序语义零丢失。\n- 数学/哈希算法对任意代码都能去除 95% 冗余。\n- 任意同等 LOC 工程都能在单帧 24KB 内无损收敛。\n- 语法树、离线单测或帧长度合格已经证明编译、运行时、宿主或模型语义通过。\n\n### 生产接受前仍须关闭\n\n1. 其余语言规范与八语法包节点/字段的官方核验。\n2. 目标平台预编译资产、依赖闭包、ABI、许可证及原生资源治理验证。\n3. 完整签名和有效可见性的独立来源认证。\n4. 八个冻结主靶场的真实核心完整、帧预算和重复收敛回执。\n5. 旧契约兼容与真正独立的编解码/评价链。\n\n最终裁决：该架构具备条件可行性，可以作为 solo-distill-mcp 八语言演进的生产指导提案；当前证据足以支持方案方向，不足以宣布八语言已达标。工业级质量来自明确范围、可认证来源、保守未知、不可削弱的必需闭包和诚实容量失败，而不是无条件的压缩率或无损口号。"}}