用途:在数学建模项目中,对已批准的 Python 建模代码进行审查、运行、调试与验证,核对其是否符合代码计划、数据契约、方法决策、风险条件和实验输出。
前置条件:存在 Python 代码及 code/Qx/qx_code_plan.md;具备已批准的方法决策、方法卡片、数据画像和相关运行摘要;所需输入可访问。
主要能力与流程:先确认已批准的主方案与可用基线,对未批准的候选脚本进行标记(除非存在回退激活);按预期顺序检查并运行代码;执行必需检查,包括语法(导入、执行、异常和明显运行时故障)、输入契约(路径、字段、单位、形状、缺失值处理和原始数据保护)、方法对齐(公式、目标、约束、假设、主/基线角色及回退范围是否与批准计划一致)、可复现性(随机种子、确定性设置、依赖/运行时记录和重跑一致性)、输出契约(保存的表/指标/图、有效运行摘要、可比较的主/基线指标、退化证据和回退触发状态)。仅在相关时添加风险专项检查,如泄漏、约束可行性、数值稳定性或规模。
使用方式:若被要求修复,做最小改动,重跑受影响检查并记录修复;否则只报告发现而不改代码。审查结果保存到 code/Qx/reviews/qx_python_review.json,结构含 schema_version、question_id、language、reviewed_files、decision_id、checks(syntax、input_contract、method_alignment、reproducibility、output_contract,状态为 PASS、FAIL 或带原因的 NOT_APPLICABLE)、findings、verdict 和 reviewed_at。任一必需项 FAIL 会阻塞 G3。
限制与规则:不得为凑数而填充证据;不得虚构执行或输出;不得把玩具诊断参考批准为官方基线;不得静默改变数学含义;不得在审查 JSON 之外创建成功日志;代码若比其审查更新,应重跑受影响检查而非一定重跑整个流程。验证要求每个必需命名检查都有具体证据,主方案与基线已批准且可比较,运行摘要与磁盘输出一致,审查结论与检查状态一致。