python-resolution-prerequisites.md

Python可信修复闭环的原样本与目标前置

日期：2026-10-05。对应 OpenSpec 14.11，父任务保持未完成。

实现与边界

新增宿主只读接口 validate_python_task_original_source(root, task_id, source)：工作区、稳定任务与首次引用先核对，两类首次报告均按冻结字节校验。专用0.1/0.2报告沿用其原始/结构位置校验，通用0.1/0.7报告复用本轮拆分的封闭快照校验；修复后的当前文件不能代替原字节。报告摘要、已消费收据、UTF-8、1 MiB预算、grammar与固定结构规则身份均保持核对。校验后重读引用与收据；返回只是首次运行/摘要，不写历史、不执行工具、不产生批准或关闭。

通用当前导入继续读取当前普通文件再调用同一校验，原生首次来源分支保持原样。冻结校验不会绕过坐标或结构规则检查，未知工作区、grammar和位置拒绝。此前通用路径对非结构观察没有显式UTF-8前置，本轮统一补齐。

隔离Ruff探针新增明确目标入口，支持集合来自本机Ruff0.16.8帮助列出的py37至py315。非法目标在工具解析前返回 python_syntax_target_unverified，目标保持null。目标以独立argv传给原生工具；既有开发差分入口仍固定py312，历史报告未重写。明确参数不等于项目生效目标的来源证明。

TDD与真实工具证据

• 新目标入口测试先因函数缺失编译失败；实现后目标拒绝、两类入口连续性及严格原生诊断解析合计4项通过，另2项原生测试默认忽略。
• 显式 /opt/anaconda3/bin/ruff 0.16.8：2项原生单元通过，12.32秒。同一match源码按py39返回语法诊断，py310完整零诊断；固定py312合法/空函数体/错误缩进三输入保持旧行为。真实工具调用不证明项目配置和策略已接线。
• 通用冻结入口测试先因函数缺失失败；实现后2项通过，涵盖原始和结构报告、原字节接受、修复后字节/错误工作区/grammar/坐标/非法UTF-8拒绝。
• 宿主API集成先因接口缺失失败；补齐后两类首次来源局部测试通过（15.63秒）。最终回归进一步加入消费收据缺失拒绝、恢复后原字节可核验；当前文件为修复后源码，不能作为首次源码通过。

最终回归

• Python结构/候选、task verify、work sync四组回归40通过、14忽略，包含两类首次报告的收据缺失拒绝与恢复。
• 共享语法路径：Hook 16通过，语法任务复检9通过/1忽略，既有Zig关闭服务9通过/1忽略；批准范围、过期签名、分叉历史、原样本坐标、无进展与关闭后重开既有契约保持。Zig服务本轮使用测试工具，忽略的真实Zig项不计通过。
• 通用冻结原始/结构校验2项重跑通过。CLI全部targets默认与wasm-precheck严格Clippy均通过，OpenSpec严格校验与diff检查通过。
• 查询上轮16bfa17远端CI仍为in_progress，不将更早5ffa07c成功结果用于认证本轮改动。

剩余工作

仍需把实际项目生效目标、配置连续性与签名策略绑定进Python专用关闭请求，完成双输入原生复检、可信解决事件和复发重开。现有Zig/Erlang/Swift/Kotlin处理器尚未接入Python，不借用固定py312开发探针自动关闭Python任务。不改变项目门禁、32语言资格、npm制品或插件默认锁；本轮没有远端CI或实际宿主验收。