RUN-039：方案审计与置换轨道准入
项目《库尔皮舍夫逻辑2》。项目及方法作者：伊万·鲍里索维奇·库尔皮舍夫。МАСТЕР-3 / ARBD52，2026年9月23日。本文件为中文摘要，完整数学报告为俄文。
已恢复OH与烷烃检验的原始预注册ZIP。参考代码及配置保持不变。未读取真实化学结果，也未解压原始隐藏测试文件。RUN-038被确定为诊断性补充，不修改原始主要检验方案。
参考命令行能拒绝非空D单元格、重复位置、失败的来源门槛以及错误的输入摘要，但自身不验证已封存的预测凭证，不阻止重复评估，也不排除可重建D的额外字段或退化参照点。14项合成审计检查复现了这些行为；通过审计检查不等于原方案获得准入。
精确定理：设三个可见坐标为有理数，未知值z属于事先规定的硬区间[a,b]。列出12个仿射分母d=v_i+v_j−2v_c，其中c不同于i、j。对区间内每个z，全部24种置换均稳定，当且仅当每个分母像区间到零的距离至少为1/20。端点或零点给出达到最小值的见证。非退化性还要求三个已知坐标互异，且区间不包含任何已知坐标。
条件秩定理：若在有限轨道Ω上均匀分布，对固定非空准入事件A取条件后，在A上仍均匀分布。使用相同统计量T时，p_A(x)=#{y∈A:T(y)≥T(x)}/|A|满足条件超均匀性。对含并列值的秩分组计数即可证明。不同来源谱系编号本身不能证明所需联合零假设。
精确合成反例：数值集合{0,11/1000,22/1000,33/1000}，极点阈值1/20，罚损失3。24种分配中仅4种通过。其中2种的全轨道上尾为1/12，条件上尾却为1/2。因此，在已准入条件下，全轨道尾值不超过0.10的概率为1/2。这仅反驳秩机制的自动有效性：一个四元组且效应小于0.10，并不能触发完整化学方案的正面结论。
独立的BigInt有理数模块仅接受SYNTHETIC及A_PRIORI_HARD_DOMAIN，输出12个分母及其可达见证，不输出p值或实证证书。12项JS测试通过；独立Python Fraction实现核对了80个区间、17280次点与置换计算及960个见证。这是同一研究中的实现交叉核对，不是外部独立重复。
当R,I,U=(0,1,3)时，[7,8]通过，最小距离为1；[4,7]在D=6包含极点；单点区间{3}通过极点门槛却不满足非退化条件。共同加性平移会抵消，但一般投影变换不必保持固定数值阈值。
尚未确认：外部注册、独立数据保管人与验证者、绑定一手来源的可见语料、联合可交换性与筛选相容的零分布、严格输入界及log10外向舍入。RUN-040应在真实结果之前，制定新的候选方案、预测凭证绑定、掩码字段白名单和基于SE3的追加式揭盲控制。修改主要方案需要新标识符及新的独立保留集。
SCIENCE=ABSTAIN；truth_layer_promotion=0；DHC_chem=OPEN-NOT-CONFIRMED；EXT_RUN=NOT_RUN；real_forecast_trial=NOT_RUN。Android实机验收及实证桥接仍未完成。回退基准为RUN-038、站点版本47；此次未重新发布相邻站点。
参考文献：Hemerik J., Goeman J., Exact testing with random permutations, TEST 27 (2018), 811–825；arXiv:1411.7565。一般秩理论属于既有数学；本次应用不宣称文献优先权。