2026-10-14 — fine surface + fixed patch：24粗步短联合验证

结果：仅运行0、+.002、-.002三条同时间轨迹，各24coarse/48fine、物理时间24；
唯一GPU批次exit0，全部预设局部算子、有效性、记账与传播检查通过，已停止。
这不是严格守恒、物理精度、成熟喷流、空间收敛或长期稳定性认证。

先报告未修正累计收支残差（质量、Px、Py；实际FP32 transfer账本）：
  零驱动   +2.2911839187e-4  +5.9055164456e-6  +3.9162114263e-6
  正吹     +2.8965249658e-4  +8.0140307546e-6  +4.8289075494e-6
  负吸     +3.3393828198e-4  +2.1932646632e-7  +2.6496127248e-7
相对零驱动的原始残差差值（不是修正后的守恒量）：
  正吹     +6.0534104705e-5  +2.1085143089e-6  +9.1269612312e-7
  负吸     +1.0481989011e-4  -5.6861899793e-6  -3.6512501538e-6
零驱动本身有FP32累计漂移，不能把bitwise非零视为传播，也不能把舍入后闭合0
说成原始残差为0。正吹/负吸的原始质量残差分别约占实际边界净质量交换的
0.310%/0.357%；扣同时间零驱动基线后的差值分别约占0.0647%/0.1122%。
这里只报告比例，没有事后以这些比例新增通过判据。

传播证据（两驱动同样的首次达标时间和物理坐标；时间以整数粗步采样）：
量                         首次t/位置                  正吹差值       负吸差值
fine接口内侧post-G neq     6 /(19.75,13.25)           3.86611e-7    3.73349e-7
真实transfer arrival neq   7 /(20.5,13.5),q1          9.91749e-7    1.00666e-6
coarse接收圈post-G速度     7 /(20.5,13.5)             4.06647e-6    4.09198e-6
接收圈之外coarse bulk速度  8 /(13.5,21.5)             1.10692e-6    1.01799e-6
对应零驱动基线依次9.93410e-9、1.49012e-8、2.01166e-7、1.00583e-7。
预先固定速度差>1e-6，neq差>1e-7，且均>同位置/时间/阶段基线10倍；两符号均满足。
负吸bulk首次点的绝对速度9.17512e-7，差值1.01799e-6；判据本来就针对差值，
未把它改写为绝对速度超过1e-6。随后峰值处绝对速度和差值均明显非零。

峰值（相对零驱动，全部位于预设采样窗口内）：
量                         峰值t/位置                  正吹            负吸
fine接口内侧neq           10 /(19.75,15.25)          7.49818e-6     7.38603e-6
真实transfer neq          11 /(20.5,14.5),q1         2.63668e-5     2.62411e-5
coarse接收圈速度          14 /(20.5,15.5)            2.88503e-4     2.87819e-4
接收圈之外bulk速度        16 /(21.5,15.5)            2.56991e-4     2.56441e-4
这里证明喷吸启动扰动实际到达并通过接口，可能含压力/声学传播。不同指标的
首次点是各自固定区域的检测见证，不冒称同一个流体质点的轨迹。24粗步内不能
判断成熟射流或纯剪切扰动的跨接口精度。区域及实际传递方向保存在regions.json；
每步指标、first/peak、同点基线和绝对值均有CSV/JSON；小型NPZ供离线复核。

逐步收支与舍入：
每条轨迹24行复合叶节点质量/动量账本；48行真实fine边界交换（每区间2行、
每次面积权重1/4）；72行局部collision诊断（每区间fine2次、coarse1次）。
实际fluid boundary、fine transfer和coarse transfer分别统计，未用最新一帧
link_exchange代替两子步累计。最新body impulse另列，仅为该子步的动量交换；
fine rate=该子步交换/.5，coarse rate=两子步之和/1，不冒充总推力。

24区间累计（质量、Px、Py）：
正吹B = (+.0935678868555, +.0148278460838, +.0125229167752)
正吹F = (-.0672332551330, -.0119119063020, -.0101141575724)
正吹C = (+.0672331918031, +.0119117666036, +.0101140532643)
负吸B = (-.0934597565793, -.0147664458491, -.0124674369581)
负吸F = (+.0670307464898, +.0118954917416, +.0100988540798)
负吸C = (-.0670307874680, -.0118956044316, -.0100990422070)
其中B为solid边界净交换，F为fine叶/halo交换，C为coarse真实incoming收支。
正吹/负吸同实际population上相对passive BFL oracle的累计附加质量分别
+.0743640140662、-.0742686590511，符号正确；这不是额外轨迹或守恒修正。

