增量记录方向，不只是两个端点
目标: 不回看正文，解释本章为什么能得到“可加恒等式能从任意有序加细上的增量准确重建每个粗增量。”，指出决定性指数或代数恒等式，并说明在“只反转一个增量，或按数值而不是按时间排序，都会破坏望远镜恒等式。”下最先失效的是哪一行。
第 1 单元第 1 章从一个具体的逐路径问题开始：“增量记录方向，不只是两个端点”。当驱动路径不规则时，普通 Riemann–Stieltjes 和可能不稳定；把微分符号写得更肯定并不能补回缺失信息。计算以前，我们先说清时间区间、状态空间、增量约定、正则指数、张量层、分割与范数。
逐项阅读核心对象：对路径 x:[0,T]→E，令 x_{s,t}=x_t−x_s，其中 0≤s≤t≤T；于是 x_{s,t}=x_{s,u}+x_{u,t}。第一层增量记录位移，第二层或更高层记录区间内部累积的有序相互作用。这些层既受 Chen 关系等代数恒等式约束，也受有限 p-变差或 Hölder 控制等分析估计约束；任意数组列表不是粗糙路径。
本章有边界的定理目标是：可加恒等式能从任意有序加细上的增量准确重建每个粗增量。结论只属于所述拓扑与正则范围。端点相等、第一层相等、分段线性路径收敛、依概率收敛及粗糙路径距离收敛是不同陈述，不能暗中互换。
证明路线是：从“对路径 x:[0,T]→E，令 x_{s,t}=x_t−x_s，其中 0≤s≤t≤T；于是 x_{s,t}=x_{s,u}+x_{u,t}。”出发；给每个增量与张量层标明类型；把本章估计用于已声明的分割或控制；并准确停在“可加恒等式能从任意有序加细上的增量准确重建每个粗增量。”。每个箭头都携带定量指数与定义域。决定性步骤可能是控制不等式、乘法性、缝合引理、受控余项估计、短区间压缩或 Itô–Lyons 映射连续性；只报定理名称却不检查指数，不能证明该箭头。
准确有限检查点是：对时刻 0<1<3 及数值 x_0=2、x_1=−1、x_3=4，计算 x_{0,1}、x_{1,3} 与 x_{0,3}。保留有序时间戳、带符号增量、张量积、分割单元及准确有理数。核验终点是：三个增量为 −3、5、2，并且 −3+5=2。有限计算只核验一个代数或分析检查点；它本身不能证明所有加细分割上的收敛，也不能证明随机提升存在。
假设改变后第一条无效步骤也是数学内容：只反转一个增量，或按数值而不是按时间排序，都会破坏望远镜恒等式。我们定位最先失效的估计或恒等式，保留此前仍有效的行，并写出修复所需的额外变差、几何性、相容性、光滑性、可积性或提升假设。
始终分开四层。代数层处理增量、张量乘法与 Chen 恒等式；分析层控制变差、余项与缝合极限；动力层求解 RDE 并研究其流；概率层构造随机提升并证明矩或收敛结论。通过一层绝不自动认证另外三层。
本章以重建而不是眼熟收尾。你必须从原始路径行重建定义，说明定理决定性指数的依据，复算准确终点，触发失效变异，并写出修复后的结论。看起来熟悉的图、碰巧一致的小数或一句“粗糙路径”都不算完成。
本章有边界的定理是：可加恒等式能从任意有序加细上的增量准确重建每个粗增量。该结论只具有这里声明的代数相容性、正则性与收敛含义，不暗中包含更强的随机或前沿结论。
给“对路径 x:[0,T]→E，令 x_{s,t}=x_t−x_s，其中 0≤s≤t≤T；于是 x_{s,t}=x_{s,u}+x_{u,t}。”中的每个对象标类型。注明它是点、双指标增量、张量层、控制、有限变差路径、受控对、向量场还是解流，并写出区间与范数，使加法、乘法、积分及极限都有意义。
估计以前先核验有限代数。用同一方向计算各增量，按次序展开每个张量积，并在一个三时刻构型 s<u<t 上检查相应的可加、乘法、shuffle、对称部分或逆元恒等式。
建立分析预算。选择控制或 Hölder 界，把增量提升到所需指数，并证明相应和或上确界在所述区间有限。两个指数相互作用时，先写出如 1/p+1/q>1 或 3/p>1 的不等式，再调用收敛。
应用决定性定理箭头：从“对路径 x:[0,T]→E，令 x_{s,t}=x_t−x_s，其中 0≤s≤t≤T；于是 x_{s,t}=x_{s,u}+x_{u,t}。”出发；给每个增量与张量层标明类型；把本章估计用于已声明的分割或控制；并准确停在“可加恒等式能从任意有序加细上的增量准确重建每个粗增量。”。若使用缝合，要计算三指标缺陷；若使用不动点，要指出短区间压缩因子；若使用随机提升，要说明收敛方式及支持它的矩估计。
独立重建有限检查点：对时刻 0<1<3 及数值 x_0=2、x_1=−1、x_3=4，计算 x_{0,1}、x_{1,3} 与 x_{0,3}。保留准确数值并核验“三个增量为 −3、5、2，并且 −3+5=2。”。随后用第二条路线重算终点，例如直接展开、Chen 合成、望远镜求和，或在驱动光滑时使用普通微分方程。
触发变异：只反转一个增量，或按数值而不是按时间排序，都会破坏望远镜恒等式。定位证明中最先失去意义或定量余量的行。保留仍然成立的较弱陈述，并写出一项能恢复该行的具体附加假设，不强迫原结论成立。
以上步骤准确证明“可加恒等式能从任意有序加细上的增量准确重建每个粗增量。”。除非另行构造相应对象与估计，否则它们不证明任意随机信号都有典范提升、完整支撑或大偏差定理、奇异 SPDE 解、正则结构、生产级数值保证或数据科学结论。
需要从准确输入重建的路径例题是：对时刻 0<1<3 及数值 x_0=2、x_1=−1、x_3=4，计算 x_{0,1}、x_{1,3} 与 x_{0,3}。把有序增量、张量分量、分割单元及指数保留到最终比较。
- 列出“对时刻 0<1<3 及数值 x_0=2、x_1=−1、x_3=4，计算 x_{0,1}、x_{1,3} 与 x_{0,3}。”的完整有限输入：有序时刻、路径值或增量、张量约定、分割、指数、向量场及全部参数。任何时序或维数含糊的行都先退回。
- 不取整地计算第一层增量及其变差或 Hölder 贡献。若有第二层，逐分量展开有序乘积，并分别检查对称部分与反对称部分。
- 应用本章构造：形成模型要求的控制、签名乘积、缝合缺陷、补偿 Riemann 和、受控余项、Euler 步、Jacobian 更新或随机逼近。
- 检查决定性指数，并用独立路线重算终点。除数值外还要比较对象类型与张量层；两个相等标量不能认证两个不同类型对象相等。
- 两条有效路线在“三个增量为 −3、5、2，并且 −3+5=2。”处相遇。写出使二者一致的假设，再触发边界变异并记录第一处差异或缺失估计。
结果: 核验答案：三个增量为 −3、5、2，并且 −3+5=2。该计算只在所述约定与假设下认证这个有限检查点；它不认证所有加细、随机提升、RDE 或应用。