{"name":"attempt_completion","arguments":{"result":"建议采用“角色隔离的骨架选择 → 有界语法证据展开 → 共享引用的稳定知识包”，而不是继续调整全局度数权重。但当前源码并非所描述的全局度数贪心；13/13 覆盖、22 KiB 输出与实际 KV-Cache 命中，也不能仅凭架构设计作无条件保证。\n\n- 本轮交付为只读技术设计：未修改服务、参考项目或网关，未运行测试、验收或模型请求。\n- 本轮已定位实际服务源码与验收驱动；历史回执对应的源码版本尚未建立绑定，现场数字仍按用户提供的基准处理。\n- 下文区分已核验的源码事实、拟议算法、可证明不变量，以及需要后续实测的目标。\n\n## 1. 尽职调查：先纠正三个关键前提\n\n### 1.1 当前实现的问题，不是已证实的度数排序\n\n当前场景 A 的流程是：预留调用者声明的必需静态证据所属定义，然后将全部定义候选交给一次模型导航，再读取候选并请求模型压缩。它没有在本地计算全局入度、出度或中心度排名。\n\n当前场景 B 使用种子或标识符匹配；源码中的本地分数来自问题词与路径、限定名称的匹配，不是图度数。\n\n此外，提取器记录的是调用表达式，调用目标解析明确为未知。因此，“7000+ calls”即使计数成立，也不能直接当作 7000 条已消歧调用边。\n\n已核验的结构性缺口是：\n\n- 候选集合只包含类和函数定义，不包含模块顶层执行语句。模块级装配、入口保护块和顶层副作用可能根本不进入正文候选池。\n- 必需证据预留仅适用于显式静态选择器；语义推断维度仍依赖模型导航选择，缺乏本地生命周期覆盖约束。\n- 正文读取具备完整定义与预算检查，但没有角色配额、组件公平性或 1-Hop 展开机制。\n- 现有压缩已经使用共享来源列表，并非每个结论都内嵌完整路径；重复成本主要还存在于来源元数据、关系记录、维度描述和诊断信息。是否为 Wire 主因，仍须实际分项计量。\n\n还有一处版本不一致需要追查：当前 A 路径在读取前将候选并集限制到 32 个，并使用新建读取器执行一次读取。在这条路径中，不能仅凭历史描述解释“先读满 32 块，又出现 7 个块数预算拒绝”；需要历史源码、候选列表及回执的版本绑定。\n\n因此，建议将待修复问题定义为：候选域不完整、本地骨架覆盖没有契约、语义导航不受角色隔离，以及交付压缩的必需内容优先级不足。不要把尚未确认的历史度数算法当成修改依据。\n\n### 1.2 学术证据：论文存在不等于所列数字已核验\n\n- *Reliable Graph-RAG for Codebases: AST-Derived Graphs vs LLM-Extracted Knowledge Graphs* 的题名与 arXiv 编号已核对。[11](cite:11)\n- 第二篇原始题名为 *Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP*，不是当前描述中的 AST 通用实现规格。[10](cite:10)\n- 本轮检索没有取得足以核验“30–60 倍、45 倍、95.5%、遗漏率 0%、Token 降低 10–20 倍”的正文实验、数据集与测量定义。对这些数字：Insufficient evidence。\n- 检索到的 CAG 原始研究摘要支持“预加载知识至可复用 KV 缓存”这一概念，但不能证明本服务、代码任务或现有网关能实现零延迟、零重复费用与全景无盲区。[1](cite:1)\n\n设计可以借鉴确定性结构、分层检索和缓存复用原则；不能把其他系统的实验数字直接作为本项目性能承诺。\n\n### 1.3 预算与依赖契约存在歧义\n\n预算算术如下：\n\n- 24 KiB = 24,576 字节。\n- 22 KiB = 22,528 字节。\n- 两者差值是 2,048 字节，不是 2.5 KiB。\n- 若要求保留至少 2.5 KiB，常态完整帧应不超过 22,016 字节，即 21.5 KiB。\n\n本规范采用更严格且自洽的目标：场景 A 常态完整 JSON-RPC 帧不超过 22,016 字节，包含结尾换行；最终绝不超过调用者预算或 24,576 字节。\n\n依赖边界建议明确为“不额外引入第三方模型库、数据库库或原生扩展”。当前项目声明运行时依赖为空，但当前蒸馏流程仍会通过标准库 HTTP 客户端请求固定网关；零本地 ML 依赖不等于零模型调用。\n\n## 2. 总体架构与职责分离\n\n建议的数据流：\n\n授权快照 → AST 与绑定索引 → 角色候选/静态关系 → SCC 凝聚 DAG → 骨架调度 → 1-Hop 证据 → 本地事实校核 → 可选文字压缩 → 引用表压缩 → 完整帧门禁。\n\n三层职责应明确：\n\n| 层 | 输入 | 输出 | 不能宣称 |\n|---|---|---|---|\n| DAG | 已消歧静态关系及作用域 | 组件依赖骨架、循环区域、角色覆盖 | 调用拓扑就是运行时生命周期顺序 |\n| RAG | 骨架、请求义务、合法语法单元 | 不超过 32 块/96 KiB 的可定位证据 | 相邻代码天然支持任意语义结论 |\n| CAG | 已校核事实、来源、未知项 | 稳定、紧凑、可复用的知识前缀 | MCP 服务生成或控制供应商 KV 缓存 |\n\n本地分类、选块、来源校核及序列化必须确定性完成。若保留既有获准网关压缩，它只能表达和压缩已选证据，不能选择路径、增加候选、修改必需义务或提升证据等级。\n\n无模型模式可以交付结构事实包；不能将模板拼接出的文字冒充任意语义问题的完整答案。\n\n## 3. 数据结构与类型定义\n\n以下是拟议接口示例，不是已写入磁盘的实现；不为新定义虚构源码行号。\n\n```python\nfrom dataclasses import dataclass\nfrom typing import Literal, TypedDict\n\ntype NodeId = int\ntype FileId = int\ntype SourceId = int\ntype Role = Literal[\n 'TRIGGER_ENTRY',\n 'ASSEMBLY_INIT',\n 'STATE_ORCHESTRATE',\n 'PERSISTENCE_SINK',\n 'BOUNDARY',\n 'AUXILIARY',\n]\ntype Lane = Literal['skeleton', 'context', 'boundary']\ntype EvidenceLevel = Literal[\n 'direct_syntax', 'resolved_static', 'sourced_inference'\n]\n\n@dataclass(frozen=True, slots=True)\nclass Span:\n file_id: FileId\n start_line: int\n end_line: int\n start_utf8: int\n end_utf8: int\n\n@dataclass(frozen=True, slots=True)\nclass Candidate:\n node_id: NodeId\n span: Span\n qualified_name: str\n unit_kind: Literal[\n 'function', 'method', 'class', 'module_statement',\n 'class_header'\n ]\n roles: frozenset[Role]\n signal_tier: int\n component_id: int\n context_record_ids: tuple[int, ...]\n body_bytes: int\n\n@dataclass(frozen=True, slots=True)\nclass Relation:\n caller: NodeId\n target: NodeId | None\n kind: Literal['import', 'call', 'construct', 'register']\n resolution: Literal['resolved_static', 'unknown']\n span: Span\n condition_record_ids: tuple[int, ...]\n\n@dataclass(frozen=True, slots=True)\nclass Obligation:\n obligation_id: str\n required: bool\n evidence: EvidenceLevel\n # 每个内层元组是一组必须共同具备的证据；外层为替代方案。\n witness_sets: tuple[tuple[NodeId, ...], ...]\n\n@dataclass(slots=True)\nclass Selection:\n selected: dict[NodeId, Lane]\n covered_roles: set[Role]\n covered_components: set[int]\n body_bytes: int\n unresolved_obligations: dict[str, str]\n\nclass FileWire(TypedDict):\n path: str\n sha256: str\n\nclass SourceWire(TypedDict):\n file: FileId\n symbol: str\n lines: list[int]\n body: int\n\nclass FactWire(TypedDict):\n kind: str\n text: str\n sources: list[SourceId]\n level: EvidenceLevel\n\nclass ObligationWire(TypedDict):\n id: str\n required: bool\n status: Literal['satisfied', 'unknown', 'unread', 'blocked']\n reason: str\n sources: list[SourceId]\n\nclass KnowledgeWire(TypedDict):\n schema_version: int\n algorithm_version: str\n project_id: str\n snapshot_id: str\n files: list[FileWire]\n sources: list[SourceWire]\n facts: list[FactWire]\n obligations: list[ObligationWire]\n```\n\n约束说明：\n\n- 内部节点编号、公开来源编号与正文块编号分离。多个事实可以共享同一来源；不能借增加别名伪造已读正文。\n- 字节位置统一对应解码后 UTF-8 源文本，文件摘要仍基于原文件身份；两者不可混用。\n- 未解析调用保留表达式及来源，但不进入“确定调用目标”邻接表。\n- 来源表、选择理由、义务状态由本地程序生成，不从模型返回直接采信。\n- 角色可以多标签；一个候选只消耗一个块和一个配额槽。多标签不等于重复读取。\n\n## 4. DAG 层：角色隔离与有界拓扑\n\n### 4.1 先建立可信绑定，不把表达式当边\n\n绑定索引至少包含：模块位置、词法作用域、定义、导入别名、赋值与遮蔽信息、类成员以及条件上下文。\n\n第一阶段只解析能够证明的绑定：\n\n- 同作用域内未被重绑定的定义调用。\n- 可定位到授权文件的显式导入及别名。\n- 满足保守约束的类内成员调用和构造调用。\n\n动态导入、星号导入歧义、反射、猴子补丁、复杂别名及不明确的继承分派保持未知。唯一名称相同不构成绑定证明。\n\n入口配置、插件清单等非 Python 资产，只有在读取授权明确覆盖时才能参与分析；不能为了提高覆盖擅自扩大输入集合。\n\n### 4.2 生命周期角色分类器\n\n角色识别来自语法与绑定，不来自 FastCode 特定文件名、验收字段或全局度数。\n\n| 角色 | 主要信号 | 必须保留的限制 |\n|---|---|---|\n| 触发入口 | 主程序保护块、已授权声明式入口、可识别处理器注册 | 注册表达式不证明宿主已激活 |\n| 装配初始化 | 构造器、工厂、组件构造与存储到实例字段、模块级装配 | 构造器名称只是候选信号，不是系统重要性证明 |\n| 状态编排 | 调用多个已解析组件、跨调用传递值、持有或修改状态、控制处理阶段 | 仅有循环或字典赋值不能判为核心编排 |\n| 持久化边界 | 能绑定到读写接口的调用、资源获取/释放、序列化与提交位置 | 识别 I/O 表达式不证明运行时成功持久化 |\n| 异常边界 | 与主干相关的异常处理、清理、输入拒绝与限额处理 | 优先附属于已选主干，不单独泛选全库异常代码 |\n| 辅助 | 其余定义或证据不足者 | 不允许通过度数进入受保护骨架槽 |\n\n信号等级采用离散档位，例如“绑定支持的结构信号、明确语法信号、仅启发式候选”。文件名与函数名的词义最多用于同档辅助说明，不决定必需覆盖。\n\n分类器不能承诺理解所有自定义数据库、框架或业务状态机。无法分类的节点应可被显式义务选中，不能直接淘汰。\n\n### 4.3 调用图不是 DAG：先凝聚循环区域\n\n处理步骤：\n\n1. 保持导入关系与调用关系分层，保留方向及条件。\n2. 对已解析关系图计算强连通分量，使用迭代实现避免深层递归栈风险。\n3. 每个强连通分量凝聚成一个节点，得到无环组件图。\n4. 对凝聚图进行稳定拓扑排序；分量内部保留原始成员和循环关系。\n\n该 DAG 表示静态依赖偏序，不是事件发生时间线。生命周期展示由角色及可定位关系组织，不能把排序结果写成“必然先装载、再执行、最后提交”。\n\n计算目标为 O(V+E)；不计算全图所有节点对的精确介数，不做无界社区优化。组件划分先使用包结构与凝聚分量，必要时增加有限的跨包桥接标签。\n\n### 4.4 去重与饱和中心度\n\n对已解析的候选节点 v，分别计算不同调用方集合和不同被调用方集合：\n\n$$d_{in}(v)=|N_{in}(v)|,\\qquad d_{out}(v)=|N_{out}(v)|$$\n\n重复调用同一目标不增加不同邻居数。饱和函数可采用有理式，避免度数无限增长：\n\n$$h(d)=\\frac{d}{d+8}$$\n\n用于同角色、同信号等级内的辅助值：\n\n$$C(v)=\\frac{2h(d_{in})+h(d_{out})+h(d_{cross})}{4}$$\n\n常数 8 是拟议的固定版本参数，不是论文推导或现场已调优值。\n\n候选比较使用字典序，而不是跨角色混合加权：\n\n1. 是否完成尚未满足的必需证据组。\n2. 是否补齐当前未覆盖的角色/组件。\n3. 结构信号等级。\n4. 是否带来新的、有来源的跨组件关系。\n5. 同角色饱和中心度。\n6. 较小正文成本。\n7. 路径、起始位置、限定名称的稳定顺序。\n\n角色调度在上述排序之外执行，所以一个高入度辅助节点不能与入口候选竞争骨架槽。\n\n## 5. 选块、配额与证据展开\n\n### 5.1 固定总配额，而不是每角色机械四块\n\n默认三条独立配额管道：\n\n- 骨架：最多 16 块。\n- 上下文：最多 12 块。\n- 异常/资源边界：最多 4 块。\n\n上下文和辅助代码不能消耗骨架保留槽。重复候选不占第二个槽。\n\n骨架内部先预留可定位的必需证据组，再按“未覆盖角色 → 未覆盖组件 → 第二轮代表”进行轮转。不能机械规定每角色恰好四块，否则真实主干角色分布不均时仍会漏读。\n\n必需证据超过骨架容量时，本版策略返回阻塞或明确未选读；不能暗中借用其他管道、降低必需项或将缺口改成不适用。若以后允许配额借用，应作为显式策略版本变化。\n\n### 5.2 选择目标与局限\n\n设 X 为已选合法语法单元，b(v) 为其 UTF-8 正文成本。至少满足：\n\n$$|X|\\le32,\\qquad\\sum_{v\\in X}b(v)\\le98304$$\n\n同时满足三条管道容量。每项义务 i 有一个或多个合法证据组；只有至少一个完整证据组进入 X，并达到要求的证据等级，才能记为满足。\n\n这比“某维度有一个有效 source ID”更严格。当前实现对语义推断维度使用有效引用来登记结构满足，同时保留独立语义审查要求；新版本不能把这个检查当成语义支持证明。\n\n有界贪心调度并非完备的可行性求解器。它没有找到方案时，应报告“本次选择未完成”，除非已有明确预算下界证明不可容纳；不能把启发式失败当成不存在可行方案的证明。\n\n### 5.3 核心调度伪代码\n\n下列伪代码中的辅助步骤均受同一截止时间、候选上限及预算约束。\n\n```python\nROLE_ORDER = (\n 'TRIGGER_ENTRY', 'ASSEMBLY_INIT',\n 'STATE_ORCHESTRATE', 'PERSISTENCE_SINK',\n)\nLANE_CAPS = {'skeleton': 16, 'context': 12, 'boundary': 4}\nMAX_BLOCKS = 32\nMAX_BODY_BYTES = 96 * 1024\n\n\ndef select(snapshot, obligations, deadline):\n tick(deadline)\n candidates = build_complete_units(snapshot)\n bindings = resolve_conservative_bindings(snapshot)\n relations = build_relations(bindings)\n components = condense_scc_iteratively(relations)\n classify_roles(candidates, bindings, components)\n\n # 只读取请求契约，不读取独立验收答案。\n witnesses = locate_request_witnesses(obligations, candidates)\n state = new_selection()\n\n for group in stable_required_groups(witnesses):\n tick(deadline)\n proposal = choose_bounded_witness_alternative(group, state)\n if proposal is None:\n mark_unresolved(group, 'witness_not_located')\n continue\n if not fits_entire_group(proposal, 'skeleton', state):\n mark_unresolved(group, 'required_group_budget')\n continue\n add_entire_group(proposal, 'skeleton', state)\n\n queues = role_component_queues(candidates, ROLE_ORDER)\n while has_skeleton_capacity(state):\n tick(deadline)\n role = next_uncovered_or_round_robin_role(queues, state)\n candidate = best_same_role_candidate(queues, role, state)\n if candidate is None:\n if all_queues_exhausted(queues):\n break\n continue\n if fits_unit(candidate, 'skeleton', state):\n add_once(candidate, 'skeleton', state)\n else:\n record_rejection(candidate, 'complete_unit_budget')\n\n # 固定骨架集合；新增上下文不成为下一跳扩展种子。\n backbone = tuple(state.selected)\n neighbours = one_hop_neighbours(backbone, relations)\n for candidate in stable_context_order(neighbours, state):\n tick(deadline)\n if optional_file_count(candidate, state) >= 2:\n continue\n if fits_unit(candidate, 'context', state):\n add_once(candidate, 'context', state)\n\n for candidate in attached_boundaries(backbone, candidates):\n tick(deadline)\n if fits_unit(candidate, 'boundary', state):\n add_once(candidate, 'boundary', state)\n\n recheck_required_groups(state, obligations)\n assert_selection_invariants(state)\n return state\n```\n\n每文件“可选扩展最多两块”用于上下文扩展，不阻止同文件必要的骨架或必需证据。所有例外必须有本地选择理由，不能由模型声明。\n\n1-Hop 基于固定骨架及已解析邻接关系；读取第一跳后不再递归产生第二跳。未知调用可作为语法记录展示，但不沿猜测目标扩展。\n\n## 6. RAG 层：完整语法切片与重叠处理\n\n### 6.1 合法正文单元\n\n- 完整函数或方法，包含装饰器。\n- 完整模块顶层语句，例如主程序保护块、赋值装配、注册表达式。\n- 必要时完整类；默认优先方法与单独标明性质的类头结构记录。\n- 条件语句、异常处理等选为正文时，保持完整复合语句，不摘掉条件或清理分支。\n\n类头不是完整类，不能用于证明未读方法实现。模块顶层调用必须进入候选域，不能继续要求它必须归属于函数或类。\n\n语法定位依据 AST 范围、Token 边界及作用域。同行多个语句、装饰器、异步函数、非 UTF-8 文件声明和条件定义均需专门处理；不能仅使用起止行号粗切。\n\n### 6.2 父子重叠规则\n\n- 默认避免同时选择完整类与其多个方法。\n- 已选完整父定义时，可为被实际包含的子定义生成来源别名，指向同一已读正文；别名范围必须由 AST 校核。\n- 先选子方法、后选完整父定义时，先评估替换方案的总正文成本与所有义务，不允许先累加后假装去重。\n- 不允许把任意整个模块包装成“一块”，绕过 32 块候选限制。\n\n当前验收驱动只接受完整函数/类定义，并按来源中的路径、符号和范围匹配锚点。因此，新增模块语句和来源别名需要版本化校验器适配；不能仅改生产选择器就宣称验收兼容。\n\n### 6.3 正文预算必须在读取和交付前闭合\n\n先从合法单元计算真实 UTF-8 成本，再选择；实际读取后重新核对身份、范围与成本。正文超大时寻找合法替代证据组，不能截断后登记完整。\n\n每个完整证据组先整体试装，再整体加入，避免只读调用方、不读必需被调用方，却登记调用链完整。\n\n保留现有拒绝软链接、授权范围、秘密筛查及源码身份复核边界；不能用缓存或更快索引绕过它们。\n\n## 7. CAG 层：共享引用、稳定前缀与完整 Wire 门禁\n\n### 7.1 共享引用表应扩展已有机制\n\n现有结论已引用来源 ID；来源条目仍携带文件摘要、路径、符号和范围，关系记录也保留部分重复字段。\n\n新包建议拆成三张表：\n\n1. 文件表：每个路径与文件摘要只存一次。\n2. 来源表：文件索引、符号、范围、正文块索引。\n3. 事实/关系表：只引用来源整数索引，必要时引用条件记录索引。\n\n项目身份、快照身份、算法版本和证据等级字典放在包级，不逐结论重复。\n\n压缩收益应按实际完整帧测量。共享表有固定开销；若数据很小或没有重复，字典化也可能增大输出。不能预先承诺压缩百分比。\n\n不建议对知识包进行 gzip 加 Base64 后直接交给模型：这会牺牲可读性与直接提示复用。若未来采用二进制附件，应另设消费者解码契约。\n\n### 7.2 必需内容必须先装入\n\n交付优先级：\n\n1. 身份、版本、状态和证据边界。\n2. 全部必需义务及其状态。\n3. 所有必要来源、条件与核心静态事实。\n4. 本地已确认的扫描/解析缺口。\n5. 可选语义说明、局部关系和诊断细节。\n\n现有压缩在子集回填时先加入结论，再尝试加入关系与未完成事项；部分小预算路径只保留遗漏计数。新版本不能将这种指针式交付当成完整的自包含缓存知识包。\n\n若必需最小包无法容纳，返回经过测量的协议错误，明确“知识包未交付”；不要返回 status=complete 的缺项包。完整追踪可以保留在获准服务工作区，但本地路径不等于所有 downstream agent 都能访问。\n\n### 7.3 完整帧序列化示例\n\n```python\nimport json\n\nA_RELEASE_CAP = 22016\nHARD_CAP = 24576\n\n\ndef canonical(value: object) -> bytes:\n return json.dumps(\n value,\n ensure_ascii=False,\n allow_nan=False,\n sort_keys=True,\n separators=(',', ':'),\n ).encode('utf-8')\n\n\ndef encode_frame(report: dict, rpc_id: str | int) -> bytes:\n response = {\n 'jsonrpc': '2.0',\n 'id': rpc_id,\n 'result': {\n 'content': [{\n 'type': 'text',\n 'text': canonical(report).decode('utf-8'),\n }],\n 'isError': report['status'] in {'blocked', 'failed'},\n },\n }\n return canonical(response) + bytes([10])\n\n\ndef pack_frame(required_report, optional_items, rpc_id, caller_cap):\n cap = min(A_RELEASE_CAP, HARD_CAP, caller_cap)\n report = required_report\n frame = encode_frame(report, rpc_id)\n if len(frame) > cap:\n raise MinimumPayloadDoesNotFit\n\n for item in optional_items:\n proposal = add_optional_with_reference_closure(report, item)\n proposed_frame = encode_frame(proposal, rpc_id)\n if len(proposed_frame) <= cap:\n report, frame = proposal, proposed_frame\n\n assert len(frame) <= cap\n return frame\n```\n\n该代码是设计示例；异常及辅助操作须在实施时定义。\n\n关键约束：\n\n- 内层 JSON 被放入文本字段后会再次转义，所以测量对象必须是完整帧，不是内层包长度。\n- 输出检查之后发送同一字节串，不能重新构造对象并再次序列化。\n- 每次加入事实都同时加入其尚未存在的引用闭包；不允许悬空引用。\n- 不依赖 ASCII 比例、平均 Token 长度或固定封装开销。\n- 极小调用者预算或异常大的请求身份若连最小错误帧也不能容纳，应失败关闭，不发送越界帧。\n- 场景 B 继续遵守其 12 KiB 上限，不因 A 的重构放宽。\n\n当前服务已有完整封装与结尾换行的计量及最终协议保护，应复用其安全原则，而不是退化成只测内层摘要。\n\n### 7.4 缓存友好不等于缓存已命中\n\n应分离两类对象：\n\n- 稳定知识包：快照、算法版本、规范化输入、引用表、事实和未知项。\n- 单次执行信息：请求 ID、耗时、费用观察、追踪路径和当前交付状态。\n\n消费者把稳定知识包渲染成固定前缀，后面追加本轮问题。稳定前缀不含随机 ID、时间戳或逐轮诊断，也不随每轮问题重新排序。\n\n知识包缓存键至少包含：授权项目、快照身份、范围、解析器/算法版本、策略版本及影响输出的请求契约。授权变化、来源变化或策略变化必须失效；不能跨租户或权限边界复用。\n\n对于可变工作树，仍须核对来源新鲜度。当前源码的复核只能确认某个校核时点，不能保证后续工作树不变化。\n\n供应商缓存的路由、保留时间、命中窗口、费用和实际缓存 Token 指标，本轮没有得到有效契约证据。因此只承诺生成稳定前缀；实际缓存效果必须由消费者与供应商回执验证。需要深入未知局部时继续 RAG，而不是声称缓存骨架能替代所有后续检索。\n\n## 8. 180 秒截止：覆盖打包与发送，不能只计模型阶段\n\n统一使用入口取得的绝对截止，转换一次为单调时钟；扫描、拓扑、选块、可选压缩、来源复核、持久化、打包和发送都使用剩余时间。\n\n建议内部目标：\n\n- 最晚在第 165 秒停止新增分析及模型等待。\n- 保留最后 15 秒用于复核、必要保存、打包和交付。\n- 各阶段无独立重新起算的 180 秒窗口，无外层业务重试。\n\n当前耗时观察写入发生在追踪保存及最终压缩之前，因此不能单凭该字段证明整个交付流程均在截止内。\n\n周期性检查只能提供协作式中断。当前服务使用业务线程，并明确存在清理未确认时的阻塞路径；它不是任意阻塞操作的强制抢占证明。\n\n若要求进程级硬截止，后续实施应使用受控、可终止的标准库子进程，配合输入大小、IPC 大小与发送背压控制；超时或清理未确认均不登记成功。对不可响应文件系统或不读取输出的客户端，不能保证成功响应必定送达，只能保证不把超时当通过。\n\n## 9. 13/13 覆盖：条件性证明，而非无条件承诺\n\n### 9.1 可以证明的设计不变量\n\n满足实施前提时，可通过程序断言与属性测试证明：\n\n- 入选合法正文单元最多 32 个，实际累计正文不超过 98,304 字节。\n- 上下文候选不能掠夺骨架槽。\n- 提高辅助节点入度不会使其跨角色进入骨架队列。\n- 重复同一调用邻居不增加度数；重复来源不增加正文成本。\n- 所有引用均指向本地已读、身份已复核的来源。\n- 压缩不删除必需义务、不提升证据等级。\n- 完整发送帧不超过发布上限、调用者预算或硬上限。\n\n这些是预算与证据守恒证明，不是任意架构事实的语义正确性证明。\n\n### 9.2 13 个锚点的充分条件\n\n设冻结验收的 13 个锚点为 a₁…a₁₃，每个锚点至少需要一个合法完整证据组 Eᵢ。若同时成立：\n\n1. 所有 Eᵢ 均在获准快照中且能被合法候选表示。\n2. 分类器/通用请求义务确实使调度器选择这些证据组，不能只知道它们存在。\n3. 骨架中所需独立单元并集不超过 16；必要扩展和边界分别不超过 12、4。\n4. 所有单元正文累计不超过 96 KiB。\n5. 必需来源及事实的完整帧不超过 22,016 字节。\n6. 版本化来源校验器可以验证新单元、符号及范围，且没有降低冻结锚点要求。\n7. 来源未变化、无超时、无必要项跳过。\n\n则全部 13 个锚点的正文覆盖可以成立。如果每个锚点恰好需要一个不同骨架单元，13 ≤ 16，确有三个骨架余槽；但这只是容量推演，不证明本库每个锚点实际只需要一块，也不证明分类器必选它们。\n\n### 9.3 为什么不能现在证明稳定 13/13\n\n本轮未读取冻结答案文件，也未执行重新验收；目前没有每个锚点到合法证据组、预算成本和选择理由的独立映射。\n\n更重要的是，通用启发式无法保证任意隐藏测试的全部锚点：同角色、同组件中可能存在大量同信号定义，预算有限必有候选落选；其中任意落选定义都可能成为独立测试锚点。动态行为也可能不能由 AST 证明。\n\n所以，“任意代码库、固定 32 块、所有架构锚点稳定捕获”不是当前条件下可成立的普遍定理。正确承诺是保护生命周期覆盖、避免度数跨角色挤占、严格守预算，并用独立验收确认本库 13/13。\n\n当前驱动的锚点检查是正文覆盖检查，同时明确保留独立语义审查，因此正文 13/13 仍不能称作完整语义或真实宿主验收通过。\n\n## 10. 版本化实施边界与后续验收矩阵\n\n建议新增显式版本 2 契约或工具入口，不静默改变版本 1 字段意义。当前版本 1 对静态选择器、模型输出、来源结构和完整定义校验都有明确约束。\n\n后续获准实施时，影响面包括：\n\n- [结构提取器](../project/solo-distill-mcp/src/solo_distill/extractor.py:154)：补充作用域、绑定、模块语句与来源范围。\n- [证据读取器](../project/solo-distill-mcp/src/solo_distill/evidence.py:48)：角色候选、完整单元、预算调度和重叠别名。\n- [蒸馏编排](../project/solo-distill-mcp/src/solo_distill/distillation.py:418)：本地选择、义务校核与可选压缩职责分离。\n- [交付压缩](../project/solo-distill-mcp/src/solo_distill/distillation.py:141)：必需包优先、引用闭包和稳定知识包。\n- [服务封装](../project/solo-distill-mcp/src/solo_distill/server.py:122)：版本协商、最终字节串交付及截止边界。\n- [独立验收驱动](../project/solo-distill-mcp/tests/run_live_integration.py:66)：适配新来源类型，不修改冻结答案或降低断言。\n\n必需回归应覆盖：\n\n| 类别 | 必须验证的行为 |\n|---|---|\n| 度数陷阱 | 大量重复工具调用不侵占骨架；低度数入口与边界仍有代表 |\n| 角色识别 | 构造器多、单文件、多入口、无持久化、纯库、未知框架均诚实处理 |\n| 绑定 | 同名遮蔽、导入别名、循环、条件定义、动态调用不伪造确定目标 |\n| 语法范围 | 装饰器、顶层保护块、同行语句、父子重叠、超大完整定义 |\n| 字节门禁 | 非 ASCII、引号、反斜杠、长路径和二次转义后的完整帧临界值 |\n| 义务 | 缺来源、必需组过大、最小包超限、解析失败不变成已满足 |\n| 缓存 | 同快照前缀稳定；来源、授权或策略变化必失效 |\n| 截止 | 分析、复核、保存、打包、发送及清理超时均不记成功 |\n| 场景 B | 保留定向查询、12 KiB、证据等级及取消行为，不因 A 改造回退 |\n| 场景 A | 冻结答案仅用于生成后独立校验；13/13 正文覆盖与语义审查分开登记 |\n\n现有相关测试已覆盖部分必需证据预留、完整定义、缺失义务与协议预算行为；这仅是测试资产存在的事实，本轮没有执行它们。\n\n## 11. 证据定位与交付状态\n\n网络文献引用沿用检索编号：[10](cite:10)、[11](cite:11) 为指定论文；[1](cite:1) 仅支持 CAG 预加载概念，不作为本项目收益证明。\n\n工作区证据编号：\n\n- [当前蒸馏选择、模型压缩、证据校核与收尾](../project/solo-distill-mcp/src/solo_distill/distillation.py:418)。\n- [当前候选域、必需预留与正文读取](../project/solo-distill-mcp/src/solo_distill/evidence.py:48)。\n- [当前共享来源与交付压缩](../project/solo-distill-mcp/src/solo_distill/distillation.py:91)。\n- [调用表达式及未知绑定记录](../project/solo-distill-mcp/src/solo_distill/extractor.py:211)。\n- [完整协议门禁、取消与业务线程清理](../project/solo-distill-mcp/src/solo_distill/server.py:122)。\n- [独立正文锚点检查及验收边界](../project/solo-distill-mcp/tests/run_live_integration.py:66)。\n- [现有选读回归](../project/solo-distill-mcp/tests/test_onboarding.py:58)与[蒸馏契约回归](../project/solo-distill-mcp/tests/test_distillation.py:86)。\n- [运行时依赖声明](../project/solo-distill-mcp/pyproject.toml:5)。\n\n只读调查与技术规范已完成。实施、回归、场景 A 重跑、供应商缓存验证及真实宿主验收仍保持暂停；未登记修复完成、13/13 通过或任何缓存收益。"}}