每个碰撞逐q/节点独立FP64 SRT参考：使用实际读回FP32omega并核对tau/force；
固定近静止判据|GPUout-SRT64(actual_input)|<=8*eps32*|input_q|。
三轨迹最大归一化误差分别.463942、.569605、.528511，全部<1；
最大绝对误差分别1.29143e-7、1.58655e-7、1.64771e-7。
它是本例的固定局部容差，考虑实际fast-math/FMA路径，不是一般舍入定理。
每次局部M(output-input)独立测得的累计漂移与原始账本残差吻合；逐区间和累计
剩余闭合误差在FP64计账中恰为0，满足预设1e-10/1e-9。这个零是记账分解验证，
不是离散方案的精确物理守恒结论，也未以全域大容差掩盖raw残差。

coalescence的顺序FP32四子格平均与精确FP64均值之差独立由实际children计算，
所有槽通过固定gamma3局部界限；实际transfer账本已经包含它，没有重复扣除。
累计平均舍入（质量、Px、Py）：
  零驱动 (-5.7183206081e-7, -1.8812716007e-7, -2.8312206268e-7)
  正吹   (-6.3329935074e-8, -1.3969838619e-7, -1.0430812836e-7)
  负吸   (-4.0978193283e-8, -1.1269003153e-7, -1.8812716007e-7)
采用精确平均记账的原始残差亦保存在各summary的exact_average_residual中。
BFL最大局部误差三轨迹均<=1.27259e-8，低于冻结1e-7。
未从末态差反推任何收支项，也未看到结果后改公式、阈值、窗口或步数。

有效性：每细步active流体有限、solid与最外2层halo为NaN；inner ghost按真实
逐方向stream-only（包含合法NaN）核对。每粗步发布fine全部非叶和coarse covered
均NaN；leaf finite、局部密度/速度范围达标；几何/flags/源对象不变。
coarse320叶节点，其中68接口接收节点、252外部bulk；fine963流体叶，
124接口内侧节点；实际coalescence196方向槽，包括原有8个grazing-corner槽。

执行和范围：
冻结2026-10-14 05:55:03 UTC，GPU启动05:55:16 UTC，实际耗时9.596s，exit0。
GPU0 UUID GPU-e8853ae7-a302-6a17-bcfa-aa767e9ed20c，预检5MiB/util0/无计算进程。
包来源严格为/home/frank14f/CelerisLab/src；现有pycuda_3_10环境；未安装依赖。
峰值进程组RSS297836544bytes，最少可用RAM63740788736bytes，最少可用VRAM
15826MiB，本轮临时与证据采样峰值2081386bytes，远小于2GB；无保护触发。
采样保护不是OS硬隔离；独占scratch已删除，GPU退出后5MiB且无计算进程。

生产增量只有refinement_stepper.py一行文档，+1/-0，明确fine_objects采用
edge/cell-center坐标（coarse中心I+.5），普通Simulation使用integer-node坐标。
完整610文件基线比对仅这一文件改变；既有dirty、旧审查和运行证据全部保留；
100个冻结脚本/源码哈希复核一致；不改生产公式、helper、网格或推进时序；
无提交/推送、无DynamisLab修改、无额外GPU矩阵。默认旧测试未改未重跑。

证据导航：
criteria.txt + frozen.json：运行前完整判据、时间戳、SHA256；不可事后改写。
command.txt + runner.py + gpu_run.json + stdout.txt：确切命令、环境、预检、退出。
validate.py：本次独立验证脚本，复用已接受test_fine_surface_gpu.py的只读钩子。
zero/blow/suction_{ledger,collisions,boundary}.csv：必要逐步量与分解。
blow/suction_propagation.csv、*_summary.json、*_signals.npz：信号与对齐基线。
result.json：固定判据结果；regions.json：坐标/方向；integrity.json：范围完整性。
incremental.diff：唯一生产增量；baseline_*.json：保留旧文件的哈希基线。
代码/数值只读agent交叉复核见review.txt。所有最终文本每份<=40000字符。

限制：以上仅短时离散联合一致性和启动扰动跨接口证据。原始FP32漂移仍存在，
未在本轮修正；不证明物理精度、空间收敛、稳态、长时稳定、性能或通用AMR。
此步已完成并停止，没有延伸B墙穿接口候选、checkpoint或其他特性。