{"name":"attempt_completion","arguments":{"result":"建议采用“角色隔离的骨架选择 → 有界语法证据展开 → 共享引用的稳定知识包”，而不是继续调整全局度数权重。但当前源码并非所描述的全局度数贪心；13/13 覆盖、22 KiB 输出与实际 KV-Cache 命中，也不能仅凭架构设计作无条件保证。\n\n- 本轮交付为只读技术设计：未修改服务、参考项目或网关，未运行测试、验收或模型请求。\n- 本轮已定位实际服务源码与验收驱动；历史回执对应的源码版本尚未建立绑定，现场数字仍按用户提供的基准处理。\n- 下文区分已核验的源码事实、拟议算法、可证明不变量，以及需要后续实测的目标。\n\n## 1. 尽职调查：先纠正三个关键前提\n\n### 1.1 当前实现的问题，不是已证实的度数排序\n\n当前场景 A 的流程是：预留调用者声明的必需静态证据所属定义，然后将全部定义候选交给一次模型导航，再读取候选并请求模型压缩。它没有在本地计算全局入度、出度或中心度排名。\n\n当前场景 B 使用种子或标识符匹配；源码中的本地分数来自问题词与路径、限定名称的匹配，不是图度数。\n\n此外，提取器记录的是调用表达式，调用目标解析明确为未知。因此，“7000+ calls”即使计数成立，也不能直接当作 7000 条已消歧调用边。\n\n已核验的结构性缺口是：\n\n- 候选集合只包含类和函数定义，不包含模块顶层执行语句。模块级装配、入口保护块和顶层副作用可能根本不进入正文候选池。\n- 必需证据预留仅适用于显式静态选择器；语义推断维度仍依赖模型导航选择，缺乏本地生命周期覆盖约束。\n- 正文读取具备完整定义与预算检查，但没有角色配额、组件公平性或 1-Hop 展开机制。\n- 现有压缩已经使用共享来源列表，并非每个结论都内嵌完整路径；重复成本主要还存在于来源元数据、关系记录、维度描述和诊断信息。是否为 Wire 主因，仍须实际分项计量。\n\n还有一处版本不一致需要追查：当前 A 路径在读取前将候选并集限制到 32 个，并使用新建读取器执行一次读取。在这条路径中，不能仅凭历史描述解释“先读满 32 块，又出现 7 个块数预算拒绝”；需要历史源码、候选列表及回执的版本绑定。\n\n因此，建议将待修复问题定义为：候选域不完整、本地骨架覆盖没有契约、语义导航不受角色隔离，以及交付压缩的必需内容优先级不足。不要把尚未确认的历史度数算法当成修改依据。\n\n### 1.2 学术证据：论文存在不等于所列数字已核验\n\n- *Reliable Graph-RAG for Codebases: AST-Derived Graphs vs LLM-Extracted Knowledge Graphs* 的题名与 arXiv 编号已核对。[11](cite:11)\n- 第二篇原始题名为 *Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP*，不是当前描述中的 AST 通用实现规格。[10](cite:10)\n- 本轮检索没有取得足以核验“30–60 倍、45 倍、95.5%、遗漏率 0%、Token 降低 10–20 倍”的正文实验、数据集与测量定义。对这些数字：Insufficient evidence。\n- 检索到的 CAG 原始研究摘要支持“预加载知识至可复用 KV 缓存”这一概念，但不能证明本服务、代码任务或现有网关能实现零延迟、零重复费用与全景无盲区。[1](cite:1)\n\n设计可以借鉴确定性结构、分层检索和缓存复用原则；不能把其他系统的实验数字直接作为本项目性能承诺。\n\n### 1.3 预算与依赖契约存在歧义\n\n预算算术如下：\n\n- 24 KiB = 24,576 字节。\n- 22 KiB = 22,528 字节。\n- 两者差值是 2,048 字节，不是 2.5 KiB。\n- 若要求保留至少 2.5 KiB，常态完整帧应不超过 22,016 字节，即 21.5 KiB。\n\n本规范采用更严格且自洽的目标：场景 A 常态完整 JSON-RPC 帧不超过 22,016 字节，包含结尾换行；最终绝不超过调用者预算或 24,576 字节。\n\n依赖边界建议明确为“不额外引入第三方模型库、数据库库或原生扩展”。当前项目声明运行时依赖为空，但当前蒸馏流程仍会通过标准库 HTTP 客户端请求固定网关；零本地 ML 依赖不等于零模型调用。\n\n## 2. 总体架构与职责分离\n\n建议的数据流：\n\n授权快照 → AST 与绑定索引 → 角色候选/静态关系 → SCC 凝聚 DAG → 骨架调度 → 1-Hop 证据 → 本地事实校核 → 可选文字压缩 → 引用表压缩 → 完整帧门禁。\n\n三层职责应明确：\n\n| 层 | 输入 | 输出 | 不能宣称 |\n|---|---|---|---|\n| DAG | 已消歧静态关系及作用域 | 组件依赖骨架、循环区域、角色覆盖 | 调用拓扑就是运行时生命周期顺序 |\n| RAG | 骨架、请求义务、合法语法单元 | 不超过 32 块/96 KiB 的可定位证据 | 相邻代码天然支持任意语义结论 |\n| CAG | 已校核事实、来源、未知项 | 稳定、紧凑、可复用的知识前缀 | MCP 服务生成或控制供应商 KV 缓存 |\n\n本地分类、选块、来源校核及序列化必须确定性完成。若保留既有获准网关压缩，它只能表达和压缩已选证据，不能选择路径、增加候选、修改必需义务或提升证据等级。\n\n无模型模式可以交付结构事实包；不能将模板拼接出的文字冒充任意语义问题的完整答案。\n\n## 3. 数据结构与类型定义\n\n以下是拟议接口示例，不是已写入磁盘的实现；不为新定义虚构源码行号。\n\n```python\nfrom dataclasses import dataclass\nfrom typing import Literal, TypedDict\n\ntype NodeId = int\ntype FileId = int\ntype SourceId = int\ntype Role = Literal[\n 'TRIGGER_ENTRY',\n 'ASSEMBLY_INIT',\n 'STATE_ORCHESTRATE',\n 'PERSISTENCE_SINK',\n 'BOUNDARY',\n 'AUXILIARY',\n]\ntype Lane = Literal['skeleton', 'context', 'boundary']\ntype EvidenceLevel = Literal[\n 'direct_syntax', 'resolved_static', 'sourced_inference'\n]\n\n@dataclass(frozen=True, slots=True)\nclass Span:\n file_id: FileId\n start_line: int\n end_line: int\n start_utf8: int\n end_utf8: int\n\n@dataclass(frozen=True, slots=True)\nclass Candidate:\n node_id: NodeId\n span: Span\n qualified_name: str\n unit_kind: Literal[\n 'function', 'method', 'class', 'module_statement',\n 'class_header'\n ]\n roles: frozenset[Role]\n signal_tier: int\n component_id: int\n context_record_ids: tuple[int, ...]\n body_bytes: int\n\n@dataclass(frozen=True, slots=True)\nclass Relation:\n caller: NodeId\n target: NodeId | None\n kind: Literal['import', 'call', 'construct', 'register']\n resolution: Literal['resolved_static', 'unknown']\n span: Span\n condition_record_ids: tuple[int, ...]\n\n@dataclass(frozen=True, slots=True)\nclass Obligation:\n obligation_id: str\n required: bool\n evidence: EvidenceLevel\n # 每个内层元组是一组必须共同具备的证据；外层为替代方案。\n witness_sets: tuple[tuple[NodeId, ...], ...]\n\n@dataclass(slots=True)\nclass Selection:\n selected: dict[NodeId, Lane]\n covered_roles: set[Role]\n covered_components: set[int]\n body_bytes: int\n unresolved_obligations: dict[str, str]\n\nclass FileWire(TypedDict):\n path: str\n sha256: str\n\nclass SourceWire(TypedDict):\n file: FileId\n symbol: str\n lines: list[int]\n body: int\n\nclass FactWire(TypedDict):\n kind: str\n text: str\n sources: list[SourceId]\n level: EvidenceLevel\n\nclass ObligationWire(TypedDict):\n id: str\n required: bool\n status: Literal['satisfied', 'unknown', 'unread', 'blocked']\n reason: str\n sources: list[SourceId]\n\nclass KnowledgeWire(TypedDict):\n schema_version: int\n algorithm_version: str\n project_id: str\n snapshot_id: str\n files: list[FileWire]\n sources: list[SourceWire]\n facts: list[FactWire]\n obligations: list[ObligationWire]\n```\n\n约束说明：\n\n- 内部节点编号、公开来源编号与正文块编号分离。多个事实可以共享同一来源；不能借增加别名伪造已读正文。\n- 字节位置统一对应解码后 UTF-8 源文本，文件摘要仍基于原文件身份；两者不可混用。\n- 未解析调用保留表达式及来源，但不进入“确定调用目标”邻接表。\n- 来源表、选择理由、义务状态由本地程序生成，不从模型返回直接采信。\n- 角色可以多标签；一个候选只消耗一个块和一个配额槽。多标签不等于重复读取。\n\n## 4. DAG 层：角色隔离与有界拓扑\n\n### 4.1 先建立可信绑定，不把表达式当边\n\n绑定索引至少包含：模块位置、词法作用域、定义、导入别名、赋值与遮蔽信息、类成员以及条件上下文。\n\n第一阶段只解析能够证明的绑定：\n\n- 同作用域内未被重绑定的定义调用。\n- 可定位到授权文件的显式导入及别名。\n- 满足保守约束的类内成员调用和构造调用。\n\n动态导入、星号导入歧义、反射、猴子补丁、复杂别名及不明确的继承分派保持未知。唯一名称相同不构成绑定证明。\n\n入口配置、插件清单等非 Python 资产，只有在读取授权明确覆盖时才能参与分析；不能为了提高覆盖擅自扩大输入集合。\n\n### 4.2 生命周期角色分类器\n\n角色识别来自语法与绑定，不来自 FastCode 特定文件名、验收字段或全局度数。\n\n| 角色 | 主要信号 | 必须保留的限制 |\n|---|---|---|\n| 触发入口 | 主程序保护块、已授权声明式入口、可识别处理器注册 | 注册表达式不证明宿主已激活 |\n| 装配初始化 | 构造器、工厂、组件构造与存储到实例字段、模块级装配 | 构造器名称只是候选信号，不是系统重要性证明 |\n| 状态编排 | 调用多个已解析组件、跨调用传递值、持有或修改状态、控制处理阶段 | 仅有循环或字典赋值不能判为核心编排 |\n| 持久化边界 | 能绑定到读写接口的调用、资源获取/释放、序列化与提交位置 | 识别 I/O 表达式不证明运行时成功持久化 |\n| 异常边界 | 与主干相关的异常处理、清理、输入拒绝与限额处理 | 优先附属于已选主干，不单独泛选全库异常代码 |\n| 辅助 | 其余定义或证据不足者 | 不允许通过度数进入受保护骨架槽 |\n\n信号等级采用离散档位，例如“绑定支持的结构信号、明确语法信号、仅启发式候选”。文件名与函数名的词义最多用于同档辅助说明，不决定必需覆盖。\n\n分类器不能承诺理解所有自定义数据库、框架或业务状态机。无法分类的节点应可被显式义务选中，不能直接淘汰。\n\n### 4.3 调用图不是 DAG：先凝聚循环区域\n\n处理步骤：\n\n1. 保持导入关系与调用关系分层，保留方向及条件。\n2. 对已解析关系图计算强连通分量，使用迭代实现避免深层递归栈风险。\n3. 每个强连通分量凝聚成一个节点，得到无环组件图。\n4. 对凝聚图进行稳定拓扑排序；分量内部保留原始成员和循环关系。\n\n该 DAG 表示静态依赖偏序，不是事件发生时间线。生命周期展示由角色及可定位关系组织，不能把排序结果写成“必然先装载、再执行、最后提交”。\n\n计算目标为 O(V+E)；不计算全图所有节点对的精确介数，不做无界社区优化。组件划分先使用包结构与凝聚分量，必要时增加有限的跨包桥接标签。\n\n### 4.4 去重与饱和中心度\n\n对已解析的候选节点 v，分别计算不同调用方集合和不同被调用方集合：\n\n$$d_{in}(v)=|N_{in}(v)|,\\qquad d_{out}(v)=|N_{out}(v)|$$\n\n重复调用同一目标不增加不同邻居数。饱和函数可采用有理式，避免度数无限增长：\n\n$$h(d)=\\frac{d}{d+8}$$\n\n用于同角色、同信号等级内的辅助值：\n\n$$C(v)=\\frac{2h(d_{in})+h(d_{out})+h(d_{cross})}{4}$$\n\n常数 8 是拟议的固定版本参数，不是论文推导或现场已调优值。\n\n候选比较使用字典序，而不是跨角色混合加权：\n\n1. 是否完成尚未满足的必需证据组。\n2. 是否补齐当前未覆盖的角色/组件。\n3. 结构信号等级。\n4. 是否带来新的、有来源的跨组件关系。\n5. 同角色饱和中心度。\n6. 较小正文成本。\n7. 路径、起始位置、限定名称的稳定顺序。\n\n角色调度在上述排序之外执行，所以一个高入度辅助节点不能与入口候选竞争骨架槽。\n\n## 5. 选块、配额与证据展开\n\n### 5.1 固定总配额，而不是每角色机械四块\n\n默认三条独立配额管道：\n\n- 骨架：最多 16 块。\n- 上下文：最多 12 块。\n- 异常/资源边界：最多 4 块。\n\n上下文和辅助代码不能消耗骨架保留槽。重复候选不占第二个槽。\n\n骨架内部先预留可定位的必需证据组，再按“未覆盖角色 → 未覆盖组件 → 第二轮代表”进行轮转。不能机械规定每角色恰好四块，否则真实主干角色分布不均时仍会漏读。\n\n必需证据超过骨架容量时，本版策略返回阻塞或明确未选读；不能暗中借用其他管道、降低必需项或将缺口改成不适用。若以后允许配额借用，应作为显式策略版本变化。\n\n### 5.2 选择目标与局限\n\n设 X 为已选合法语法单元，b(v) 为其 UTF-8 正文成本。至少满足：\n\n$$|X|\\le32,\\qquad\\sum_{v\\in X}b(v)\\le98304$$\n\n同时满足三条管道容量。每项义务 i 有一个或多个合法证据组；只有至少一个完整证据组进入 X，并达到要求的证据等级，才能记为满足。\n\n这比“某维度有一个有效 source ID”更严格。当前实现对语义推断维度使用有效引用来登记结构满足，同时保留独立语义审查要求；新版本不能把这个检查当成语义支持证明。\n\n有界贪心调度并非完备的可行性求解器。它没有找到方案时，应报告“本次选择未完成”，除非已有明确预算下界证明不可容纳；不能把启发式失败当成不存在可行方案的证明。\n\n### 5.3 核心调度伪代码\n\n下列伪代码中的辅助步骤均受同一截止时间、候选上限及预算约束。\n\n```python\nROLE_ORDER = (\n 'TRIGGER_ENTRY', 'ASSEMBLY_INIT',\n 'STATE_ORCHESTRATE', 'PERSISTENCE_SINK',\n)\nLANE_CAPS = {'skeleton': 16, 'context': 12, 'boundary': 4}\nMAX_BLOCKS = 32\nMAX_BODY_BYTES = 96 * 1024\n\n\ndef select(snapshot, obligations, deadline):\n tick(deadline)\n candidates = build_complete_units(snapshot)\n bindings = resolve_conservative_bindings(snapshot)\n relations = build_relations(bindings)\n components = condense_scc_iteratively(relations)\n classify_roles(candidates, bindings, components)\n\n # 只读取请求契约，不读取独立验收答案。\n witnesses = locate_request_witnesses(obligations, candidates)\n state = new_selection()\n\n for group in stable_required_groups(witnesses):\n tick(deadline)\n proposal = choose_bounded_witness_alternative(group, state)\n if proposal is None:\n mark_unresolved(group, 'witness_not_located')\n continue\n if not fits_entire_group(proposal, 'skeleton', state):\n mark_unresolved(group, 'required_group_budget')\n continue\n add_entire_group(proposal, 'skeleton', state)\n\n queues = role_component_queues(candidates, ROLE_ORDER)\n while has_skeleton_capacity(state):\n tick(deadline)\n role = next_uncovered_or_round_robin_role(queues, state)\n candidate = best_same_role_candidate(queues, role, state)\n if candidate is None:\n if all_queues_exhausted(queues):\n break\n continue\n if fits_unit(candidate, 'skeleton', state):\n add_once(candidate, 'skeleton', state)\n else:\n record_rejection(candidate, 'complete_unit_budget')\n\n # 固定骨架集合；新增上下文不成为下一跳扩展种子。\n backbone = tuple(state.selected)\n neighbours = one_hop_neighbours(backbone, relations)\n for candidate in stable_context_order(neighbours, state):\n tick(deadline)\n if optional_file_count(candidate, state) >= 2:\n continue\n if fits_unit(candidate, 'context', state):\n add_once(candidate, 'context', state)\n\n for candidate in attached_boundaries(backbone, candidates):\n tick(deadline)\n if fits_unit(candidate, 'boundary', state):\n add_once(candidate, 'boundary', state)\n\n recheck_required_groups(state, obligations)\n assert_selection_invariants(state)\n return state\n```\n\n每文件“可选扩展最多两块”用于上下文扩展，不阻止同文件必要的骨架或必需证据。所有例外必须有本地选择理由，不能由模型声明。\n\n1-Hop 基于固定骨架及已解析邻接关系；读取第一跳后不再递归产生第二跳。未知调用可作为语法记录展示，但不沿猜测目标扩展。\n\n## 6. RAG 层：完整语法切片与重叠处理\n\n### 6.1 合法正文单元\n\n- 完整函数或方法，包含装饰器。\n- 完整模块顶层语句，例如主程序保护块、赋值装配、注册表达式。\n- 必要时完整类；默认优先方法与单独标明性质的类头结构记录。\n- 条件语句、异常处理等选为正文时，保持完整复合语句，不摘掉条件或清理分支。\n\n类头不是完整类，不能用于证明未读方法实现。模块顶层调用必须进入候选域，不能继续要求它必须归属于函数或类。\n\n语法定位依据 AST 范围、Token 边界及作用域。同行多个语句、装饰器、异步函数、非 UTF-8 文件声明和条件定义均需专门处理；不能仅使用起止行号粗切。\n\n### 6.2 父子重叠规则\n\n- 默认避免同时选择完整类与其多个方法。\n- 已选完整父定义时，可为被实际包含的子定义生成来源别名，指向同一已读正文；别名范围必须由 AST 校核。\n- 先选子方法、后选完整父定义时，先评估替换方案的总正文成本与所有义务，不允许先累加后假装去重。\n- 不允许把任意整个模块包装成“一块”，绕过 32 块候选限制。\n\n当前验收驱动只接受完整函数/类定义，并按来源中的路径、符号和范围匹配锚点。因此，新增模块语句和来源别名需要版本化校验器适配；不能仅改生产选择器就宣称验收兼容。\n\n### 6.3 正文预算必须在读取和交付前闭合\n\n先从合法单元计算真实 UTF-8 成本，再选择；实际读取后重新核对身份、范围与成本。正文超大时寻找合法替代证据组，不能截断后登记完整。\n\n每个完整证据组先整体试装，再整体加入，避免只读调用方、不读必需被调用方，却登记调用链完整。\n\n保留现有拒绝软链接、授权范围、秘密筛查及源码身份复核边界；不能用缓存或更快索引绕过它们。\n\n## 7. CAG 层：共享引用、稳定前缀与完整 Wire 门禁\n\n### 7.1 共享引用表应扩展已有机制\n\n现有结论已引用来源 ID；来源条目仍携带文件摘要、路径、符号和范围，关系记录也保留部分重复字段。\n\n新包建议拆成三张表：\n\n1. 文件表：每个路径与文件摘要只存一次。\n2. 来源表：文件索引、符号、范围、正文块索引。\n3. 事实/关系表：只引用来源整数索引，必要时引用条件记录索引。\n\n项目身份、快照身份、算法版本和证据等级字典放在包级，不逐结论重复。\n\n压缩收益应按实际完整帧测量。共享表有固定开销；若数据很小或没有重复，字典化也可能增大输出。不能预先承诺压缩百分比。\n\n不建议对知识包进行 gzip 加 Base64 后直接交给模型：这会牺牲可读性与直接提示复用。若未来采用二进制附件，应另设消费者解码契约。\n\n### 7.2 必需内容必须先装入\n\n交付优先级：\n\n1. 身份、版本、状态和证据边界。\n2. 全部必需义务及其状态。\n3. 所有必要来源、条件与核心静态事实。\n4. 本地已确认的扫描/解析缺口。\n5. 可选语义说明、局部关系和诊断细节。\n\n现有压缩在子集回填时先加入结论，再尝试加入关系与未完成事项；部分小预算路径只保留遗漏计数。新版本不能将这种指针式交付当成完整的自包含缓存知识包。\n\n若必需最小包无法容纳，返回经过测量的协议错误，明确“知识包未交付”；不要返回 status=complete 的缺项包。完整追踪可以保留在获准服务工作区，但本地路径不等于所有 downstream agent 都能访问。\n\n### 7.3 完整帧序列化示例\n\n```python\nimport json\n\nA_RELEASE_CAP = 22016\nHARD_CAP = 24576\n\n\ndef canonical(value: object) -> bytes:\n return json.dumps(\n value,\n ensure_ascii=False,\n allow_nan=False,\n sort_keys=True,\n separators=(',', ':'),\n ).encode('utf-8')\n\n\ndef encode_frame(report: dict, rpc_id: str | int) -> bytes:\n response = {\n 'jsonrpc': '2.0',\n 'id': rpc_id,\n 'result': {\n 'content': [{\n 'type': 'text',\n 'text': canonical(report).decode('utf-8'),\n }],\n 'isError': report['status'] in {'blocked', 'failed'},\n },\n }\n return canonical(response) + bytes([10])\n\n\ndef pack_frame(required_report, optional_items, rpc_id, caller_cap):\n cap = min(A_RELEASE_CAP, HARD_CAP, caller_cap)\n report = required_report\n frame = encode_frame(report, rpc_id)\n if len(frame) > cap:\n raise MinimumPayloadDoesNotFit\n\n for item in optional_items:\n proposal = add_optional_with_reference_closure(report, item)\n proposed_frame = encode_frame(proposal, rpc_id)\n if len(proposed_frame) <= cap:\n report, frame = proposal, proposed_frame\n\n assert len(frame) <= cap\n return frame\n```\n\n该代码是设计示例；异常及辅助操作须在实施时定义。\n\n关键约束：\n\n- 内层 JSON 被放入文本字段后会再次转义，所以测量对象必须是完整帧，不是内层包长度。\n- 输出检查之后发送同一字节串，不能重新构造对象并再次序列化。\n- 每次加入事实都同时加入其尚未存在的引用闭包；不允许悬空引用。\n- 不依赖 ASCII 比例、平均 Token 长度或固定封装开销。\n- 极小调用者预算或异常大的请求身份若连最小错误帧也不能容纳，应失败关闭，不发送越界帧。\n- 场景 B 继续遵守其 12 KiB 上限，不因 A 的重构放宽。\n\n当前服务已有完整封装与结尾换行的计量及最终协议保护，应复用其安全原则，而不是退化成只测内层摘要。\n\n### 7.4 缓存友好不等于缓存已命中\n\n应分离两类对象：\n\n- 稳定知识包：快照、算法版本、规范化输入、引用表、事实和未知项。\n- 单次执行信息：请求 ID、耗时、费用观察、追踪路径和当前交付状态。\n\n消费者把稳定知识包渲染成固定前缀，后面追加本轮问题。稳定前缀不含随机 ID、时间戳或逐轮诊断，也不随每轮问题重新排序。\n\n知识包缓存键至少包含：授权项目、快照身份、范围、解析器/算法版本、策略版本及影响输出的请求契约。授权变化、来源变化或策略变化必须失效；不能跨租户或权限边界复用。\n\n对于可变工作树，仍须核对来源新鲜度。当前源码的复核只能确认某个校核时点，不能保证后续工作树不变化。\n\n供应商缓存的路由、保留时间、命中窗口、费用和实际缓存 Token 指标，本轮没有得到有效契约证据。因此只承诺生成稳定前缀；实际缓存效果必须由消费者与供应商回执验证。需要深入未知局部时继续 RAG，而不是声称缓存骨架能替代所有后续检索。\n\n## 8. 180 秒截止：覆盖打包与发送，不能只计模型阶段\n\n统一使用入口取得的绝对截止，转换一次为单调时钟；扫描、拓扑、选块、可选压缩、来源复核、持久化、打包和发送都使用剩余时间。\n\n建议内部目标：\n\n- 最晚在第 165 秒停止新增分析及模型等待。\n- 保留最后 15 秒用于复核、必要保存、打包和交付。\n- 各阶段无独立重新起算的 180 秒窗口，无外层业务重试。\n\n当前耗时观察写入发生在追踪保存及最终压缩之前，因此不能单凭该字段证明整个交付流程均在截止内。\n\n周期性检查只能提供协作式中断。当前服务使用业务线程，并明确存在清理未确认时的阻塞路径；它不是任意阻塞操作的强制抢占证明。\n\n若要求进程级硬截止，后续实施应使用受控、可终止的标准库子进程，配合输入大小、IPC 大小与发送背压控制；超时或清理未确认均不登记成功。对不可响应文件系统或不读取输出的客户端，不能保证成功响应必定送达，只能保证不把超时当通过。\n\n## 9. 13/13 覆盖：条件性证明，而非无条件承诺\n\n### 9.1 可以证明的设计不变量\n\n满足实施前提时，可通过程序断言与属性测试证明：\n\n- 入选合法正文单元最多 32 个，实际累计正文不超过 98,304 字节。\n- 上下文候选不能掠夺骨架槽。\n- 提高辅助节点入度不会使其跨角色进入骨架队列。\n- 重复同一调用邻居不增加度数；重复来源不增加正文成本。\n- 所有引用均指向本地已读、身份已复核的来源。\n- 压缩不删除必需义务、不提升证据等级。\n- 完整发送帧不超过发布上限、调用者预算或硬上限。\n\n这些是预算与证据守恒证明，不是任意架构事实的语义正确性证明。\n\n### 9.2 13 个锚点的充分条件\n\n设冻结验收的 13 个锚点为 a₁…a₁₃，每个锚点至少需要一个合法完整证据组 Eᵢ。若同时成立：\n\n1. 所有 Eᵢ 均在获准快照中且能被合法候选表示。\n2. 分类器/通用请求义务确实使调度器选择这些证据组，不能只知道它们存在。\n3. 骨架中所需独立单元并集不超过 16；必要扩展和边界分别不超过 12、4。\n4. 所有单元正文累计不超过 96 KiB。\n5. 必需来源及事实的完整帧不超过 22,016 字节。\n6. 版本化来源校验器可以验证新单元、符号及范围，且没有降低冻结锚点要求。\n7. 来源未变化、无超时、无必要项跳过。\n\n则全部 13 个锚点的正文覆盖可以成立。如果每个锚点恰好需要一个不同骨架单元，13 ≤ 16，确有三个骨架余槽；但这只是容量推演，不证明本库每个锚点实际只需要一块，也不证明分类器必选它们。\n\n### 9.3 为什么不能现在证明稳定 13/13\n\n本轮未读取冻结答案文件，也未执行重新验收；目前没有每个锚点到合法证据组、预算成本和选择理由的独立映射。\n\n更重要的是，通用启发式无法保证任意隐藏测试的全部锚点：同角色、同组件中可能存在大量同信号定义，预算有限必有候选落选；其中任意落选定义都可能成为独立测试锚点。动态行为也可能不能由 AST 证明。\n\n所以，“任意代码库、固定 32 块、所有架构锚点稳定捕获”不是当前条件下可成立的普遍定理。正确承诺是保护生命周期覆盖、避免度数跨角色挤占、严格守预算，并用独立验收确认本库 13/13。\n\n当前驱动的锚点检查是正文覆盖检查，同时明确保留独立语义审查，因此正文 13/13 仍不能称作完整语义或真实宿主验收通过。\n\n## 10. 版本化实施边界与后续验收矩阵\n\n建议新增显式版本 2 契约或工具入口，不静默改变版本 1 字段意义。当前版本 1 对静态选择器、模型输出、来源结构和完整定义校验都有明确约束。\n\n后续获准实施时，影响面包括：\n\n- [结构提取器](../project/solo-distill-mcp/src/solo_distill/extractor.py:154)：补充作用域、绑定、模块语句与来源范围。\n- [证据读取器](../project/solo-distill-mcp/src/solo_distill/evidence.py:48)：角色候选、完整单元、预算调度和重叠别名。\n- [蒸馏编排](../project/solo-distill-mcp/src/solo_distill/distillation.py:418)：本地选择、义务校核与可选压缩职责分离。\n- [交付压缩](../project/solo-distill-mcp/src/solo_distill/distillation.py:141)：必需包优先、引用闭包和稳定知识包。\n- [服务封装](../project/solo-distill-mcp/src/solo_distill/server.py:122)：版本协商、最终字节串交付及截止边界。\n- [独立验收驱动](../project/solo-distill-mcp/tests/run_live_integration.py:66)：适配新来源类型，不修改冻结答案或降低断言。\n\n必需回归应覆盖：\n\n| 类别 | 必须验证的行为 |\n|---|---|\n| 度数陷阱 | 大量重复工具调用不侵占骨架；低度数入口与边界仍有代表 |\n| 角色识别 | 构造器多、单文件、多入口、无持久化、纯库、未知框架均诚实处理 |\n| 绑定 | 同名遮蔽、导入别名、循环、条件定义、动态调用不伪造确定目标 |\n| 语法范围 | 装饰器、顶层保护块、同行语句、父子重叠、超大完整定义 |\n| 字节门禁 | 非 ASCII、引号、反斜杠、长路径和二次转义后的完整帧临界值 |\n| 义务 | 缺来源、必需组过大、最小包超限、解析失败不变成已满足 |\n| 缓存 | 同快照前缀稳定；来源、授权或策略变化必失效 |\n| 截止 | 分析、复核、保存、打包、发送及清理超时均不记成功 |\n| 场景 B | 保留定向查询、12 KiB、证据等级及取消行为，不因 A 改造回退 |\n| 场景 A | 冻结答案仅用于生成后独立校验；13/13 正文覆盖与语义审查分开登记 |\n\n现有相关测试已覆盖部分必需证据预留、完整定义、缺失义务与协议预算行为；这仅是测试资产存在的事实，本轮没有执行它们。\n\n## 11. 证据定位与交付状态\n\n网络文献引用沿用检索编号：[10](cite:10)、[11](cite:11) 为指定论文；[1](cite:1) 仅支持 CAG 预加载概念，不作为本项目收益证明。\n\n工作区证据编号：\n\n- [当前蒸馏选择、模型压缩、证据校核与收尾](../project/solo-distill-mcp/src/solo_distill/distillation.py:418)。\n- [当前候选域、必需预留与正文读取](../project/solo-distill-mcp/src/solo_distill/evidence.py:48)。\n- [当前共享来源与交付压缩](../project/solo-distill-mcp/src/solo_distill/distillation.py:91)。\n- [调用表达式及未知绑定记录](../project/solo-distill-mcp/src/solo_distill/extractor.py:211)。\n- [完整协议门禁、取消与业务线程清理](../project/solo-distill-mcp/src/solo_distill/server.py:122)。\n- [独立正文锚点检查及验收边界](../project/solo-distill-mcp/tests/run_live_integration.py:66)。\n- [现有选读回归](../project/solo-distill-mcp/tests/test_onboarding.py:58)与[蒸馏契约回归](../project/solo-distill-mcp/tests/test_distillation.py:86)。\n- [运行时依赖声明](../project/solo-distill-mcp/pyproject.toml:5)。\n\n只读调查与技术规范已完成。实施、回归、场景 A 重跑、供应商缓存验证及真实宿主验收仍保持暂停；未登记修复完成、13/13 通过或任何缓存收益。"}}